Skip to content

Actions: chrjabs/rustsat

Actions

BatSat

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
batsat.yml
322 workflow runs
322 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(deps): update dependency ubuntu to v24 BatSat #233: Pull request #215 opened by renovate bot
December 20, 2024 13:34 6m 22s renovate/ubuntu-24.x
renovate/ubuntu-24.x
December 20, 2024 13:34 6m 22s
chore(deps): update rust crate bzip2 to 0.5.0 BatSat #232: Pull request #214 opened by renovate bot
December 20, 2024 13:34 5m 36s renovate/bzip2-0.x
renovate/bzip2-0.x
December 20, 2024 13:34 5m 36s
chore(deps): update patch updates BatSat #231: Pull request #213 opened by renovate bot
December 20, 2024 13:31 5m 27s renovate/patch-updates
renovate/patch-updates
December 20, 2024 13:31 5m 27s
CaDiCaL Version 2.1.1 BatSat #230: Pull request #212 opened by chrjabs
December 20, 2024 13:28 4m 12s cadical-update
cadical-update
December 20, 2024 13:28 4m 12s
chore: release BatSat #229: Pull request #208 synchronize by rustsat-release-plz-bot bot
December 20, 2024 13:26 3m 25s release-plz-2024-12-18T09-54-12Z
release-plz-2024-12-18T09-54-12Z
December 20, 2024 13:26 3m 25s
doc(pyapi): omit "show source" button BatSat #228: Commit 9f3a0a8 pushed by chrjabs
December 20, 2024 13:22 3m 30s main
main
December 20, 2024 13:22 3m 30s
Extend Python API BatSat #227: Pull request #211 synchronize by chrjabs
December 20, 2024 13:14 2m 50s extend-pyapi
extend-pyapi
December 20, 2024 13:14 2m 50s
Extend Python API BatSat #226: Pull request #211 synchronize by chrjabs
December 20, 2024 13:08 3m 58s extend-pyapi
extend-pyapi
December 20, 2024 13:08 3m 58s
Extend Python API BatSat #225: Pull request #211 synchronize by chrjabs
December 20, 2024 10:59 3m 36s extend-pyapi
extend-pyapi
December 20, 2024 10:59 3m 36s
Extend Python API BatSat #224: Pull request #211 synchronize by chrjabs
December 20, 2024 10:48 3m 3s extend-pyapi
extend-pyapi
December 20, 2024 10:48 3m 3s
Extend Python API BatSat #223: Pull request #211 synchronize by chrjabs
December 20, 2024 09:03 3m 24s extend-pyapi
extend-pyapi
December 20, 2024 09:03 3m 24s
Extend Python API BatSat #222: Pull request #211 synchronize by chrjabs
December 20, 2024 08:41 2m 57s extend-pyapi
extend-pyapi
December 20, 2024 08:41 2m 57s
Extend Python API BatSat #221: Pull request #211 opened by chrjabs
December 20, 2024 08:37 2m 47s extend-pyapi
extend-pyapi
December 20, 2024 08:37 2m 47s
chore: release BatSat #220: Pull request #208 synchronize by rustsat-release-plz-bot bot
December 19, 2024 09:00 4m 1s release-plz-2024-12-18T09-54-12Z
release-plz-2024-12-18T09-54-12Z
December 19, 2024 09:00 4m 1s
chore: remove dependabot.yml BatSat #219: Commit 617f999 pushed by chrjabs
December 18, 2024 11:35 2m 55s main
main
December 18, 2024 11:35 2m 55s
chore: Configure Renovate BatSat #218: Pull request #209 synchronize by chrjabs
December 18, 2024 11:20 3m 22s renovate/configure
renovate/configure
December 18, 2024 11:20 3m 22s
chore: Configure Renovate BatSat #217: Pull request #209 synchronize by chrjabs
December 18, 2024 11:14 3m 58s renovate/configure
renovate/configure
December 18, 2024 11:14 3m 58s
chore: Configure Renovate BatSat #216: Pull request #209 synchronize by chrjabs
December 18, 2024 11:07 3m 39s renovate/configure
renovate/configure
December 18, 2024 11:07 3m 39s
chore: Configure Renovate BatSat #215: Pull request #209 synchronize by chrjabs
December 18, 2024 11:00 3m 44s renovate/configure
renovate/configure
December 18, 2024 11:00 3m 44s
chore: Configure Renovate BatSat #214: Pull request #209 synchronize by chrjabs
December 18, 2024 10:58 3m 34s renovate/configure
renovate/configure
December 18, 2024 10:58 3m 34s
chore: Configure Renovate BatSat #213: Pull request #209 synchronize by chrjabs
December 18, 2024 10:53 6m 8s renovate/configure
renovate/configure
December 18, 2024 10:53 6m 8s
chore: Configure Renovate BatSat #212: Pull request #209 synchronize by renovate bot
December 18, 2024 10:50 5m 53s renovate/configure
renovate/configure
December 18, 2024 10:50 5m 53s
chore: Configure Renovate BatSat #211: Pull request #209 synchronize by chrjabs
December 18, 2024 10:49 3m 2s renovate/configure
renovate/configure
December 18, 2024 10:49 3m 2s
chore: Configure Renovate BatSat #210: Pull request #209 opened by renovate bot
December 18, 2024 10:32 5m 31s renovate/configure
renovate/configure
December 18, 2024 10:32 5m 31s
chore: release BatSat #209: Pull request #208 opened by rustsat-release-plz-bot bot
December 18, 2024 09:54 2m 57s release-plz-2024-12-18T09-54-12Z
release-plz-2024-12-18T09-54-12Z
December 18, 2024 09:54 2m 57s