Skip to content

Actions: m-ow/compfiles

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update to lean v4.28.0-rc1 push to main #6: Commit 7747754 pushed by m-ow
14m 5s main
main
14m 5s
added solution (#137) push to main #5: Commit ad5381b pushed by m-ow
12m 54s main
main
12m 54s
Solution to USAMO 1973 P2 (#135) push to main #4: Commit 11ffd96 pushed by m-ow
13m 7s main
main
13m 7s
update mathlib push to main #3: Commit cdd1a19 pushed by m-ow
13m 38s main
main
13m 38s
[Usa1974P1] add statement and solution (#131) push to main #2: Commit 0dfc01c pushed by m-ow
12m 23s main
main
12m 23s
update mathlib push to main #1: Commit c6248ef pushed by m-ow
12m 33s main
main
12m 33s