Skip to content

Actions: leanprover/subverso

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
478 workflow runs
478 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: more informative tests for debugging CI #28: Pull request #3 synchronize by david-christiansen
March 5, 2024 22:09 56s testing
testing
March 5, 2024 22:09 56s
more info CI #27: Commit 585bfad pushed by david-christiansen
March 5, 2024 22:09 55s testing
testing
March 5, 2024 22:09 55s
chore: more informative tests for debugging CI #26: Pull request #3 synchronize by david-christiansen
March 5, 2024 22:06 56s testing
testing
March 5, 2024 22:06 56s
more info CI #25: Commit 0ddab02 pushed by david-christiansen
March 5, 2024 22:06 56s testing
testing
March 5, 2024 22:06 56s
chore: more informative tests for debugging CI #24: Pull request #3 synchronize by david-christiansen
March 5, 2024 22:00 55s testing
testing
March 5, 2024 22:00 55s
chore: more informative failure CI #23: Commit 8ce1318 pushed by david-christiansen
March 5, 2024 22:00 1m 19s testing
testing
March 5, 2024 22:00 1m 19s
chore: more informative tests for debugging CI #22: Pull request #3 opened by david-christiansen
March 5, 2024 21:52 52s testing
testing
March 5, 2024 21:52 52s
chore: more informative tests for debugging CI #21: Commit 07957a2 pushed by david-christiansen
March 5, 2024 21:51 1m 2s testing
testing
March 5, 2024 21:51 1m 2s
feat: try to find the right lake, escaping the current toolchain CI #20: Commit 8c578eb pushed by david-christiansen
March 5, 2024 21:39 59s main
main
March 5, 2024 21:39 59s
fix: unset Lake's environment variables for subproject invocations CI #19: Commit acce30f pushed by david-christiansen
March 5, 2024 21:06 1m 6s main
main
March 5, 2024 21:06 1m 6s
fix: don't show noisy dumps during build CI #18: Commit 5052542 pushed by david-christiansen
March 5, 2024 20:45 1m 2s main
main
March 5, 2024 20:45 1m 2s
fix: don't emit anonymous identifiers when highlighting CI #17: Commit 4bb7a97 pushed by david-christiansen
March 5, 2024 20:42 1m 3s main
main
March 5, 2024 20:42 1m 3s
feat: more specific serialization and centralized deserialization (#2) CI #16: Commit 6c86509 pushed by david-christiansen
March 5, 2024 18:03 1m 3s main
main
March 5, 2024 18:03 1m 3s
feat: more specific serialization and centralized deserialization CI #15: Pull request #2 synchronize by david-christiansen
March 5, 2024 16:05 1m 5s better-serialization
better-serialization
March 5, 2024 16:05 1m 5s
fix: capitalization CI #14: Commit 8e1282e pushed by david-christiansen
March 5, 2024 16:05 1m 13s better-serialization
better-serialization
March 5, 2024 16:05 1m 13s
feat: more specific serialization and centralized deserialization CI #13: Pull request #2 opened by david-christiansen
March 5, 2024 16:02 55s better-serialization
better-serialization
March 5, 2024 16:02 55s
feat: more specific serialization and centralized deserialization CI #12: Commit 0c97c2c pushed by david-christiansen
March 5, 2024 16:02 55s better-serialization
better-serialization
March 5, 2024 16:02 55s
feat: more specific serialization and centralized deserialization CI #11: Commit 86cafd9 pushed by david-christiansen
March 5, 2024 16:00 53s better-serialization
better-serialization
March 5, 2024 16:00 53s
fix: capitalization of module names (#1) CI #10: Commit 30f48a1 pushed by david-christiansen
March 4, 2024 21:20 59s main
main
March 4, 2024 21:20 59s
fix: capitalization of module names CI #9: Pull request #1 opened by david-christiansen
March 4, 2024 21:16 1m 5s capitalization
capitalization
March 4, 2024 21:16 1m 5s
fix: missing rename CI #8: Commit d2956a9 pushed by david-christiansen
March 4, 2024 21:15 1m 5s capitalization
capitalization
March 4, 2024 21:15 1m 5s
fix: fix capitalization of module names CI #7: Commit dcb2bd4 pushed by david-christiansen
March 4, 2024 21:07 21s capitalization
capitalization
March 4, 2024 21:07 21s
fix: manual instances to improve compatibility with older Lean CI #6: Commit 646bdde pushed by david-christiansen
March 1, 2024 18:49 1m 10s main
main
March 1, 2024 18:49 1m 10s
feat: initial code example extraction CI #5: Commit 90e0bf3 pushed by david-christiansen
March 1, 2024 16:13 58s main
main
March 1, 2024 16:13 58s
chore: run tests, also on more versions CI #4: Commit 50059af pushed by david-christiansen
February 28, 2024 13:25 49s main
main
February 28, 2024 13:25 49s
ProTip! You can narrow down the results and go further in time using created:<2024-02-28 or the other filters available.