Skip to content

Actions: teorth/analysis

Actions

Build book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_book.yml
966 workflow runs
966 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #434 from aodecipher/main Build book #979: Commit 7f41846 pushed by teorth
4m 36s main
main
4m 36s
Complete proofs for PreL1 and L1 space structure Build book #978: Pull request #434 opened by aodecipher
3m 51s aodecipher:main
aodecipher:main
3m 51s
Merge pull request #433 from aodecipher/main Build book #977: Commit afcb456 pushed by teorth
4m 33s main
main
4m 33s
Complete proofs for absolutely integrable functions in Section 1.3.4 Build book #976: Pull request #433 opened by aodecipher
3m 40s aodecipher:main
aodecipher:main
3m 40s
Merge pull request #431 from aodecipher/main Build book #975: Commit b42731f pushed by teorth
7m 28s main
main
7m 28s
Merge pull request #432 from teorth:1.4.3 Build book #974: Commit 3cf7fb9 pushed by teorth
32s main
main
32s
1.4.3 Build book #973: Pull request #432 opened by teorth
6m 16s 1.4.3
1.4.3
6m 16s
Complete Remark 1.3.10 proof and absolute integrability results Build book #972: Pull request #431 opened by aodecipher
4m 5s aodecipher:main
aodecipher:main
4m 5s
Complete Remark 1.3.10 proof and refactor Build book #971: Pull request #430 synchronize by aodecipher
4m 4s aodecipher:main
aodecipher:main
4m 4s
Complete Remark 1.3.10 proof and refactor Build book #970: Pull request #430 opened by aodecipher
4m 35s aodecipher:main
aodecipher:main
4m 35s
Merge pull request #429 from brandondong/rat_sub Build book #969: Commit 89f87a6 pushed by teorth
4m 26s main
main
4m 26s
Add missing 4.2 definition Build book #968: Pull request #429 opened by brandondong
3m 30s brandondong:rat_sub
brandondong:rat_sub
3m 30s
Merge pull request #427 from soham1053/main Build book #967: Commit 5a0a1df pushed by teorth
5m 18s main
main
5m 18s
Formalize Exercise 1.1.6 Build book #966: Pull request #427 synchronize by soham1053
5m 53s soham1053:main
soham1053:main
5m 53s
Merge pull request #428 from aodecipher/main Build book #965: Commit 8d63eb2 pushed by teorth
4m 51s main
main
4m 51s
Remark 1.3.10: binary-to-ternary function implementation and helper construction Build book #964: Pull request #428 opened by aodecipher
4m 41s aodecipher:main
aodecipher:main
4m 41s
Formalize Exercise 1.1.6 Build book #963: Pull request #427 opened by soham1053
6m 52s soham1053:main
soham1053:main
6m 52s
Merge pull request #426 from teorth:1.4.2 Build book #962: Commit bdfdcc8 pushed by teorth
4m 3s main
main
4m 3s
1.4.2 Build book #961: Pull request #426 opened by teorth
4m 9s 1.4.2
1.4.2
4m 9s
Merge pull request #425 from aodecipher/main Build book #960: Commit 5e728b9 pushed by teorth
4m 19s main
main
4m 19s
Complete Lemma 1.3.9 TFAE proof and refactorings Build book #959: Pull request #425 opened by aodecipher
4m 9s aodecipher:main
aodecipher:main
4m 9s
Merge pull request #424 from brandondong/comment_fix Build book #958: Commit 1a501c7 pushed by teorth
5m 40s main
main
5m 40s
Merge pull request #423 from aodecipher/main Build book #957: Commit 7f6235c pushed by teorth
4m 1s main
main
4m 1s
Complete proofs for simple functions and AlmostAlways lemmas Build book #956: Pull request #423 synchronize by aodecipher
3m 24s aodecipher:main
aodecipher:main
3m 24s
Minor section 2/3 comment fixes Build book #955: Pull request #424 opened by brandondong
5m 42s brandondong:comment_fix
brandondong:comment_fix
5m 42s