Skip to content

Actions: Lipen/kotlin-satlib

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use 1.9.5 branch of cadical fork CI #33: Commit 27a64a5 pushed by Lipen
March 2, 2024 15:29 7m 16s 0.26.0
0.26.0
March 2, 2024 15:29 7m 16s
Use 1.9.5 branch of cadical fork CI #32: Commit 27a64a5 pushed by Lipen
March 2, 2024 15:11 8m 2s master
master
March 2, 2024 15:11 8m 2s
Use 1.9.4 branch of cadical fork CI #31: Commit 5803c00 pushed by Lipen
March 2, 2024 14:57 9m 41s master
master
March 2, 2024 14:57 9m 41s
Run single ldconfig command CI #30: Commit d64943d pushed by Lipen
March 2, 2024 14:35 9m 6s master
master
March 2, 2024 14:35 9m 6s
Fix ldconfig command execution CI #29: Commit 9e76ef4 pushed by Lipen
March 2, 2024 11:08 9m 44s master
master
March 2, 2024 11:08 9m 44s
Fix workflow CI #28: Commit bacfc2b pushed by Lipen
March 2, 2024 11:01 8m 14s master
master
March 2, 2024 11:01 8m 14s
Fix Kissat tests CI #27: Commit 4788f36 pushed by Lipen
March 2, 2024 10:59 5m 48s master
master
March 2, 2024 10:59 5m 48s
Build Kissat on CI CI #26: Commit 7365520 pushed by Lipen
March 2, 2024 10:25 9m 44s master
master
March 2, 2024 10:25 9m 44s
Bump Gradle to 8.6 CI #25: Commit a49c375 pushed by Lipen
March 1, 2024 21:37 7m 20s 0.25.0
0.25.0
March 1, 2024 21:37 7m 20s
Bump Gradle to 8.6 CI #24: Commit a49c375 pushed by Lipen
March 1, 2024 21:26 10m 3s master
master
March 1, 2024 21:26 10m 3s
Add more methods for Minisat/Glucose, fix tests CI #23: Commit 7583ba4 pushed by Lipen
March 1, 2024 21:11 6m 33s master
master
March 1, 2024 21:11 6m 33s
Fix lib prefix CI #22: Commit 1e2669a pushed by Lipen
March 1, 2024 18:25 4m 49s master
master
March 1, 2024 18:25 4m 49s
Fix libdir on Debian CI #21: Commit 5edc0c2 pushed by Lipen
March 1, 2024 18:12 5m 53s master
master
March 1, 2024 18:12 5m 53s
Use Lipen/glucose fork with Meson CI #20: Commit 27cdd95 pushed by Lipen
March 1, 2024 17:57 4m 51s master
master
March 1, 2024 17:57 4m 51s
Remove Python setup from windows build job CI #19: Commit 0ab0f0b pushed by Lipen
March 1, 2024 17:18 3m 40s master
master
March 1, 2024 17:18 3m 40s
Remove minisat fixup CI #18: Commit 1085015 pushed by Lipen
March 1, 2024 16:39 3m 6s master
master
March 1, 2024 16:39 3m 6s
Fix path CI #17: Commit 56bacbb pushed by Lipen
March 1, 2024 16:15 7m 32s master
master
March 1, 2024 16:15 7m 32s
CI CI #16: by Lipen
March 1, 2024 15:38 15m 21s master
master
March 1, 2024 15:38 15m 21s
CI CI #15: by Lipen
March 1, 2024 14:38 20m 9s master
master
March 1, 2024 14:38 20m 9s
Remove -v CI #14: Commit 38fde58 pushed by Lipen
March 1, 2024 12:55 5m 11s master
master
March 1, 2024 12:55 5m 11s
Install Meson on CI CI #13: Commit 19a563a pushed by Lipen
March 1, 2024 12:28 3m 16s master
master
March 1, 2024 12:28 3m 16s
Use Lipen/minisat fork CI #12: Commit 4a0109e pushed by Lipen
March 1, 2024 12:24 2m 1s master
master
March 1, 2024 12:24 2m 1s
Update kotlin-logging to v5 CI #11: Commit 4dfc861 pushed by Lipen
March 1, 2024 12:05 4m 22s master
master
March 1, 2024 12:05 4m 22s
Fix comment CI #10: Commit b81d54b pushed by Lipen
October 28, 2023 15:44 7m 47s master
master
October 28, 2023 15:44 7m 47s
Use const CI #9: Commit be3d094 pushed by Lipen
October 27, 2023 21:25 9m 56s master
master
October 27, 2023 21:25 9m 56s