Skip to content

Actions: siddhartha-gadgil/Saturn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

toolchain updated ci #96: Commit 3811a9d pushed by siddhartha-gadgil
June 23, 2024 11:44 5m 23s main
main
June 23, 2024 11:44 5m 23s
display tweaks ci #95: Commit ddcebe3 pushed by siddhartha-gadgil
April 18, 2024 03:39 5m 17s main
main
April 18, 2024 03:39 5m 17s
more renaming, documentation ci #94: Commit ad9aa8c pushed by siddhartha-gadgil
March 15, 2024 09:32 5m 7s main
main
March 15, 2024 09:32 5m 7s
more cleaning, renaming ci #93: Commit 79f1cc8 pushed by siddhartha-gadgil
March 13, 2024 11:21 5m 35s main
main
March 13, 2024 11:21 5m 35s
renaming ci #92: Commit 24b5008 pushed by siddhartha-gadgil
March 13, 2024 11:07 5m 27s main
main
March 13, 2024 11:07 5m 27s
documentation, some refactoring ci #91: Commit c7157c7 pushed by siddhartha-gadgil
March 13, 2024 09:40 5m 16s main
main
March 13, 2024 09:40 5m 16s
output tweaks ci #90: Commit 194af11 pushed by siddhartha-gadgil
March 12, 2024 05:15 5m 15s main
main
March 12, 2024 05:15 5m 15s
chessboard picture ci #89: Commit dde69ba pushed by siddhartha-gadgil
March 11, 2024 06:14 5m 29s main
main
March 11, 2024 06:14 5m 29s
better formatting ci #88: Commit ea47d03 pushed by siddhartha-gadgil
March 11, 2024 05:33 5m 21s main
main
March 11, 2024 05:33 5m 21s
more purging ci #87: Commit 6d4ef7b pushed by siddhartha-gadgil
March 10, 2024 16:25 5m 19s main
main
March 10, 2024 16:25 5m 19s
mathlib migration except DPLL sorry ci #86: Commit 648b9f1 pushed by siddhartha-gadgil
March 10, 2024 15:21 5m 12s main
main
March 10, 2024 15:21 5m 12s
more finseq reduction ci #85: Commit 39f78b7 pushed by siddhartha-gadgil
March 10, 2024 09:25 34s main
main
March 10, 2024 09:25 34s
some switch to Fin ci #84: Commit 3ea6b8c pushed by siddhartha-gadgil
March 9, 2024 15:06 35s main
main
March 9, 2024 15:06 35s
more code cleanup ci #83: Commit c197e2e pushed by siddhartha-gadgil
March 9, 2024 14:43 38s main
main
March 9, 2024 14:43 38s
improving proofs ci #82: Commit add055a pushed by siddhartha-gadgil
March 9, 2024 09:57 33s main
main
March 9, 2024 09:57 33s
more polishing ci #81: Commit 2e9be78 pushed by siddhartha-gadgil
March 8, 2024 15:26 43s main
main
March 8, 2024 15:26 43s
cleaning code ci #80: Commit 918702d pushed by siddhartha-gadgil
March 8, 2024 11:44 38s main
main
March 8, 2024 11:44 38s
renaming to make space for proper get etc ci #79: Commit 883ce08 pushed by siddhartha-gadgil
March 8, 2024 10:36 34s main
main
March 8, 2024 10:36 34s
reducing FinSeq use ci #78: Commit bf7a826 pushed by siddhartha-gadgil
March 8, 2024 05:27 38s main
main
March 8, 2024 05:27 38s
using indexed inductives, other solutions ci #77: Commit 5341c9e pushed by siddhartha-gadgil
March 8, 2024 04:29 38s main
main
March 8, 2024 04:29 38s
version update, repr tweaks ci #76: Commit abc43f3 pushed by siddhartha-gadgil
March 7, 2024 09:24 42s main
main
March 7, 2024 09:24 42s
removed unused variables ci #75: Commit 36cb95f pushed by siddhartha-gadgil
January 22, 2024 15:57 24s main
main
January 22, 2024 15:57 24s
toolchain update, renaming to get ci #74: Commit 44b64b9 pushed by siddhartha-gadgil
January 22, 2024 15:21 27s main
main
January 22, 2024 15:21 27s
avoiding FinSeq; no effect ci #73: Commit 476b3a6 pushed by siddhartha-gadgil
January 22, 2024 14:15 32s main
main
January 22, 2024 14:15 32s
purging proved skip-inverse ci #72: Commit 6c09554 pushed by siddhartha-gadgil
January 22, 2024 12:59 36s main
main
January 22, 2024 12:59 36s