Skip to content

Actions: bernborgess/lean-cutting-planes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 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
Merge pull request #14 from bernborgess/ArticleLaTeX Deploy mdBook site to Pages #22: Commit cbc08d0 pushed by bernborgess
July 22, 2024 16:14 1m 58s main
main
July 22, 2024 16:14 1m 58s
Merge pull request #13 from bernborgess/Documentation Deploy mdBook site to Pages #21: Commit baf0608 pushed by bernborgess
June 24, 2024 16:55 1m 52s main
main
June 24, 2024 16:55 1m 52s
Merge pull request #10 from bernborgess/Documentation Deploy mdBook site to Pages #20: Commit 221729c pushed by bernborgess
June 20, 2024 17:56 1m 54s main
main
June 20, 2024 17:56 1m 54s
Merge pull request #9 from bernborgess/Documentation Deploy mdBook site to Pages #19: Commit 3a492d4 pushed by bernborgess
June 13, 2024 22:19 2m 15s main
main
June 13, 2024 22:19 2m 15s
Merge pull request #8 from bernborgess/Documentation Deploy mdBook site to Pages #18: Commit 0cfb3f9 pushed by bernborgess
June 13, 2024 19:53 2m 5s main
main
June 13, 2024 19:53 2m 5s
Remove cache setup CI #5: Commit 0a2ab87 pushed by bernborgess
June 5, 2024 20:36 2m 2s TestCases
TestCases
June 5, 2024 20:36 2m 2s
Changed cache path CI #4: Commit 032a62b pushed by bernborgess
June 5, 2024 20:35 1m 27s TestCases
TestCases
June 5, 2024 20:35 1m 27s