Skip to content

Actions: dwrensha/compfiles

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update mathlib push to main #1884: Commit 3060592 pushed by dwrensha
February 1, 2025 13:56 7m 5s main
main
February 1, 2025 13:56 7m 5s
update other gh actions packages push to main #1883: Commit 07f450c pushed by dwrensha
January 31, 2025 02:30 7m 22s main
main
January 31, 2025 02:30 7m 22s
update upload-pages-artifact version push to main #1882: Commit fba7fc3 pushed by dwrensha
January 31, 2025 01:38 7m 7s main
main
January 31, 2025 01:38 7m 7s
update mathlib push to main #1881: Commit 8c20c60 pushed by dwrensha
January 31, 2025 01:25 14s main
main
January 31, 2025 01:25 14s
update mathlib push to main #1880: Commit 5c31a4b pushed by dwrensha
January 30, 2025 13:05 7m 3s main
main
January 30, 2025 13:05 7m 3s
update mathlib push to main #1879: Commit 02695e1 pushed by dwrensha
January 29, 2025 13:00 7m 28s main
main
January 29, 2025 13:00 7m 28s
update mathlib push to main #1878: Commit c97eb53 pushed by dwrensha
January 28, 2025 13:13 7m 28s main
main
January 28, 2025 13:13 7m 28s
update mathlib push to main #1877: Commit 7a863fa pushed by dwrensha
January 27, 2025 21:13 7m 27s main
main
January 27, 2025 21:13 7m 27s
update mathlib push to main #1876: Commit 48c12bc pushed by dwrensha
January 26, 2025 15:17 7m 5s main
main
January 26, 2025 15:17 7m 5s
update mathlib push to main #1875: Commit 21b3c32 pushed by dwrensha
January 25, 2025 12:45 7m 10s main
main
January 25, 2025 12:45 7m 10s
update mathlib push to main #1874: Commit 666293a pushed by dwrensha
January 24, 2025 12:48 7m 17s main
main
January 24, 2025 12:48 7m 17s
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