Skip to content

Actions: teorth/analysis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,369 workflow runs
1,369 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remark 1.3.10: binary-to-ternary function implementation and helper construction Validate Subverso Package Hashes #368: Pull request #428 opened by aodecipher
8s aodecipher:main
aodecipher:main
8s
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
Formalize Exercise 1.1.6 Validate Subverso Package Hashes #367: Pull request #427 opened by soham1053
10s soham1053:main
soham1053:main
10s
Merge pull request #426 from teorth:1.4.2 Build book #962: Commit bdfdcc8 pushed by teorth
4m 3s main
main
4m 3s
Merge pull request #426 from teorth:1.4.2 Validate Subverso Package Hashes #366: Commit bdfdcc8 pushed by teorth
9s main
main
9s
1.4.2 Build book #961: Pull request #426 opened by teorth
4m 9s 1.4.2
1.4.2
4m 9s
1.4.2 Validate Subverso Package Hashes #365: Pull request #426 opened by teorth
7s 1.4.2
1.4.2
7s
finish 1.4.2 Validate Subverso Package Hashes #364: Commit f225606 pushed by teorth
9s 1.4.2
1.4.2
9s
Merge pull request #425 from aodecipher/main Build book #960: Commit 5e728b9 pushed by teorth
4m 19s main
main
4m 19s
Merge pull request #425 from aodecipher/main Validate Subverso Package Hashes #363: Commit 5e728b9 pushed by teorth
7s main
main
7s
Complete Lemma 1.3.9 TFAE proof and refactorings Validate Subverso Package Hashes #362: Pull request #425 opened by aodecipher
6s aodecipher:main
aodecipher:main
6s
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 #424 from brandondong/comment_fix Validate Subverso Package Hashes #361: Commit 1a501c7 pushed by teorth
7s main
main
7s
Merge pull request #423 from aodecipher/main Validate Subverso Package Hashes #360: Commit 7f6235c pushed by teorth
7s main
main
7s
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
Complete proofs for simple functions and AlmostAlways lemmas Validate Subverso Package Hashes #359: Pull request #423 synchronize by aodecipher
7s aodecipher:main
aodecipher:main
7s
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
Minor section 2/3 comment fixes Validate Subverso Package Hashes #358: Pull request #424 opened by brandondong
9s brandondong:comment_fix
brandondong:comment_fix
9s
Complete proofs for simple functions and AlmostAlways lemmas Build book #954: Pull request #423 synchronize by aodecipher
3m 35s aodecipher:main
aodecipher:main
3m 35s
Complete proofs for simple functions and AlmostAlways lemmas Validate Subverso Package Hashes #357: Pull request #423 synchronize by aodecipher
9s aodecipher:main
aodecipher:main
9s
Complete proofs for simple functions and AlmostAlways lemmas Validate Subverso Package Hashes #356: Pull request #423 opened by aodecipher
8s aodecipher:main
aodecipher:main
8s
Complete proofs for simple functions and AlmostAlways lemmas Build book #953: Pull request #423 opened by aodecipher
3m 58s aodecipher:main
aodecipher:main
3m 58s