Skip to content

Actions: chrjabs/rustsat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix(deps): update rust crate similar to 3.2.0 (#742) Release-plz #595: Commit 12df94d pushed by chrjabs
2m 3s main
main
2m 3s
fix(cadical/kissat): fclose build header before compile (#743) GitHub Pages #527: Commit 358ba3d pushed by chrjabs
10h 56m 52s main
main
10h 56m 52s
fix(cadical/kissat): fclose build header before compile CI #1750: Pull request #743 synchronize by chrjabs
1h 4m 12s orlp:build-header-race
orlp:build-header-race
1h 4m 12s
fix(cadical/kissat): fclose build header before compile Pull Request Labeler #1069: Pull request #743 synchronize by chrjabs
22m 50s
22m 50s
chore: release CI #1749: Pull request #583 synchronize by rustsat-release-plz-bot Bot
29m 48s release-plz-2026-01-30T09-45-43Z
release-plz-2026-01-30T09-45-43Z
29m 48s
chore: release Pull Request Labeler #1068: Pull request #583 synchronize by rustsat-release-plz-bot Bot
1m 23s
1m 23s
chore: release CI #1748: Pull request #583 synchronize by rustsat-release-plz-bot Bot
34s release-plz-2026-01-30T09-45-43Z
release-plz-2026-01-30T09-45-43Z
34s
chore: release Pull Request Labeler #1067: Pull request #583 synchronize by rustsat-release-plz-bot Bot
1m 17s
1m 17s
fix(cadical/kissat): Properly escape #define in build.h (#744) GitHub Pages #526: Commit 39efc60 pushed by chrjabs
2m 48s main
main
2m 48s
fix(cadical/kissat): Properly escape #define in build.h (#744) Release-plz #594: Commit 39efc60 pushed by chrjabs
2m 45s main
main
2m 45s
fix(cadical/kissat): Properly escape #define in build.h (#744) CI #1747: Commit 39efc60 pushed by chrjabs
33m 31s main
main
33m 31s
fix(cadical/kissat): Properly escape #define in build.h CI #1746: Pull request #744 opened by orlp
34m 21s orlp:escape-c-lits
orlp:escape-c-lits
34m 21s
fix(cadical/kissat): Properly escape #define in build.h Pull Request Labeler #1066: Pull request #744 opened by orlp
13s
13s
fix(cadical/kissat): fclose build header before compile Pull Request Labeler #1065: Pull request #743 opened by orlp
12s
12s
chore(deps): update taiki-e/install-action digest to 14ff41b CI #1744: Pull request #728 synchronize by renovate Bot
3m 1s renovate/taiki-e-install-action-digest
renovate/taiki-e-install-action-digest
3m 1s
chore(deps): update taiki-e/install-action digest to 14ff41b Pull Request Labeler #1064: Pull request #728 synchronize by renovate Bot
12s
12s
chore: release CI #1743: Pull request #583 synchronize by rustsat-release-plz-bot Bot
12m 7s release-plz-2026-01-30T09-45-43Z
release-plz-2026-01-30T09-45-43Z
12m 7s
chore: release Pull Request Labeler #1063: Pull request #583 synchronize by rustsat-release-plz-bot Bot
6m 23s
6m 23s
chore: release CI #1742: Pull request #583 synchronize by rustsat-release-plz-bot Bot
35s release-plz-2026-01-30T09-45-43Z
release-plz-2026-01-30T09-45-43Z
35s
chore: release Pull Request Labeler #1062: Pull request #583 synchronize by rustsat-release-plz-bot Bot
5m 53s
5m 53s
chore(deps): update rust crate cc to 1.4.4 (#741) GitHub Pages #525: Commit 0f7f42c pushed by renovate Bot
1m 25s main
main
1m 25s
chore(deps): update rust crate cc to 1.4.4 (#741) CI #1741: Commit 0f7f42c pushed by renovate Bot
13m 55s main
main
13m 55s
chore(deps): update rust crate cc to 1.4.4 (#741) Release-plz #593: Commit 0f7f42c pushed by renovate Bot
3m 26s main
main
3m 26s
fix(deps): update rust crate similar to 3.2.0 CI #1740: Pull request #742 opened by renovate Bot
1h 6m 58s renovate/similar-3.x
renovate/similar-3.x
1h 6m 58s
fix(deps): update rust crate similar to 3.2.0 Pull Request Labeler #1061: Pull request #742 opened by renovate Bot
5m 33s
5m 33s