Skip to content

Actions: pythongirl325/RecMath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

lake update Lean Action CI #17: Commit 5a30195 pushed by pythongirl325
1h 40m 0s main
main
1h 40m 0s
lake update Create Release #3: Commit 5a30195 pushed by pythongirl325
8s main
main
8s
minor sorting network progress Lean Action CI #16: Commit 2858497 pushed by pythongirl325
1h 23m 26s main
main
1h 23m 26s
collatz conj category stuff Lean Action CI #15: Commit 581cc9c pushed by pythongirl325
1h 26m 15s main
main
1h 26m 15s
lake update Lean Action CI #14: Commit 70cbbb4 pushed by pythongirl325
1h 25m 13s main
main
1h 25m 13s
fixed root file imports Lean Action CI #13: Commit 5d703a9 pushed by pythongirl325
1h 26m 12s main
main
1h 26m 12s
Added tuple conversions for Vector and BitVec Lean Action CI #12: Commit 3f35515 pushed by pythongirl325
8m 31s main
main
8m 31s
more progress on unfinished proofs Lean Action CI #11: Commit 92a17c0 pushed by pythongirl325
8m 23s main
main
8m 23s
spelling error Lean Action CI #10: Commit 59eb127 pushed by pythongirl325
8m 42s main
main
8m 42s
more progress on sorting networks Lean Action CI #9: Commit 4515253 pushed by pythongirl325
8m 50s main
main
8m 50s
improved proofs Lean Action CI #8: Commit 99be445 pushed by pythongirl325
7m 50s main
main
7m 50s
Improved proof of trivial_network.sorts Lean Action CI #7: Commit 45c576d pushed by pythongirl325
7m 50s main
main
7m 50s
Fixed ComparisonNetwork.toPerm Lean Action CI #6: Commit 8f60c0f pushed by pythongirl325
7m 53s main
main
7m 53s
HList cleanup Lean Action CI #5: Commit 7e6e5f0 pushed by pythongirl325
8m 34s main
main
8m 34s
theorems from a standupmaths video Create Release #2: Commit 4de0f53 pushed by pythongirl325
14s main
main
14s
theorems from a standupmaths video Lean Action CI #4: Commit 4de0f53 pushed by pythongirl325
8m 41s main
main
8m 41s
Fixed proofs in Collatz Lean Action CI #3: Commit d6b1b69 pushed by pythongirl325
7m 28s main
main
7m 28s
Remove setup instructions from readme Lean Action CI #2: Commit 401bcfb pushed by pythongirl325
7m 40s main
main
7m 40s
Init commit Create Release #1: Commit 0ff2301 pushed by pythongirl325
9s main
main
9s
Init commit Lean Action CI #1: Commit 0ff2301 pushed by pythongirl325
7m 55s main
main
7m 55s