Skip to content

Actions: VTrelat/ZFLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
111 workflow runs
111 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 : Real numbers, Field and OrderedRing Lean Action CI #93: Pull request #11 opened by MPouil
2m 42s MPouil:real-numbers
MPouil:real-numbers
2m 42s
fix: scoped epsilon notation to ZFSet Lean Action CI #92: Commit ae92823 pushed by VTrelat
22m 28s v4.33.0
v4.33.0
22m 28s
fix: scoped epsilon notation to ZFSet Lean Action CI #91: Commit ae92823 pushed by VTrelat
21m 53s main
main
21m 53s
fix comment Lean Action CI #90: Commit a50bcf4 pushed by VTrelat
21m 59s main
main
21m 59s
chore: untrack the compiled Python caches Lean Action CI #89: Commit 18f04ec pushed by VTrelat
20m 43s main
main
20m 43s
chore: untrack the generated timing logs Lean Action CI #88: Commit e5c582d pushed by VTrelat
19m 10s main
main
19m 10s
update case study for CPP Lean Action CI #87: Commit 148dc4d pushed by VTrelat
24m 10s main
main
24m 10s
update CPP evaluation material Lean Action CI #86: Commit dc21b92 pushed by VTrelat
23m 33s main
main
23m 33s
ignore pycache Lean Action CI #85: Commit 6b9036b pushed by VTrelat
25m 28s main
main
25m 28s
fix: stop asserting the routine name in the timeout messages Lean Action CI #84: Commit e24e88e pushed by VTrelat
21m 56s main
main
21m 56s
update case study for CPP Lean Action CI #83: Commit e67ef1f pushed by VTrelat
5m 4s main
main
5m 4s
update functions, quotient, and imp for CPP paper Lean Action CI #82: Commit cc7335f pushed by VTrelat
23m 8s main
main
23m 8s
chore: add material for the case study Lean Action CI #81: Commit 2cce3e9 pushed by VTrelat
18m 55s main
main
18m 55s
chore: add material for Imp case study Lean Action CI #80: Commit 7ac1dc8 pushed by VTrelat
20m 35s main
main
20m 35s
fix: remove admitted theorems for CPP artifact Lean Action CI #79: Commit 8c3be9a pushed by VTrelat
21m 29s main
main
21m 29s
Merge pull request #10 from MPouil/quotients Lean Action CI #78: Commit f5c53e0 pushed by VTrelat
22m 28s main
main
22m 28s
doc: add summary and build instructions Lean Action CI #77: Commit 014c0a0 pushed by VTrelat
19m 37s main
main
19m 37s
Quotients for sets Lean Action CI #76: Pull request #10 synchronize by MPouil
4d 17h 51m 46s MPouil:quotients
MPouil:quotients
4d 17h 51m 46s
Quotients for sets Lean Action CI #75: Pull request #10 opened by MPouil
4d 20h 4m 43s MPouil:quotients
MPouil:quotients
4d 20h 4m 43s
chore: update lambda macro to embed in-domain membership on bound var… Lean Action CI #74: Commit 059472e pushed by VTrelat
19m 52s v4.33.0
v4.33.0
19m 52s
Create Release Create Release #15: Manually run by VTrelat
11s main
main
11s
chore: update lambda macro to embed in-domain membership on bound var… Lean Action CI #73: Commit 059472e pushed by VTrelat
23m 34s main
main
23m 34s
Merge branch 'modules-refactor' into v4.31.0 Lean Action CI #72: Commit 59c1c31 pushed by VTrelat
20m 40s v4.31.0
v4.31.0
20m 40s
Merge branch 'modules-refactor' into v4.31.0 Lean Action CI #71: Commit 59c1c31 pushed by VTrelat
19m 22s v4.31.0
v4.31.0
19m 22s
Merge branch 'modules-refactor' Lean Action CI #70: Commit 2ca5b78 pushed by VTrelat
21m 16s v4.33.0
v4.33.0
21m 16s