Skip to content

Actions: leanprover/lp

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
344 workflow runs
344 workflow runs

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
doc: build from MSYS2 MINGW64 shell on Windows, not Git Bash (#180) CI #344: Commit 01bd541 pushed by kim-em
14m 33s main
main
14m 33s
doc: build from MSYS2 MINGW64 shell on Windows, not Git Bash CI #343: Pull request #180 opened by kim-em
14m 54s doc-windows-mingw64-shell
doc-windows-mingw64-shell
14m 54s
chore: bump LPTactic + FFI backend pins; update LPReject for atomized… CI #342: Commit 40265a4 pushed by kim-em
15m 24s main
main
15m 24s
chore: bump LPTactic + FFI backend pins; fix LPReject for atomized truncation CI #341: Pull request #179 opened by kim-em
16m 11s bump-pins-fix-reject
bump-pins-fix-reject
16m 11s
chore: bump LPTactic and LPBackendSoplexFFI to current main (#178) CI #340: Commit ad48dfe pushed by kim-em
8m 30s main
main
8m 30s
chore: bump LPTactic and LPBackendSoplexFFI to current main CI #339: Pull request #178 opened by kim-em
15m 30s bump-pins
bump-pins
15m 30s
chore: bump LPTactic and LPBackendSoplexFFI to current main (#177) CI #338: Commit f584572 pushed by kim-em
16m 25s main
main
16m 25s
chore: bump LPTactic and LPBackendSoplexFFI to current main CI #337: Pull request #177 opened by kim-em
23m 33s bump-pins
bump-pins
23m 33s
doc: the tactic grew past the README's strictness caveats (#176) CI #336: Commit 90f1e65 pushed by kim-em
16m 2s main
main
16m 2s
doc: the tactic grew past the README's strictness caveats CI #335: Pull request #176 opened by kim-em
16m 44s doc-strictness
doc-strictness
16m 44s
chore: bump LPTactic and LPBackendSoplexFFI; cover strict atoms under… CI #334: Commit 3a7d0d5 pushed by kim-em
17m 50s main
main
17m 50s
doc: soplex-json backend now ships a working wrapper (#174) CI #333: Commit 9c7b748 pushed by kim-em
10m 15s main
main
10m 15s
chore: bump LPTactic and LPBackendSoplexFFI; cover strict atoms under quantifiers CI #332: Pull request #175 synchronize by kim-em
15m 59s chore/bump-lptactic-strict
chore/bump-lptactic-strict
15m 59s
chore: bump LPTactic and LPBackendSoplexFFI; cover strict atoms under quantifiers CI #331: Pull request #175 opened by kim-em
1m 45s chore/bump-lptactic-strict
chore/bump-lptactic-strict
1m 45s
doc: soplex-json backend now ships a working wrapper CI #330: Pull request #174 opened by kim-em
16m 8s doc-soplex-json-ships-wrapper
doc-soplex-json-ships-wrapper
16m 8s
chore: bump lp-family pins to current main (#173) CI #329: Commit ea9a0d5 pushed by kim-em
16m 25s main
main
16m 25s
chore: bump lp-family pins to current main CI #328: Pull request #173 opened by kim-em
14m 0s bump-pins
bump-pins
14m 0s
chore: bump soplex-ffi family pins; test nonzero objOffset solves (#169) CI #327: Commit 9ef7def pushed by kim-em
15m 18s main
main
15m 18s
chore: bump soplex-ffi family pins; test nonzero objOffset solves CI #326: Pull request #169 synchronize by kim-em
14m 22s objoffset-pin-sweep
objoffset-pin-sweep
14m 22s
chore: bump soplex-ffi pin to main HEAD post-#170 fix CI #325: Pull request #172 synchronize by kim-em
15m 18s chore/post-issue-170-pin-sweep
chore/post-issue-170-pin-sweep
15m 18s
chore: bump soplex-ffi pin to main HEAD post-#170 fix CI #324: Pull request #172 synchronize by kim-em
6m 43s chore/post-issue-170-pin-sweep
chore/post-issue-170-pin-sweep
6m 43s
chore: bump soplex-ffi pin to main HEAD post-#170 fix CI #323: Pull request #172 opened by kim-em
7m 5s chore/post-issue-170-pin-sweep
chore/post-issue-170-pin-sweep
7m 5s
chore: bump soplex-ffi family pins; test nonzero objOffset solves CI #322: Pull request #169 synchronize by kim-em
16m 15s objoffset-pin-sweep
objoffset-pin-sweep
16m 15s
chore: bump soplex-ffi family pins; test nonzero objOffset solves CI #321: Pull request #169 synchronize by kim-em
6m 16s objoffset-pin-sweep
objoffset-pin-sweep
6m 16s
chore: bump soplex-ffi family pins; test nonzero objOffset solves CI #320: Pull request #169 synchronize by kim-em
11m 7s objoffset-pin-sweep
objoffset-pin-sweep
11m 7s