Skip to content

Actions: VTrelat/ZFLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
65 workflow runs
65 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
Merge pull request #5 from VTrelat/v4.31.0 Lean Action CI #48: Commit 72fffa8 pushed by VTrelat
13m 59s main
main
13m 59s
Fix lt in ZFRat on v4.31.0 Lean Action CI #47: Pull request #5 opened by VTrelat
3m 17s v4.31.0
v4.31.0
3m 17s
feat: add LinearOrder and order-ring compatibility instances for ZFRat Lean Action CI #46: Commit 831ac45 pushed by VTrelat
16m 1s v4.31.0
v4.31.0
16m 1s
feat: add LinearOrder and order-ring compatibility instances for ZFRat Lean Action CI #45: Commit 831ac45 pushed by VTrelat
20m 21s v4.31.0
v4.31.0
20m 21s
Merge pull request #4 from VTrelat/v4.31.0 Create Release #11: Commit 36af3fe pushed by VTrelat
9s main
main
9s
Merge pull request #4 from VTrelat/v4.31.0 Lean Action CI #44: Commit 36af3fe pushed by VTrelat
19m 3s main
main
19m 3s
Bump to v4.31.0 Lean Action CI #43: Pull request #4 opened by VTrelat
3m 14s v4.31.0
v4.31.0
3m 14s
ci: pin lean-release-tag to fixed commit (handle new-branch null before) Lean Action CI #42: Commit 53c0e8c pushed by VTrelat
14m 9s v4.31.0
v4.31.0
14m 9s
ci: pin lean-release-tag to fixed commit (handle new-branch null before) Lean Action CI #41: Commit 53c0e8c pushed by VTrelat
16m 13s v4.31.0
v4.31.0
16m 13s
style: add file headers and resolve linter warnings Create Release #10: Commit 23e6346 pushed by VTrelat
11s v4.31.0
v4.31.0
11s
style: add file headers and resolve linter warnings Lean Action CI #40: Commit 23e6346 pushed by VTrelat
18m 0s v4.31.0
v4.31.0
18m 0s
Running Copilot cloud agent Copilot cloud agent #4: by Copilot AI
57s copilot/update-release-version-tag
copilot/update-release-version-tag
57s
Running Copilot cloud agent Copilot cloud agent #3: by Copilot AI
28s copilot/update-release-version-tag
copilot/update-release-version-tag
28s
Running Copilot cloud agent Copilot cloud agent #2: by Copilot AI
42s copilot/update-release-version-tag
copilot/update-release-version-tag
42s
Running Copilot cloud agent Copilot cloud agent #1: by Copilot AI
1m 21s copilot/update-release-version-tag
copilot/update-release-version-tag
1m 21s
Merge pull request #3 from VTrelat/v4.27.0 Lean Action CI #39: Commit eb082a2 pushed by VTrelat
15m 43s main
main
15m 43s
chore: redefine order on Int, with evidence that 0 < 1 is actually provable Lean Action CI #38: Pull request #3 opened by VTrelat
3m 0s v4.27.0
v4.27.0
3m 0s
chore: redefine order on Int, with evidence that 0 < 1 is actually pr… Lean Action CI #37: Commit aad8038 pushed by VTrelat
15m 11s v4.27.0
v4.27.0
15m 11s
Merge pull request #2 from VTrelat/v4.27.0 Lean Action CI #36: Commit 753bdfb pushed by VTrelat
15m 21s main
main
15m 21s
chore: update lake-manifest Lean Action CI #35: Pull request #2 opened by VTrelat
3m 18s v4.27.0
v4.27.0
3m 18s
chore: update lake-manifest Lean Action CI #34: Commit 7d6b0d7 pushed by VTrelat
15m 29s v4.27.0
v4.27.0
15m 29s
Merge pull request #1 from VTrelat/v4.27.0 Lean Action CI #33: Commit 6d90528 pushed by VTrelat
1m 21s main
main
1m 21s
Merge pull request #1 from VTrelat/v4.27.0 Create Release #9: Commit 6d90528 pushed by VTrelat
13s main
main
13s
Bump to v4.27.0 Lean Action CI #32: Pull request #1 opened by VTrelat
1m 12s v4.27.0
v4.27.0
1m 12s
chore: bump to v4.27.0 Create Release #8: Commit 2767ca6 pushed by VTrelat
13s v4.27.0
v4.27.0
13s