Skip to content

Actions: VCA-EPFL/leanses

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed atom validation error and update to 24-12-01 Deploy Docs to Pages #38: Commit e821149 pushed by ymherklotz
December 2, 2024 08:08 38s main
main
December 2, 2024 08:08 38s
Fixed atom validation error and update to 24-12-01 Build and test #9: Commit e821149 pushed by ymherklotz
December 2, 2024 08:08 35s main
main
December 2, 2024 08:08 35s
Update lean to nightly-2024-11-11 Deploy Docs to Pages #37: Commit 292be52 pushed by ymherklotz
November 12, 2024 13:36 1m 5s main
main
November 12, 2024 13:36 1m 5s
Update lean to nightly-2024-11-11 Build and test #8: Commit 292be52 pushed by ymherklotz
November 12, 2024 13:36 55s main
main
November 12, 2024 13:36 55s
Add some copyright headers Deploy Docs to Pages #36: Commit 5379191 pushed by ymherklotz
November 12, 2024 13:35 48s main
main
November 12, 2024 13:35 48s
Add some copyright headers Build and test #7: Commit 5379191 pushed by ymherklotz
November 12, 2024 13:35 46s main
main
November 12, 2024 13:35 46s
Remove more autoImplicit flags Deploy Docs to Pages #35: Commit 6c99a8c pushed by ymherklotz
September 25, 2024 16:43 43s main
main
September 25, 2024 16:43 43s
Remove more autoImplicit flags Build and test #6: Commit 6c99a8c pushed by ymherklotz
September 25, 2024 16:43 1m 14s main
main
September 25, 2024 16:43 1m 14s
Turn off autoImplicit by default Deploy Docs to Pages #34: Commit b08486b pushed by ymherklotz
September 25, 2024 15:52 44s main
main
September 25, 2024 15:52 44s
Turn off autoImplicit by default Build and test #5: Commit b08486b pushed by ymherklotz
September 25, 2024 15:52 44s main
main
September 25, 2024 15:52 44s
Update lean to 4.12.0-rc1 Build and test #4: Commit ff3d69c pushed by ymherklotz
September 25, 2024 15:39 45s main
main
September 25, 2024 15:39 45s
Update lean to 4.12.0-rc1 Deploy Docs to Pages #33: Commit ff3d69c pushed by ymherklotz
September 25, 2024 15:39 46s main
main
September 25, 2024 15:39 46s
Use lean-action instead of custom github actions Deploy Docs to Pages #32: Commit 268c02d pushed by ymherklotz
September 25, 2024 15:35 44s main
main
September 25, 2024 15:35 44s
Use lean-action instead of custom github actions Build and test #3: Commit 268c02d pushed by ymherklotz
September 25, 2024 15:35 45s main
main
September 25, 2024 15:35 45s
Add automatic github action testing Build and test #2: Commit d2e0a39 pushed by ymherklotz
August 16, 2024 09:35 35s main
main
August 16, 2024 09:35 35s
Add automatic github action testing Deploy Docs to Pages #31: Commit d2e0a39 pushed by ymherklotz
August 16, 2024 09:35 42s main
main
August 16, 2024 09:35 42s
Add automatic github action testing Deploy Docs to Pages #30: Commit a018f37 pushed by ymherklotz
August 16, 2024 09:34 36s main
main
August 16, 2024 09:34 36s
Add automatic github action testing Build and test #1: Commit a018f37 pushed by ymherklotz
August 16, 2024 09:34 17s main
main
August 16, 2024 09:34 17s
Add lens definition with less universe constraints Deploy Docs to Pages #29: Commit 95bc5dd pushed by ymherklotz
July 5, 2024 10:40 42s main
main
July 5, 2024 10:40 42s
Optimise lemma proofs by using rfl instead of simp Deploy Docs to Pages #28: Commit 1552abd pushed by ymherklotz
July 4, 2024 19:33 44s main
main
July 4, 2024 19:33 44s
Fix lens derivation with multiple universe levels Deploy Docs to Pages #27: Commit 2058b96 pushed by ymherklotz
June 14, 2024 13:38 43s main
main
June 14, 2024 13:38 43s
Fix lens derivation with multiple universe levels Deploy Docs to Pages #26: Commit 4ef3daf pushed by ymherklotz
June 14, 2024 13:26 45s main
main
June 14, 2024 13:26 45s
Fix API changes for lean 4.8.0-rc2 Deploy Docs to Pages #25: Commit 0fe6f0c pushed by ymherklotz
June 3, 2024 07:45 42s main
main
June 3, 2024 07:45 42s
Add set_set_comp lemma and simp configuration Deploy Docs to Pages #24: Commit 3f34ad6 pushed by ymherklotz
June 3, 2024 07:28 42s main
main
June 3, 2024 07:28 42s
Add support for computing with constructors Deploy Docs to Pages #23: Commit e7e6859 pushed by ymherklotz
May 22, 2024 15:30 46s main
main
May 22, 2024 15:30 46s