Skip to content

Actions: YaelDillies/cam-combi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
75 workflow runs
75 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use leanprover-community/docgen-action Build Lean project #10: Commit 41ea0bc pushed by YaelDillies
4m 48s master
master
4m 48s
Bump mathlib Build Lean project #286: Commit 96f1df4 pushed by YaelDillies
40m 48s master
master
40m 48s
Bump mathlib .github/workflows/lean-release-tag.yml #5: Commit 96f1df4 pushed by YaelDillies
11s master
master
11s
fix: remove unused arguments from theorem statements (#44) Build Lean project #285: Commit 501acea pushed by YaelDillies
37m 55s master
master
37m 55s
Bump mathlib Build Lean project #284: Commit 34a573b pushed by YaelDillies
38m 30s master
master
38m 30s
Bump mathlib .github/workflows/lean-release-tag.yml #4: Commit 34a573b pushed by YaelDillies
7s master
master
7s
Bump mathlib to v4.24.0 .github/workflows/lean-release-tag.yml #3: Commit da021ed pushed by YaelDillies
9s master
master
9s
Bump mathlib to v4.24.0 Build Lean project #283: Commit da021ed pushed by YaelDillies
35m 31s master
master
35m 31s
Bump mathlib to v4.23.0 .github/workflows/lean-release-tag.yml #2: Commit c314029 pushed by YaelDillies
9s master
master
9s
Bump mathlib to v4.23.0 Build Lean project #282: Commit c314029 pushed by YaelDillies
33m 39s master
master
33m 39s
Bump mathlib to v4.22.0 Build Lean project #281: Commit 99a77d1 pushed by YaelDillies
36m 36s master
master
36m 36s
Bump mathlib to v4.22.0 .github/workflows/lean-release-tag.yml #1: Commit 99a77d1 pushed by YaelDillies
12s master
master
12s
lean-release-tag workflow Build Lean project #280: Commit e8dad14 pushed by YaelDillies
37m 13s master
master
37m 13s
Bump mathlib to v4.21.0 Build Lean project #279: Commit cd307b9 pushed by YaelDillies
32m 1s master
master
32m 1s
Bump mathlib to v4.20.1 Build Lean project #278: Commit 6ac2c45 pushed by YaelDillies
29m 21s master
master
29m 21s
Don't cache own docs Build Lean project #277: Commit 3cda2af pushed by YaelDillies
29m 18s master
master
29m 18s
GrowthInGroups: Gromov's theorem only works for fg groups Build Lean project #276: Commit 9e8509d pushed by YaelDillies
28m 56s master
master
28m 56s
Bump mathlib to v4.19.0 Build Lean project #275: Commit b6312be pushed by YaelDillies
29m 29s master
master
29m 29s
Bump mathlib to v4.19.0 Build Lean project #274: Commit f842fc7 pushed by YaelDillies
27m 21s master
master
27m 21s
Workflow changes from Toric Build Lean project #273: Commit 96f1bd1 pushed by YaelDillies
22m 46s master
master
22m 46s
List keywords in lakefile Build Lean project #272: Commit 075f1c4 pushed by YaelDillies
23m 34s master
master
23m 34s
Fix scripts/build_docs.sh Build Lean project #271: Commit 0f5b6b3 pushed by YaelDillies
22m 50s master
master
22m 50s
Golf scripts/build_docs.sh (#43) Build Lean project #270: Commit 5df7965 pushed by YaelDillies
22m 59s master
master
22m 59s
Golf scripts/build_docs.sh .github/workflows/push_pr.yml #95: Pull request #43 opened by b-mehta
2m 22s build-docs-script
build-docs-script
2m 22s
Update build_docs.sh .github/workflows/push_pr.yml #94: Commit f340317 pushed by b-mehta
2m 27s build-docs-script
build-docs-script
2m 27s