Skip to content

Actions: Halbaroth/alt-ergo

Actions

Build statically linked binaries

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_static.yml
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'OCamlPro:next' into next Build statically linked binaries #8: Commit f2fdac8 pushed by Halbaroth
July 30, 2024 10:03 4m 56s next
next
July 30, 2024 10:03 4m 56s
Build statically linked binaries Build statically linked binaries #7: Manually run by Halbaroth
July 29, 2024 15:20 8m 27s fix-static-build-macos-v2.5.x
fix-static-build-macos-v2.5.x
July 29, 2024 15:20 8m 27s
Build statically linked binaries Build statically linked binaries #6: Manually run by Halbaroth
July 29, 2024 13:06 7m 33s do-not-run-gen-link-flags-on-windows
do-not-run-gen-link-flags-on-windows
July 29, 2024 13:06 7m 33s
Build statically linked binaries Build statically linked binaries #5: Manually run by Halbaroth
July 29, 2024 12:46 8m 28s rewrite-gen-link-flags
rewrite-gen-link-flags
July 29, 2024 12:46 8m 28s
Remove Enum_rel Build statically linked binaries #4: Commit 862c15e pushed by Halbaroth
June 16, 2024 08:49 4m 49s next
next
June 16, 2024 08:49 4m 49s
Named lemmas in SMT-LIB format (#1141) Build statically linked binaries #3: Commit 63393ce pushed by Halbaroth
June 7, 2024 11:26 4m 56s next
next
June 7, 2024 11:26 4m 56s
fix(CLI): Remove --optimize option in favor of --strict (#1133) Build statically linked binaries #2: Commit 1a64e0f pushed by Halbaroth
June 5, 2024 08:50 5m 5s next
next
June 5, 2024 08:50 5m 5s
feat(CDCL-Tableaux): Do not make irrelevant decisions (#1041) Build statically linked binaries #1: Commit 59d9b7e pushed by Halbaroth
April 15, 2024 21:53 5m 19s next
next
April 15, 2024 21:53 5m 19s