Skip to content

Actions: fpvandoorn/LeanCourse24

Actions

.github/workflows/push.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump actions/cache from 4 to 5 (#4) .github/workflows/push.yml #60: Commit dd654a8 pushed by fpvandoorn
6m 42s master
master
6m 42s
Bump actions/checkout from 5 to 6 (#3) .github/workflows/push.yml #59: Commit b6e7f28 pushed by fpvandoorn
20m 15s master
master
20m 15s
Bump actions/upload-pages-artifact from 3 to 4 (#1) .github/workflows/push.yml #58: Commit 5136412 pushed by fpvandoorn
22m 37s master
master
22m 37s
Bump actions/checkout from 4 to 5 (#2) .github/workflows/push.yml #57: Commit ecfa059 pushed by fpvandoorn
18m 53s master
master
18m 53s
cleanup .github/workflows/push.yml #56: Commit 5abe96e pushed by fpvandoorn
19m 11s master
master
19m 11s
Create Solution10.lean .github/workflows/push.yml #55: Commit f8f8aea pushed by adelon
19m 27s master
master
19m 27s