Skip to content

Actions: ateleris/cadical

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

try other github runner with glibc 2.31
Build cadical binaries #8: Commit 4fe1005 pushed by OrellBuehler
September 19, 2023 11:02 1m 44s master
September 19, 2023 11:02 1m 44s
change glibc version to 2.33
Build cadical binaries #7: Commit ef3385b pushed by OrellBuehler
September 19, 2023 09:46 1m 35s master
September 19, 2023 09:46 1m 35s
try to fix issues with glibc version mismatch
Build cadical binaries #6: Commit f81f650 pushed by OrellBuehler
September 19, 2023 09:37 1m 36s master
September 19, 2023 09:37 1m 36s
fix invalid step argument
Build cadical binaries #5: Commit f8f3ccd pushed by OrellBuehler
September 18, 2023 08:41 1m 41s master
September 18, 2023 08:41 1m 41s
update build pipeline
Build cadical binaries #4: Commit 5afba92 pushed by OrellBuehler
September 18, 2023 08:40 1s master
September 18, 2023 08:40 1s
add -fPIC argument to build
Build cadical binaries #3: Commit 76b5d2e pushed by OrellBuehler
September 18, 2023 08:35 1m 31s master
September 18, 2023 08:35 1m 31s
fix branch names for push action condition
Build cadical binaries #2: Commit 981b516 pushed by OrellBuehler
September 18, 2023 08:26 2m 15s master
September 18, 2023 08:26 2m 15s
Build cadical binaries
Build cadical binaries #1: Manually run by OrellBuehler
September 18, 2023 08:20 2m 3s master
September 18, 2023 08:20 2m 3s