Skip to content

Actions: leanprover-community/flt-regular

Actions

.github/workflows/push.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
195 workflow runs
195 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump .github/workflows/push.yml #341: Commit adbe947 pushed by riccardobrasca
March 8, 2025 13:11 47m 44s master
master
March 8, 2025 13:11 47m 44s
bump .github/workflows/push.yml #340: Commit b68e599 pushed by riccardobrasca
March 4, 2025 11:58 41m 14s master
master
March 4, 2025 11:58 41m 14s
bump .github/workflows/push.yml #339: Commit fc25820 pushed by riccardobrasca
March 3, 2025 16:25 7m 25s master
master
March 3, 2025 16:25 7m 25s
bump .github/workflows/push.yml #338: Commit 4e9b7a7 pushed by riccardobrasca
March 1, 2025 14:42 38m 34s master
master
March 1, 2025 14:42 38m 34s
bump .github/workflows/push.yml #337: Commit 176ec1a pushed by riccardobrasca
February 28, 2025 09:47 38m 27s master
master
February 28, 2025 09:47 38m 27s
bump .github/workflows/push.yml #336: Commit 4ac756b pushed by riccardobrasca
February 25, 2025 13:41 38m 24s master
master
February 25, 2025 13:41 38m 24s
bump .github/workflows/push.yml #335: Commit 5b50dcd pushed by riccardobrasca
February 25, 2025 13:19 5m 22s master
master
February 25, 2025 13:19 5m 22s
bump .github/workflows/push.yml #334: Commit 31370e7 pushed by riccardobrasca
February 21, 2025 12:47 40m 37s master
master
February 21, 2025 12:47 40m 37s
bump .github/workflows/push.yml #333: Commit 1370d9b pushed by riccardobrasca
February 20, 2025 12:46 42m 49s master
master
February 20, 2025 12:46 42m 49s
bump .github/workflows/push.yml #332: Commit 28b5998 pushed by riccardobrasca
February 19, 2025 08:59 37m 33s master
master
February 19, 2025 08:59 37m 33s
bump .github/workflows/push.yml #331: Commit fd4ffd5 pushed by riccardobrasca
February 17, 2025 09:35 40m 11s master
master
February 17, 2025 09:35 40m 11s
bump .github/workflows/push.yml #330: Commit 1d5b6eb pushed by riccardobrasca
February 14, 2025 15:05 40m 22s master
master
February 14, 2025 15:05 40m 22s
bump .github/workflows/push.yml #329: Commit c2bbb3b pushed by riccardobrasca
February 13, 2025 16:25 41m 4s master
master
February 13, 2025 16:25 41m 4s
random try .github/workflows/push.yml #328: Commit 7d7ef20 pushed by riccardobrasca
February 4, 2025 17:48 37m 34s master
master
February 4, 2025 17:48 37m 34s
no idea .github/workflows/push.yml #327: Commit f62ddbc pushed by riccardobrasca
February 4, 2025 16:10 50m 3s master
master
February 4, 2025 16:10 50m 3s
try this .github/workflows/push.yml #326: Commit faa5573 pushed by riccardobrasca
February 4, 2025 15:01 47m 59s master
master
February 4, 2025 15:01 47m 59s
uff .github/workflows/push.yml #325: Commit dbb94d7 pushed by riccardobrasca
February 4, 2025 12:52 37m 26s master
master
February 4, 2025 12:52 37m 26s
let's try this .github/workflows/push.yml #324: Commit be234bf pushed by riccardobrasca
February 4, 2025 12:50 13s master
master
February 4, 2025 12:50 13s
bump .github/workflows/push.yml #323: Commit fb6cf94 pushed by riccardobrasca
February 4, 2025 12:44 11s master
master
February 4, 2025 12:44 11s
mmm .github/workflows/push.yml #322: Commit a973d90 pushed by riccardobrasca
January 28, 2025 12:14 37m 8s master
master
January 28, 2025 12:14 37m 8s
maybe better .github/workflows/push.yml #321: Commit 8c7325a pushed by riccardobrasca
January 28, 2025 11:23 37m 18s master
master
January 28, 2025 11:23 37m 18s
bump .github/workflows/push.yml #320: Commit e6fdde1 pushed by riccardobrasca
January 28, 2025 10:36 36m 38s master
master
January 28, 2025 10:36 36m 38s
mmm .github/workflows/push.yml #319: Commit e360a34 pushed by riccardobrasca
January 23, 2025 16:25 39m 12s master
master
January 23, 2025 16:25 39m 12s
uff .github/workflows/push.yml #318: Commit 2f4f633 pushed by riccardobrasca
January 23, 2025 14:18 37m 37s master
master
January 23, 2025 14:18 37m 37s
this? .github/workflows/push.yml #317: Commit c0613ea pushed by riccardobrasca
January 23, 2025 14:17 14s master
master
January 23, 2025 14:17 14s