Skip to content

Actions: sirandreww/cadical-sys

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build.define("NCLOSEFROM", None) always CI #32: Commit 3b05177 pushed by sirandreww
April 6, 2025 10:09 5m 21s main
main
April 6, 2025 10:09 5m 21s
version bump to 0.5.0 CI #30: Commit 0a9f04a pushed by sirandreww
February 13, 2025 12:53 5m 33s main
main
February 13, 2025 12:53 5m 33s
Updated CaDiCal version to 2.1.3 CI #29: Commit b5bccd8 pushed by sirandreww
February 13, 2025 12:47 5m 10s main
main
February 13, 2025 12:47 5m 10s
bumped version to 0.4.1 CI #28: Commit 37a835a pushed by sirandreww
February 13, 2025 12:36 5m 46s main
main
February 13, 2025 12:36 5m 46s
fix for macos CI #27: Commit 3f27cbf pushed by sirandreww
February 13, 2025 12:33 5m 15s main
main
February 13, 2025 12:33 5m 15s
macOS CI CI #26: Commit 15499a7 pushed by sirandreww
February 13, 2025 12:22 5m 38s main
main
February 13, 2025 12:22 5m 38s
cargo version bump to 0.4.0 CI #25: Commit d385519 pushed by sirandreww
January 28, 2025 10:06 5m 30s main
main
January 28, 2025 10:06 5m 30s
updated to latest cadical version (rel-2.1.2) CI #24: Commit 8cc12a8 pushed by sirandreww
January 28, 2025 09:55 5m 19s main
main
January 28, 2025 09:55 5m 19s
update CI #23: Commit 0f8f796 pushed by sirandreww
January 20, 2025 19:26 1m 24s main
main
January 20, 2025 19:26 1m 24s
More bindings CI #22: Commit cf08537 pushed by sirandreww
December 2, 2024 21:54 5m 21s main
main
December 2, 2024 21:54 5m 21s
fix CI #21: Commit 2304bfa pushed by sirandreww
December 2, 2024 19:18 5m 15s main
main
December 2, 2024 19:18 5m 15s
Category fixes CI #20: Commit fe35d66 pushed by sirandreww
December 2, 2024 18:48 3m 18s main
main
December 2, 2024 18:48 3m 18s
CI time increase CI #19: Commit 1a7f888 pushed by sirandreww
December 2, 2024 18:30 5m 25s main
main
December 2, 2024 18:30 5m 25s
More implementations CI #18: Commit 68529bf pushed by sirandreww
December 2, 2024 18:18 5m 25s main
main
December 2, 2024 18:18 5m 25s
Made CI more robust CI #17: Commit dc9d02a pushed by sirandreww
December 2, 2024 16:53 2m 18s main
main
December 2, 2024 16:53 2m 18s
followed more pedantic clippy warnings CI #16: Commit 3ad73e2 pushed by sirandreww
December 2, 2024 16:46 3m 31s main
main
December 2, 2024 16:46 3m 31s
version bump to 0.2.0 CI #15: Commit 5964bb6 pushed by sirandreww
December 2, 2024 15:40 3m 37s main
main
December 2, 2024 15:40 3m 37s
ci fix CI #14: Commit 5407155 pushed by sirandreww
December 2, 2024 15:35 3m 48s main
main
December 2, 2024 15:35 3m 48s
fix CI #13: Commit 4e8a017 pushed by sirandreww
December 2, 2024 15:27 2m 25s main
main
December 2, 2024 15:27 2m 25s
Fixes CI #12: Commit 92408e0 pushed by sirandreww
December 2, 2024 12:30 2m 30s main
main
December 2, 2024 12:30 2m 30s
more API definitions CI #11: Commit f143dbf pushed by sirandreww
December 2, 2024 09:25 1m 43s main
main
December 2, 2024 09:25 1m 43s
ffi bindings using CXX CI #10: Commit 5bf34e8 pushed by sirandreww
November 26, 2024 10:17 1m 58s main
main
November 26, 2024 10:17 1m 58s
CXX usage CI #9: Commit 0e2f5c9 pushed by sirandreww
November 18, 2024 19:27 1m 29s main
main
November 18, 2024 19:27 1m 29s
fix CI #8: Commit 09f5c3c pushed by sirandreww
October 30, 2024 23:16 1m 58s main
main
October 30, 2024 23:16 1m 58s
fix CI #7: Commit 5e2f446 pushed by sirandreww
October 30, 2024 23:13 1m 35s main
main
October 30, 2024 23:13 1m 35s