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
add links .github/workflows/push.yml #99: Commit a6bf37f pushed by fpvandoorn
37m 31s master
master
37m 31s
clean ToC .github/workflows/push.yml #98: Commit a32c2f4 pushed by fpvandoorn
3m 22s master
master
3m 22s
cleanup ToC .github/workflows/push.yml #97: Commit 0986546 pushed by fpvandoorn
7m 56s master
master
7m 56s
actually add table of contents .github/workflows/push.yml #96: Commit f825b46 pushed by fpvandoorn
3m 38s master
master
3m 38s
add table of contents .github/workflows/push.yml #95: Commit 3e020c5 pushed by fpvandoorn
1m 0s master
master
1m 0s
github_actions in /. - Update #1262299804 Dependabot Updates #12: by dependabot Bot
23s master
master
23s
File from today: course review .github/workflows/push.yml #94: Commit f113438 pushed by grunweg
31m 32s master
master
31m 32s
Lecture 28 after class .github/workflows/push.yml #93: Commit cc009c1 pushed by grunweg
36m 43s master
master
36m 43s
File for today .github/workflows/push.yml #92: Commit 351e8af pushed by grunweg
38m 35s master
master
38m 35s
Bump leanprover/lean-action from 1.3.0 to 1.4.0 .github/workflows/push_pr.yml #12: Pull request #9 opened by dependabot Bot
1m 40s dependabot/github_actions/leanprover/lean-action-1.4.0
dependabot/github_actions/leanprover/lean-action-1.4.0
1m 40s
github_actions in /. - Update #1228444968 Dependabot Updates #11: by dependabot Bot
30s master
master
30s
forgot to save before committing lecture 27 .github/workflows/push.yml #91: Commit 79dfb2e pushed by fpvandoorn
35m 30s master
master
35m 30s
lecture 27 before class .github/workflows/push.yml #90: Commit 7e8f602 pushed by fpvandoorn
36m 32s master
master
36m 32s
add lecture 26 after class .github/workflows/push.yml #89: Commit 18356ea pushed by fpvandoorn
31m 47s master
master
31m 47s
add lecture 26 before class .github/workflows/push.yml #88: Commit 2ced07b pushed by fpvandoorn
37m 27s master
master
37m 27s
Differential geometry assignment .github/workflows/push.yml #87: Commit 2e77fd8 pushed by grunweg
38m 0s master
master
38m 0s
Further clarifications .github/workflows/push.yml #86: Commit 078b41b pushed by grunweg
37m 4s master
master
37m 4s
Add missing file; in-class tweaks .github/workflows/push.yml #85: Commit 447a5be pushed by grunweg
26m 40s master
master
26m 40s
Add files for second differential geometry lecture .github/workflows/push.yml #84: Commit 94f52af pushed by grunweg
37m 27s master
master
37m 27s
Add file after class .github/workflows/push.yml #83: Commit 4307892 pushed by grunweg
36m 49s master
master
36m 49s
Actual lecture files .github/workflows/push.yml #82: Commit ae47336 pushed by grunweg
38m 0s master
master
38m 0s
add assignment 12 .github/workflows/push.yml #81: Commit 152aee0 pushed by fpvandoorn
36m 59s master
master
36m 59s
add lecture 23 after class .github/workflows/push.yml #80: Commit e69922d pushed by fpvandoorn
40m 6s master
master
40m 6s
add lecture 23 before class .github/workflows/push.yml #79: Commit a0f2a62 pushed by fpvandoorn
37m 24s master
master
37m 24s
add lecture 22 after class .github/workflows/push.yml #78: Commit 9ea21c7 pushed by fpvandoorn
47m 22s master
master
47m 22s