Skip to content

Actions: dwrensha/compfiles

Actions

push to main

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push-main.yaml
1,364 workflow runs
1,364 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update mathlib push to main #1891: Commit d00481c pushed by dwrensha
February 7, 2025 13:19 7m 37s main
main
February 7, 2025 13:19 7m 37s
update mathlib push to main #1890: Commit b32a6a5 pushed by dwrensha
February 6, 2025 13:17 7m 40s main
main
February 6, 2025 13:17 7m 40s
update mathlib push to main #1889: Commit 1e5560d pushed by dwrensha
February 5, 2025 14:54 7m 30s main
main
February 5, 2025 14:54 7m 30s
update mathlib push to main #1888: Commit 49eee03 pushed by dwrensha
February 4, 2025 13:17 8m 3s main
main
February 4, 2025 13:17 8m 3s
update to lean-v4.17.0-rc1 push to main #1887: Commit 89b6012 pushed by dwrensha
February 3, 2025 18:49 7m 40s main
main
February 3, 2025 18:49 7m 40s
lean-v4.16.0 push to main #1886: Commit 64d0811 pushed by dwrensha
February 3, 2025 18:36 7m 36s main
main
February 3, 2025 18:36 7m 36s
update mathlib push to main #1885: Commit c939392 pushed by dwrensha
February 3, 2025 12:33 7m 8s main
main
February 3, 2025 12:33 7m 8s
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