Skip to content

Actions: dwrensha/compfiles

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

import Imo2024P3 from mathlib/Archive push to main #1873: Commit b854b21 pushed by dwrensha
January 23, 2025 13:11 7m 12s main
main
January 23, 2025 13:11 7m 12s
update mathlib push to main #1872: Commit 8aed224 pushed by dwrensha
January 23, 2025 12:57 7m 25s main
main
January 23, 2025 12:57 7m 25s
lake update tryAtEachStep push to main #1871: Commit bb0f03b pushed by dwrensha
January 22, 2025 18:18 6m 55s main
main
January 22, 2025 18:18 6m 55s
lake update push to main #1870: Commit 7406144 pushed by dwrensha
January 22, 2025 17:01 7m 14s main
main
January 22, 2025 17:01 7m 14s
update mathlib push to main #1869: Commit a684d78 pushed by dwrensha
January 22, 2025 12:35 6m 59s main
main
January 22, 2025 12:35 6m 59s
update mathlib push to main #1868: Commit c0d28ec pushed by dwrensha
January 21, 2025 13:16 7m 9s main
main
January 21, 2025 13:16 7m 9s
update mathlib push to main #1867: Commit 1061709 pushed by dwrensha
January 20, 2025 13:05 6m 59s main
main
January 20, 2025 13:05 6m 59s
update mathlib push to main #1866: Commit aebd18f pushed by dwrensha
January 17, 2025 22:29 7m 13s main
main
January 17, 2025 22:29 7m 13s
update mathlib push to main #1865: Commit cd81c4e pushed by dwrensha
January 16, 2025 12:18 7m 1s main
main
January 16, 2025 12:18 7m 1s
[Usa1981P5] simplification found by LeanCopilot with tryAtEachStep push to main #1864: Commit f5aaacd pushed by dwrensha
January 16, 2025 12:13 6m 51s main
main
January 16, 2025 12:13 6m 51s
[Imo1992P2] simplification suggested by LeanCopilot with tryAtEachStep push to main #1863: Commit 67ac3cd pushed by dwrensha
January 15, 2025 22:03 7m 17s main
main
January 15, 2025 22:03 7m 17s
[Poland1998P4] some things can be proved by omega push to main #1862: Commit c0a1e46 pushed by dwrensha
January 15, 2025 21:56 6m 47s main
main
January 15, 2025 21:56 6m 47s
[Imo1968P2] simplification found by LeanCopilot with tryAtEachStep push to main #1861: Commit 68ff701 pushed by dwrensha
January 15, 2025 21:54 7m 9s main
main
January 15, 2025 21:54 7m 9s
[Poland1998P4] another simplification found by LeanCopilot with tryAt… push to main #1860: Commit abe992e pushed by dwrensha
January 15, 2025 20:29 7m 7s main
main
January 15, 2025 20:29 7m 7s
[Poland1998P4] simplification found by LeanCopilot with tryAtEachStep push to main #1859: Commit 7cc3a42 pushed by dwrensha
January 15, 2025 20:25 7m 18s main
main
January 15, 2025 20:25 7m 18s
[Usa1996P1] shorter proof, found via LeanCopilot and tryAtEachStep push to main #1858: Commit c625679 pushed by dwrensha
January 15, 2025 19:30 7m 19s main
main
January 15, 2025 19:30 7m 19s
[Bulgaria1998P11] simplification suggested by LeanCopilot push to main #1857: Commit 36c7329 pushed by dwrensha
January 15, 2025 18:51 6m 54s main
main
January 15, 2025 18:51 6m 54s
simplifications found by tryAtEachStep push to main #1856: Commit be634bd pushed by dwrensha
January 15, 2025 13:26 7m 8s main
main
January 15, 2025 13:26 7m 8s
update mathlib push to main #1855: Commit d930682 pushed by dwrensha
January 15, 2025 13:09 7m 14s main
main
January 15, 2025 13:09 7m 14s
update mathlib push to main #1854: Commit 162236d pushed by dwrensha
January 15, 2025 03:00 7m 9s main
main
January 15, 2025 03:00 7m 9s
update to lean-v4.16.0-rc2 push to main #1853: Commit 274fa4c pushed by dwrensha
January 14, 2025 20:02 7m 8s main
main
January 14, 2025 20:02 7m 8s
lean-v4.15.0 push to main #1852: Commit ca88167 pushed by dwrensha
January 6, 2025 04:02 6m 45s main
main
January 6, 2025 04:02 6m 45s
removed unneeded semicolons push to main #1851: Commit 78583c5 pushed by dwrensha
January 6, 2025 00:54 6m 47s main
main
January 6, 2025 00:54 6m 47s
update tryAtEachStep push to main #1850: Commit 7e00cf7 pushed by dwrensha
January 5, 2025 21:35 6m 54s main
main
January 5, 2025 21:35 6m 54s
lakefile.lean -> lakefile.toml push to main #1849: Commit 48047fa pushed by dwrensha
January 5, 2025 14:13 6m 49s main
main
January 5, 2025 14:13 6m 49s