Skip to content

Actions: fpvandoorn/LeanCourse25

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
141 workflow runs
141 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
lecture 1 after class .github/workflows/push.yml #11: Commit 79d597c pushed by fpvandoorn
36m 50s master
master
36m 50s
Bump actions/checkout from 4 to 5 (#2) .github/workflows/push.yml #10: Commit ff95258 pushed by fpvandoorn
38m 42s master
master
38m 42s
Bump actions/checkout from 4 to 5 .github/workflows/push_pr.yml #5: Pull request #2 reopened by fpvandoorn
1m 27s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
1m 27s
github_actions in / for actions/checkout - Update #1125157569 Dependabot Updates #7: by dependabot Bot
35s master
master
35s
Bump actions/checkout from 4 to 5 .github/workflows/push_pr.yml #4: Pull request #2 synchronize by dependabot Bot
1m 37s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
1m 37s
github_actions in / for actions/checkout - Update #1125157006 Dependabot Updates #6: by dependabot Bot
34s master
master
34s
update workflow files .github/workflows/push.yml #9: Commit 4747e7c pushed by fpvandoorn
12m 54s master
master
12m 54s
update lecture1, fix workflow Lean Action CI #15: Commit c2e7984 pushed by fpvandoorn
8m 48s master
master
8m 48s
update lecture1, fix workflow .github/workflows/push.yml #8: Commit c2e7984 pushed by fpvandoorn
11m 5s master
master
11m 5s
add syllabus and Lecture file 1 Lean Action CI #14: Commit 2f3c5bf pushed by fpvandoorn
37m 18s master
master
37m 18s
add syllabus and Lecture file 1 .github/workflows/push.yml #7: Commit 2f3c5bf pushed by fpvandoorn
4m 2s master
master
4m 2s
bump mathlib .github/workflows/push.yml #6: Commit 87a9f44 pushed by fpvandoorn
22s master
master
22s
bump mathlib Create Release #3: Commit 87a9f44 pushed by fpvandoorn
15s master
master
15s
bump mathlib Lean Action CI #13: Commit 87a9f44 pushed by fpvandoorn
37m 40s master
master
37m 40s
Windows warning .github/workflows/push.yml #5: Commit af23f65 pushed by fpvandoorn
4m 3s master
master
4m 3s
Windows warning Lean Action CI #12: Commit af23f65 pushed by fpvandoorn
35m 1s master
master
35m 1s
reword README .github/workflows/push.yml #4: Commit 9d9886f pushed by fpvandoorn
4m 11s master
master
4m 11s
reword README Lean Action CI #11: Commit 9d9886f pushed by fpvandoorn
35m 54s master
master
35m 54s
fix Lean Action CI #10: Commit b2a2991 pushed by fpvandoorn
34m 22s master
master
34m 22s
fix .github/workflows/push.yml #3: Commit b2a2991 pushed by fpvandoorn
4m 24s master
master
4m 24s
github_actions in / for actions/checkout - Update #1114973371 Dependabot Updates #5: by dependabot Bot
54s master
master
54s
Bump actions/checkout from 4 to 5 Lean Action CI #9: Pull request #2 synchronize by dependabot Bot
1m 28s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
1m 28s
Bump actions/checkout from 4 to 5 .github/workflows/push_pr.yml #3: Pull request #2 synchronize by dependabot Bot
1m 26s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
1m 26s
Bump actions/checkout from 4 to 5 Lean Action CI #8: Commit 334ba08 pushed by dependabot Bot
35m 46s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
35m 46s
github_actions in / for actions/checkout - Update #1114972793 Dependabot Updates #4: by dependabot Bot
37s master
master
37s