Skip to content

Actions: VTrelat/ZFLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 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
feat: add missing theorems Lean Action CI #15: Commit 6f9a6a1 pushed by VTrelat
8m 37s main
main
8m 37s
feat: add lifting function into options Lean Action CI #14: Commit ea6d19d pushed by VTrelat
7m 48s main
main
7m 48s
change toolchain version to v4.24.0 Lean Action CI #13: Commit 8d122c4 pushed by VTrelat
1m 6s v4.24.0
v4.24.0
1m 6s
Update CI workflow triggers Lean Action CI #12: Commit 1585dfd pushed by VTrelat
8m 3s main
main
8m 3s
Lean Action CI Lean Action CI #2: Manually run by VTrelat
1m 33s main
main
1m 33s
Add reservoir_check workflow for Lean Action CI Lean Action CI #1: Commit cfc6620 pushed by VTrelat
37s main
main
37s
Add reservoir_check workflow for Lean Action CI Lean Action CI #11: Commit cfc6620 pushed by VTrelat
18s main
main
18s
Create Release Create Release #5: Manually run by VTrelat
6s v4.24.0
v4.24.0
6s
Create Release Create Release #4: Manually run by VTrelat
11s v4.24.0
v4.24.0
11s
Update branch filter in create-release workflow Lean Action CI #10: Commit dde8470 pushed by VTrelat
20s v4.24.0
v4.24.0
20s
Add workflow_dispatch trigger to create-release.yml Lean Action CI #9: Commit 063e747 pushed by VTrelat
9s main
main
9s
Allow release creation on any branch Lean Action CI #8: Commit f821bab pushed by VTrelat
41s main
main
41s
Update release workflow to trigger on all branches Lean Action CI #7: Commit 8f7fd9e pushed by VTrelat
7m 37s v4.24.0
v4.24.0
7m 37s
update proofs accordingly to current version Lean Action CI #6: Commit 235a2ca pushed by VTrelat
11m 40s v4.24.0
v4.24.0
11m 40s
update lake manifest Lean Action CI #5: Commit 0e0250d pushed by VTrelat
12m 32s main
main
12m 32s
update proofs accordingly to current version Lean Action CI #4: Commit 6662164 pushed by VTrelat
3m 21s v4.24.0
v4.24.0
3m 21s
change toolchain version to v4.25.0-rc2 Lean Action CI #3: Commit dec77b7 pushed by VTrelat
11m 32s main
main
11m 32s
change toolchain version to v4.25.0-rc2 Create Release #3: Commit dec77b7 pushed by VTrelat
8s main
main
8s
change toolchain version to v4.24.0 Lean Action CI #2: Commit 8d122c4 pushed by VTrelat
1m 21s main
main
1m 21s
change toolchain version to v4.24.0 Create Release #2: Commit 8d122c4 pushed by VTrelat
12s main
main
12s
feat: add theories and cleanup Lean Action CI #1: Commit fd551aa pushed by VTrelat
12m 20s main
main
12m 20s
feat: add theories and cleanup Create Release #1: Commit fd551aa pushed by VTrelat
12s main
main
12s