Skip to content

Actions: chrjabs/rustsat

Actions

CaDiCaL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cadical.yml
18 workflow run results
18 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: release CaDiCaL #18: Pull request #57 opened by chrjabs
January 15, 2024 09:03 5m 14s release-plz-2024-01-15T09-03-39Z
release-plz-2024-01-15T09-03-39Z
January 15, 2024 09:03 5m 14s
docs: disable cbindgen on docs.rs CaDiCaL #17: Commit f15a400 pushed by chrjabs
January 15, 2024 09:02 4m 8s main
main
January 15, 2024 09:02 4m 8s
Cbindgen fix CaDiCaL #16: Pull request #56 opened by chrjabs
January 15, 2024 08:48 1m 20s cbindgen-fix
cbindgen-fix
January 15, 2024 08:48 1m 20s
Manual changelog update CaDiCaL #15: Commit e345985 pushed by chrjabs
January 11, 2024 14:23 1m 38s main
main
January 11, 2024 14:23 1m 38s
chore: release CaDiCaL #14: Pull request #54 synchronize by chrjabs
January 11, 2024 14:18 2m 25s release-plz-2024-01-11T13-17-21Z
release-plz-2024-01-11T13-17-21Z
January 11, 2024 14:18 2m 25s
chore: release CaDiCaL #13: Pull request #54 opened by chrjabs
January 11, 2024 13:17 1m 43s release-plz-2024-01-11T13-17-21Z
release-plz-2024-01-11T13-17-21Z
January 11, 2024 13:17 1m 43s
enable doc_auto_cfg on docs.rs CaDiCaL #12: Commit 75e1163 pushed by chrjabs
January 11, 2024 13:13 3m 10s main
main
January 11, 2024 13:13 3m 10s
disable c++ library build on docs.rs CaDiCaL #11: Pull request #53 synchronize by chrjabs
January 11, 2024 13:07 1m 55s docs-rs
docs-rs
January 11, 2024 13:07 1m 55s
disable c++ library build on docs.rs CaDiCaL #10: Pull request #53 opened by chrjabs
January 11, 2024 12:51 2m 5s docs-rs
docs-rs
January 11, 2024 12:51 2m 5s
fix dependency cycle CaDiCaL #9: Commit ba47a0d pushed by chrjabs
January 11, 2024 09:39 2m 52s main
main
January 11, 2024 09:39 2m 52s
Adjust changelogs CaDiCaL #8: Commit 207b2a1 pushed by chrjabs
January 11, 2024 09:33 2m 24s main
main
January 11, 2024 09:33 2m 24s
chore: release CaDiCaL #7: Pull request #48 synchronize by chrjabs
January 11, 2024 09:26 2m 3s release-plz-2024-01-08T10-07-53Z
release-plz-2024-01-08T10-07-53Z
January 11, 2024 09:26 2m 3s
chore: release CaDiCaL #6: Pull request #48 synchronize by chrjabs
January 11, 2024 09:14 2m 40s release-plz-2024-01-08T10-07-53Z
release-plz-2024-01-08T10-07-53Z
January 11, 2024 09:14 2m 40s
split CI runs CaDiCaL #5: Commit 4fce9b2 pushed by chrjabs
January 11, 2024 09:07 3m 19s main
main
January 11, 2024 09:07 3m 19s
Improved docs, tests and CI CaDiCaL #4: Pull request #52 synchronize by chrjabs
January 11, 2024 09:01 2m 1s docs
docs
January 11, 2024 09:01 2m 1s
Improved docs, tests and CI CaDiCaL #3: Pull request #52 synchronize by chrjabs
January 11, 2024 09:00 34s docs
docs
January 11, 2024 09:00 34s
Improved docs, tests and CI CaDiCaL #2: Pull request #52 synchronize by chrjabs
January 11, 2024 08:58 1s docs
docs
January 11, 2024 08:58 1s
Improved docs, tests and CI CaDiCaL #1: Pull request #52 opened by chrjabs
January 11, 2024 08:56 2s docs
docs
January 11, 2024 08:56 2s