Skip to content

Actions: fpvandoorn/LeanCourse24

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
53 workflow runs
53 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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/checkout from 5 to 6 .github/workflows/push_pr.yml #3: Pull request #3 opened by dependabot bot
2m 36s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
2m 36s
github_actions in /. - Update #1170479073 Dependabot Updates #17: by dependabot bot
40s master
master
40s
github_actions in /. - Update #1140634584 Dependabot Updates #16: by dependabot bot
26s master
master
26s
github_actions in /. - Update #1115307243 Dependabot Updates #15: by dependabot bot
39s master
master
39s
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
Bump actions/checkout from 4 to 5 .github/workflows/push_pr.yml #2: Pull request #2 opened by dependabot bot
2m 10s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
2m 10s
Bump actions/upload-pages-artifact from 3 to 4 .github/workflows/push_pr.yml #1: Pull request #1 opened by dependabot bot
2m 7s dependabot/github_actions/actions/upload-pages-artifact-4
dependabot/github_actions/actions/upload-pages-artifact-4
2m 7s
github_actions in /. - Update #1089470553 Dependabot Updates #14: by dependabot bot
36s master
master
36s
cleanup .github/workflows/push.yml #56: Commit 5abe96e pushed by fpvandoorn
19m 11s master
master
19m 11s
github_actions in /. - Update #1066680723 Dependabot Updates #13: by dependabot bot
30s master
master
30s
github_actions in /. - Update #1045300325 Dependabot Updates #12: by dependabot bot
38s master
master
38s
github_actions in /. - Update #1025438926 Dependabot Updates #11: by dependabot bot
34s master
master
34s
github_actions in /. - Update #1008787753 Dependabot Updates #10: by dependabot bot
34s master
master
34s
github_actions in /. - Update #991355091 Dependabot Updates #9: by dependabot bot
34s master
master
34s
github_actions in /. - Update #972894457 Dependabot Updates #8: by dependabot bot
32s master
master
32s
github_actions in /. - Update #957284361 Dependabot Updates #7: by dependabot bot
36s master
master
36s
github_actions in /. - Update #941679142 Dependabot Updates #6: by dependabot bot
31s master
master
31s
Create Solution10.lean .github/workflows/push.yml #55: Commit f8f8aea pushed by adelon
19m 27s master
master
19m 27s
add lecture 11 before class .github/workflows/push.yml #54: Commit 59c9a31 pushed by fpvandoorn
20m 2s master
master
20m 2s
Create Solution9.lean .github/workflows/push.yml #53: Commit 4f20af7 pushed by adelon
7m 11s master
master
7m 11s
files for lecture 10 .github/workflows/push.yml #52: Commit c3d6d8f pushed by fpvandoorn
6m 34s master
master
6m 34s
Create Solution8.lean .github/workflows/push.yml #51: Commit a92d074 pushed by adelon
6m 25s master
master
6m 25s
add lecture 9 after class .github/workflows/push.yml #50: Commit 2f29061 pushed by fpvandoorn
6m 24s master
master
6m 24s