Skip to content

Actions: chrjabs/rustsat

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
392 workflow run results
392 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: cadical v1.9.0 - v1.9.2
Check & Test #59: Commit b4466b7 pushed by chrjabs
December 18, 2023 09:08 3m 46s main
December 18, 2023 09:08 3m 46s
feat: cadical v1.9.0 - v1.9.2
Continuous Deployment #13: Commit b4466b7 pushed by chrjabs
December 18, 2023 09:08 1m 48s main
December 18, 2023 09:08 1m 48s
feat: cadical v1.9.0 - v1.9.2
Python Build #28: Commit b4466b7 pushed by chrjabs
December 18, 2023 09:08 2m 2s main
December 18, 2023 09:08 2m 2s
Include cadical v1.9.0 - v1.9.2
Lints #36: Pull request #43 opened by chrjabs
December 18, 2023 08:58 1m 48s cadical-versions
December 18, 2023 08:58 1m 48s
Include cadical v1.9.0 - v1.9.2
Check & Test #58: Pull request #43 opened by chrjabs
December 18, 2023 08:58 3m 30s cadical-versions
December 18, 2023 08:58 3m 30s
Include cadical v1.9.0 - v1.9.2
Python Build #27: Pull request #43 opened by chrjabs
December 18, 2023 08:58 3m 45s cadical-versions
December 18, 2023 08:58 3m 45s
chore: release
Check & Test #57: Pull request #41 synchronize by chrjabs
December 18, 2023 08:41 3m 7s release-plz-2023-12-18T08-17-26Z
December 18, 2023 08:41 3m 7s
chore: release
Lints #35: Pull request #41 synchronize by chrjabs
December 18, 2023 08:41 1m 26s release-plz-2023-12-18T08-17-26Z
December 18, 2023 08:41 1m 26s
chore: release
Python Build #26: Pull request #41 synchronize by chrjabs
December 18, 2023 08:41 3m 47s release-plz-2023-12-18T08-17-26Z
December 18, 2023 08:41 3m 47s
fix: set vm correctly in SatInstance::from(Cnf)
Check & Test #56: Commit 4fe599c pushed by chrjabs
December 18, 2023 08:39 3m 27s main
December 18, 2023 08:39 3m 27s
fix: set vm correctly in SatInstance::from(Cnf)
Python Build #25: Commit 4fe599c pushed by chrjabs
December 18, 2023 08:39 4m 3s main
December 18, 2023 08:39 4m 3s
fix: set vm correctly in SatInstance::from(Cnf)
Continuous Deployment #12: Commit 4fe599c pushed by chrjabs
December 18, 2023 08:39 1m 33s main
December 18, 2023 08:39 1m 33s
Develop
Lints #34: Pull request #42 opened by chrjabs
December 18, 2023 08:29 1m 40s develop
December 18, 2023 08:29 1m 40s
Develop
Python Build #24: Pull request #42 opened by chrjabs
December 18, 2023 08:29 2m 59s develop
December 18, 2023 08:29 2m 59s
Develop
Check & Test #55: Pull request #42 opened by chrjabs
December 18, 2023 08:29 3m 23s develop
December 18, 2023 08:29 3m 23s
chore: release
Check & Test #54: Pull request #41 opened by chrjabs
December 18, 2023 08:17 3m 0s release-plz-2023-12-18T08-17-26Z
December 18, 2023 08:17 3m 0s
chore: release
Lints #33: Pull request #41 opened by chrjabs
December 18, 2023 08:17 2m 2s release-plz-2023-12-18T08-17-26Z
December 18, 2023 08:17 2m 2s
chore: release
Python Build #23: Pull request #41 opened by chrjabs
December 18, 2023 08:17 3m 42s release-plz-2023-12-18T08-17-26Z
December 18, 2023 08:17 3m 42s
chore: release
Python Build #22: Pull request #30 synchronize by chrjabs
December 18, 2023 08:17 4m 22s release-plz-2023-11-03T08-14-49Z
December 18, 2023 08:17 4m 22s
chore: release
Lints #32: Pull request #30 synchronize by chrjabs
December 18, 2023 08:17 1m 54s release-plz-2023-11-03T08-14-49Z
December 18, 2023 08:17 1m 54s
chore: release
Check & Test #53: Pull request #30 synchronize by chrjabs
December 18, 2023 08:17 3m 30s release-plz-2023-11-03T08-14-49Z
December 18, 2023 08:17 3m 30s
Bump install-pinned/mypy
Continuous Deployment #11: Commit 1aa886d pushed by chrjabs
December 18, 2023 08:16 1m 29s main
December 18, 2023 08:16 1m 29s
Bump install-pinned/mypy
Check & Test #52: Commit 1aa886d pushed by chrjabs
December 18, 2023 08:16 2m 57s main
December 18, 2023 08:16 2m 57s
Bump install-pinned/mypy
Python Build #21: Commit 1aa886d pushed by chrjabs
December 18, 2023 08:16 3m 55s main
December 18, 2023 08:16 3m 55s
Bump install-pinned/maturin
Continuous Deployment #10: Commit 2b987e5 pushed by chrjabs
December 18, 2023 08:15 1m 25s main
December 18, 2023 08:15 1m 25s
ProTip! You can narrow down the results and go further in time using created:<2023-12-18 or the other filters available.