Skip to content

Actions: monsterkrampe/proof-library

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Show: finite injective homomorphism is strong Lean Action CI #35: Commit b533e05 pushed by monsterkrampe
January 15, 2025 14:19 32s main
main
January 15, 2025 14:19 32s
Investigate maxHeartbeats issue Lean Action CI #34: Commit 1473f98 pushed by monsterkrampe
January 14, 2025 13:45 1m 19s main
main
January 14, 2025 13:45 1m 19s
Upgrade to Lean 4.15.0 Lean Action CI #33: Commit d4cd1ca pushed by monsterkrampe
January 10, 2025 09:36 1m 41s main
main
January 10, 2025 09:36 1m 41s
Basic Termination Result for Trees Lean Action CI #32: Commit 7c2fe99 pushed by monsterkrampe
January 6, 2025 09:41 1m 34s feature/core-models
feature/core-models
January 6, 2025 09:41 1m 34s
Basic Termination Result for Trees Lean Action CI #31: Commit 7c2fe99 pushed by monsterkrampe
December 26, 2024 12:10 1m 34s main
main
December 26, 2024 12:10 1m 34s
Basic Termination Result for Trees Lean Action CI #30: Commit 7c2fe99 pushed by monsterkrampe
December 21, 2024 17:19 21s feature/basic-termination
feature/basic-termination
December 21, 2024 17:19 21s
WIP: Basic Termination Result for Trees (now working on (essentially)… Lean Action CI #29: Commit 522a97d pushed by monsterkrampe
December 20, 2024 11:09 1m 36s feature/basic-termination
feature/basic-termination
December 20, 2024 11:09 1m 36s
WIP: Basic Termination Result for Trees (now working on (essentially)… Lean Action CI #28: Commit c5bbebc pushed by monsterkrampe
December 19, 2024 15:27 1m 35s feature/basic-termination
feature/basic-termination
December 19, 2024 15:27 1m 35s
Cores of chase supersets subsume chase result Lean Action CI #27: Commit 824d541 pushed by monsterkrampe
December 19, 2024 09:47 1m 40s main
main
December 19, 2024 09:47 1m 40s
Cores of chase supersets subsume chase result Lean Action CI #26: Commit 824d541 pushed by monsterkrampe
December 19, 2024 09:40 25s feature/core-models
feature/core-models
December 19, 2024 09:40 25s
WIP: Cores of Supersets subsume chase result Lean Action CI #25: Commit e296d6e pushed by monsterkrampe
December 18, 2024 16:52 35s feature/core-models
feature/core-models
December 18, 2024 16:52 35s
Chase w/o alt match: endo strong and injective Lean Action CI #24: Commit 62d9a8a pushed by monsterkrampe
December 18, 2024 16:03 1m 37s feature/core-models
feature/core-models
December 18, 2024 16:03 1m 37s
WIP: Chase w/o alt match: endo strong and injective Lean Action CI #23: Commit e50a0f3 pushed by monsterkrampe
December 17, 2024 15:53 1m 51s feature/core-models
feature/core-models
December 17, 2024 15:53 1m 51s
Chase w/o alt match: endo on result surjective Lean Action CI #22: Commit 2a3a4b0 pushed by monsterkrampe
December 17, 2024 10:04 1m 30s feature/core-models
feature/core-models
December 17, 2024 10:04 1m 30s
WIP: no alt matches implies core Lean Action CI #21: Commit ceb8c67 pushed by monsterkrampe
December 16, 2024 17:29 20s feature/core-models
feature/core-models
December 16, 2024 17:29 20s
WIP: no alt matches implies core Lean Action CI #20: Commit 75db590 pushed by monsterkrampe
December 16, 2024 14:57 23s feature/core-models
feature/core-models
December 16, 2024 14:57 23s
WIP: no alt matches implies core Lean Action CI #19: Commit dc38e87 pushed by monsterkrampe
December 13, 2024 11:24 1m 21s feature/core-models
feature/core-models
December 13, 2024 11:24 1m 21s
WIP: Basic Termination Result for Trees Lean Action CI #18: Commit 14e65ed pushed by monsterkrampe
December 13, 2024 09:31 21s feature/basic-termination
feature/basic-termination
December 13, 2024 09:31 21s
Show homomorphism extension along chase Lean Action CI #17: Commit 6eeef66 pushed by monsterkrampe
December 13, 2024 08:27 1m 37s main
main
December 13, 2024 08:27 1m 37s
Show homomorphism extension along chase Lean Action CI #16: Commit 6eeef66 pushed by monsterkrampe
December 13, 2024 08:24 1m 33s feature/core-models
feature/core-models
December 13, 2024 08:24 1m 33s
WIP: Chase without alternative matches yields core Lean Action CI #15: Commit 9bd1b8f pushed by monsterkrampe
December 12, 2024 18:54 1m 33s feature/core-models
feature/core-models
December 12, 2024 18:54 1m 33s
WIP: Chase without alternative matches yields core Lean Action CI #14: Commit 2146209 pushed by monsterkrampe
December 11, 2024 15:33 23s feature/core-models
feature/core-models
December 11, 2024 15:33 23s
Transform deterministic branch into tree Lean Action CI #13: Commit a3bf591 pushed by monsterkrampe
December 10, 2024 15:24 1m 18s feature/core-models
feature/core-models
December 10, 2024 15:24 1m 18s
WIP: Show that determinsitic Chase Branch has Tree Lean Action CI #12: Commit 4c4ea97 pushed by monsterkrampe
December 10, 2024 11:07 1m 10s feature/core-models
feature/core-models
December 10, 2024 11:07 1m 10s
Lean Action CI Lean Action CI #11: by monsterkrampe
December 9, 2024 15:23 1m 3s feature/core-models
feature/core-models
December 9, 2024 15:23 1m 3s