Skip to content

Actions: chrjabs/rustsat

Actions

Publish Dry Run

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
233 workflow runs
233 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: release Publish Dry Run #233: Pull request #278 synchronize by rustsat-release-plz-bot bot
March 10, 2025 19:20 9s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
March 10, 2025 19:20 9s
chore(deps): update cachix/install-nix-action action to v31 Publish Dry Run #232: Pull request #303 opened by renovate bot
March 10, 2025 18:55 3m 40s renovate/cachix-install-nix-action-31.x
renovate/cachix-install-nix-action-31.x
March 10, 2025 18:55 3m 40s
CryptoMiniSat interface Publish Dry Run #231: Pull request #302 synchronize by chrjabs
March 10, 2025 14:42 4m 6s cryptominisat
cryptominisat
March 10, 2025 14:42 4m 6s
CryptoMiniSat interface Publish Dry Run #230: Pull request #302 opened by chrjabs
March 10, 2025 14:37 4m 9s cryptominisat
cryptominisat
March 10, 2025 14:37 4m 9s
chore: release Publish Dry Run #229: Pull request #278 synchronize by rustsat-release-plz-bot bot
March 10, 2025 13:18 10s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
March 10, 2025 13:18 10s
MaxSAT algorithm: SIS Publish Dry Run #228: Pull request #296 synchronize by chrjabs
March 10, 2025 12:19 4m 35s sis
sis
March 10, 2025 12:19 4m 35s
MaxSAT algorithm: SIS Publish Dry Run #227: Pull request #296 synchronize by chrjabs
March 10, 2025 11:55 3m 50s sis
sis
March 10, 2025 11:55 3m 50s
chore: release Publish Dry Run #226: Pull request #278 synchronize by rustsat-release-plz-bot bot
March 10, 2025 10:06 8s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
March 10, 2025 10:06 8s
chore: release Publish Dry Run #225: Pull request #278 synchronize by rustsat-release-plz-bot bot
March 10, 2025 09:28 8s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
March 10, 2025 09:28 8s
Update PyO3 to 0.24.0 Publish Dry Run #224: Pull request #301 opened by chrjabs
March 10, 2025 09:23 3m 45s pyo3-update
pyo3-update
March 10, 2025 09:23 3m 45s
Bimander encoding for Python API Publish Dry Run #223: Pull request #295 synchronize by chrjabs
March 10, 2025 08:51 3m 56s pyapi-bimander
pyapi-bimander
March 10, 2025 08:51 3m 56s
fix(deps): update rust crate pyo3 to 0.24.0 Publish Dry Run #222: Pull request #300 opened by renovate bot
March 10, 2025 03:10 3m 51s renovate/pyo3-0.x
renovate/pyo3-0.x
March 10, 2025 03:10 3m 51s
chore: release Publish Dry Run #221: Pull request #278 synchronize by rustsat-release-plz-bot bot
March 10, 2025 03:08 17s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
March 10, 2025 03:08 17s
chore(deps): update rust crate pyo3-build-config to 0.24.0 Publish Dry Run #220: Pull request #299 opened by renovate bot
March 10, 2025 02:44 2m 27s renovate/pyo3-build-config-0.x
renovate/pyo3-build-config-0.x
March 10, 2025 02:44 2m 27s
fix(deps): update rust crate syn to v2.0.100 Publish Dry Run #219: Pull request #298 opened by renovate bot
March 10, 2025 02:43 3m 54s renovate/patch-updates
renovate/patch-updates
March 10, 2025 02:43 3m 54s
chore: release Publish Dry Run #218: Pull request #278 synchronize by rustsat-release-plz-bot bot
March 9, 2025 21:52 7s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
March 9, 2025 21:52 7s
chore(deps): update rust crate serde to 1.0.219 Publish Dry Run #217: Pull request #297 opened by renovate bot
March 9, 2025 21:30 4m 18s renovate/patch-updates
renovate/patch-updates
March 9, 2025 21:30 4m 18s
MaxSAT algorithm: SIS Publish Dry Run #216: Pull request #296 opened by chrjabs
March 9, 2025 09:08 3m 51s sis
sis
March 9, 2025 09:08 3m 51s
Bimander encoding for Python API Publish Dry Run #215: Pull request #295 opened by chrjabs
March 9, 2025 08:03 4m 13s pyapi-bimander
pyapi-bimander
March 9, 2025 08:03 4m 13s
chore(deps): update rust crate tempfile to 3.18.0 Publish Dry Run #214: Pull request #293 opened by renovate bot
March 6, 2025 22:53 3m 40s renovate/tempfile-3.x
renovate/tempfile-3.x
March 6, 2025 22:53 3m 40s
Certified encodings for proof logging Publish Dry Run #213: Pull request #248 synchronize by chrjabs
March 4, 2025 12:25 1m 34s proof-logging
proof-logging
March 4, 2025 12:25 1m 34s
chore(deps): update rust crate nom to v8 Publish Dry Run #212: Pull request #249 synchronize by renovate bot
March 3, 2025 23:46 4m 7s renovate/nom-8.x
renovate/nom-8.x
March 3, 2025 23:46 4m 7s
fix(deps): update patch updates Publish Dry Run #211: Pull request #291 opened by renovate bot
March 3, 2025 23:46 4m 17s renovate/patch-updates
renovate/patch-updates
March 3, 2025 23:46 4m 17s
chore: release Publish Dry Run #210: Pull request #278 synchronize by rustsat-release-plz-bot bot
February 28, 2025 20:25 9s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
February 28, 2025 20:25 9s
chore(deps): update patch updates Publish Dry Run #209: Pull request #290 opened by renovate bot
February 28, 2025 20:01 3m 45s renovate/patch-updates
renovate/patch-updates
February 28, 2025 20:01 3m 45s