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
282 workflow runs
282 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

typo .github/workflows/push.yml #7: Commit 648d5b3 pushed by CBirkbeck
October 23, 2023 17:13 9m 48s master
master
October 23, 2023 17:13 9m 48s
Merge branch 'master' of https://github.com/leanprover-community/flt-… .github/workflows/push.yml #6: Commit 0470e02 pushed by CBirkbeck
October 23, 2023 17:07 6m 28s master
master
October 23, 2023 17:07 6m 28s
Update README.md .github/workflows/push.yml #5: Commit e2aa49d pushed by CBirkbeck
October 23, 2023 17:02 4m 38s master
master
October 23, 2023 17:02 4m 38s
Update lakefile.lean .github/workflows/push.yml #4: Commit 58c147f pushed by riccardobrasca
October 23, 2023 15:31 42m 24s master
master
October 23, 2023 15:31 42m 24s
let's try this .github/workflows/push.yml #3: Commit 17f03b6 pushed by riccardobrasca
October 23, 2023 15:10 14m 7s master
master
October 23, 2023 15:10 14m 7s
Update lake-manifest.json .github/workflows/push.yml #2: Commit 38d7f03 pushed by riccardobrasca
October 23, 2023 15:01 2m 32s master
master
October 23, 2023 15:01 2m 32s
Delete lakefile.olean .github/workflows/push.yml #1: Commit 6216030 pushed by riccardobrasca
October 23, 2023 14:31 21m 0s master
master
October 23, 2023 14:31 21m 0s
ProTip! You can narrow down the results and go further in time using created:<2023-10-23 or the other filters available.