Skip to content

Actions: bernborgess/lean-cutting-planes

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[alethe] Define pbblast_pbbconst Lean Action CI #18: Commit d9468e5 pushed by bernborgess
December 20, 2024 23:12 1m 36s pb-blasting
pb-blasting
December 20, 2024 23:12 1m 36s
[alethe] Define pbblast_pbbvar and half of pbblast_pbbconst Lean Action CI #17: Commit 74f0a06 pushed by bernborgess
December 20, 2024 22:52 2m 11s pb-blasting
pb-blasting
December 20, 2024 22:52 2m 11s
[alethe] Define pbblast_bvult Lean Action CI #16: Commit f6049bd pushed by bernborgess
December 20, 2024 15:10 1m 43s pb-blasting
pb-blasting
December 20, 2024 15:10 1m 43s
[alethe] Define pbblast_bveq Lean Action CI #15: Commit 03c4399 pushed by bernborgess
December 20, 2024 14:45 1m 37s pb-blasting
pb-blasting
December 20, 2024 14:45 1m 37s
Merge pull request #18 from bernborgess/main Lean Action CI #14: Commit 299e584 pushed by bernborgess
December 20, 2024 13:01 7m 0s OPB-Parser
OPB-Parser
December 20, 2024 13:01 7m 0s
Version control the latex settings Lean Action CI #13: Commit cbf51bd pushed by bernborgess
December 20, 2024 13:01 2m 13s pb-blasting
pb-blasting
December 20, 2024 13:01 2m 13s
Update OPB-parser branch from main Lean Action CI #12: Pull request #18 opened by bernborgess
December 20, 2024 12:24 6m 57s main
main
December 20, 2024 12:24 6m 57s
Merge pull request #17 from bernborgess/alethe_pb_blast Lean Action CI #11: Commit d2aa67a pushed by bernborgess
December 20, 2024 12:23 1m 42s pb-blasting
pb-blasting
December 20, 2024 12:23 1m 42s
Alethe pb blast Lean Action CI #10: Pull request #17 opened by bernborgess
December 20, 2024 12:22 1m 47s alethe_pb_blast
alethe_pb_blast
December 20, 2024 12:22 1m 47s
Expanding on PB Bitblast proof tree Lean Action CI #9: Commit 13b5d33 pushed by bernborgess
December 19, 2024 20:45 1m 44s pb-blasting
pb-blasting
December 19, 2024 20:45 1m 44s
Worked example on bit blasting Lean Action CI #8: Commit cabb995 pushed by bernborgess
December 19, 2024 18:07 2m 4s pb-blasting
pb-blasting
December 19, 2024 18:07 2m 4s
Define bbT looking for proof of bbVar Lean Action CI #7: Commit c9fdf5e pushed by bernborgess
December 19, 2024 17:41 1m 43s pb-blasting
pb-blasting
December 19, 2024 17:41 1m 43s
fix Atoms and Fail to v4.15.0 Lean Action CI #6: Commit cfeb518 pushed by bernborgess
December 19, 2024 14:24 1m 41s pb-blasting
pb-blasting
December 19, 2024 14:24 1m 41s
Merge branch 'main' into alethe_pb_blast Lean Action CI #5: Commit 28cdd60 pushed by bernborgess
December 19, 2024 14:16 1m 43s alethe_pb_blast
alethe_pb_blast
December 19, 2024 14:16 1m 43s
Merge branch 'main' into pb-blasting Lean Action CI #4: Commit 71e8051 pushed by bernborgess
December 19, 2024 14:15 2m 18s pb-blasting
pb-blasting
December 19, 2024 14:15 2m 18s
lint: remove dones Lean Action CI #3: Commit 4ef4d98 pushed by bernborgess
December 19, 2024 14:14 2m 6s main
main
December 19, 2024 14:14 2m 6s
💥 Updating lean to v4.15.0 Lean Action CI #2: Commit ff4b0f7 pushed by bernborgess
December 19, 2024 14:07 7m 16s main
main
December 19, 2024 14:07 7m 16s
Create lean_action_ci.yml Lean Action CI #1: Commit 4a08adc pushed by bernborgess
December 19, 2024 14:04 4m 58s main
main
December 19, 2024 14:04 4m 58s