Skip to content

Actions: chrjabs/rustsat

Actions

Lints

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-lints.yml
514 workflow runs
514 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

MaxSAT algorithm: SIS Lints #616: Pull request #296 opened by chrjabs
March 9, 2025 09:08 2m 33s sis
sis
March 9, 2025 09:08 2m 33s
Bimander encoding for Python API Lints #615: Pull request #295 opened by chrjabs
March 9, 2025 08:03 2m 17s pyapi-bimander
pyapi-bimander
March 9, 2025 08:03 2m 17s
chore(deps): update rust crate tempfile to 3.18.0 Lints #614: Pull request #293 opened by renovate bot
March 6, 2025 22:53 2m 24s renovate/tempfile-3.x
renovate/tempfile-3.x
March 6, 2025 22:53 2m 24s
Certified encodings for proof logging Lints #613: Pull request #248 synchronize by chrjabs
March 4, 2025 12:25 55s proof-logging
proof-logging
March 4, 2025 12:25 55s
chore(deps): update rust crate nom to v8 Lints #612: Pull request #249 synchronize by renovate bot
March 3, 2025 23:46 3m 23s renovate/nom-8.x
renovate/nom-8.x
March 3, 2025 23:46 3m 23s
fix(deps): update patch updates Lints #611: Pull request #291 opened by renovate bot
March 3, 2025 23:46 2m 27s renovate/patch-updates
renovate/patch-updates
March 3, 2025 23:46 2m 27s
chore: release Lints #610: Pull request #278 synchronize by rustsat-release-plz-bot bot
February 28, 2025 20:25 2m 26s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
February 28, 2025 20:25 2m 26s
chore(deps): update patch updates Lints #609: Pull request #290 opened by renovate bot
February 28, 2025 20:01 2m 22s renovate/patch-updates
renovate/patch-updates
February 28, 2025 20:01 2m 22s
chore(deps): update rust crate chrono to 0.4.40 Lints #608: Pull request #289 opened by renovate bot
February 26, 2025 23:14 3m 1s renovate/patch-updates
renovate/patch-updates
February 26, 2025 23:14 3m 1s
chore: release Lints #607: Pull request #278 synchronize by rustsat-release-plz-bot bot
February 25, 2025 23:52 1m 34s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
February 25, 2025 23:52 1m 34s
fix(deps): update patch updates to 0.23.5 Lints #606: Pull request #288 opened by renovate bot
February 25, 2025 23:27 2m 21s renovate/patch-updates
renovate/patch-updates
February 25, 2025 23:27 2m 21s
chore: release Lints #605: Pull request #278 synchronize by rustsat-release-plz-bot bot
February 25, 2025 10:51 1m 39s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
February 25, 2025 10:51 1m 39s
chore(deps): update rust crate flate2 to 1.1.0 Lints #604: Pull request #287 opened by renovate bot
February 24, 2025 19:28 4m 51s renovate/flate2-1.x
renovate/flate2-1.x
February 24, 2025 19:28 4m 51s
chore(deps): update rust crate clap to 4.5.31 Lints #603: Pull request #286 opened by renovate bot
February 24, 2025 19:27 2m 31s renovate/patch-updates
renovate/patch-updates
February 24, 2025 19:27 2m 31s
chore: release Lints #602: Pull request #278 synchronize by rustsat-release-plz-bot bot
February 24, 2025 11:13 2m 18s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
February 24, 2025 11:13 2m 18s
Compiler and clippy update Lints #601: Pull request #285 synchronize by chrjabs
February 24, 2025 10:49 2m 11s compiler-update
compiler-update
February 24, 2025 10:49 2m 11s
Compiler and clippy update Lints #600: Pull request #285 synchronize by chrjabs
February 24, 2025 10:12 1m 40s compiler-update
compiler-update
February 24, 2025 10:12 1m 40s
Compiler and clippy update Lints #599: Pull request #285 synchronize by chrjabs
February 24, 2025 10:01 1m 46s compiler-update
compiler-update
February 24, 2025 10:01 1m 46s
Compiler and clippy update Lints #598: Pull request #285 synchronize by chrjabs
February 24, 2025 09:23 1m 49s compiler-update
compiler-update
February 24, 2025 09:23 1m 49s
Compiler and clippy update Lints #597: Pull request #285 opened by chrjabs
February 24, 2025 09:13 2m 30s compiler-update
compiler-update
February 24, 2025 09:13 2m 30s
chore: release Lints #596: Pull request #278 synchronize by rustsat-release-plz-bot bot
February 21, 2025 19:57 48s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
February 21, 2025 19:57 48s
chore(deps): update ubuntu docker tag to v24 Lints #595: Pull request #284 opened by renovate bot
February 21, 2025 19:32 4m 9s renovate/ubuntu-24.x
renovate/ubuntu-24.x
February 21, 2025 19:32 4m 9s
chore(deps): update rust crate cc to 1.2.15 Lints #594: Pull request #283 opened by renovate bot
February 21, 2025 19:32 55s renovate/patch-updates
renovate/patch-updates
February 21, 2025 19:32 55s
chore: release Lints #593: Pull request #278 synchronize by rustsat-release-plz-bot bot
February 21, 2025 14:44 49s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
February 21, 2025 14:44 49s
Development shell improvements Lints #592: Pull request #282 synchronize by chrjabs
February 21, 2025 13:51 44s precommit-hooks
precommit-hooks
February 21, 2025 13:51 44s