Commits

History for

Commits on Jul 7, 2026

Remove the redundant homebrew-pr release job

tautschnig
and
kiro-agent
committed
75279ba
Remove dead Slack notifications from the release workflows

tautschnig
and
kiro-agent
committed
747838b

Commits on Jun 29, 2026

build(deps): bump actions/cache from 5 to 6
dependabot[bot]
authored
56c195e

Commits on Jun 23, 2026

CI: skip the Chocolatey install when the tools are already present

tautschnig
and
kiro-agent
committed
b0f4437
CI: cache only the needed Chocolatey packages, not all of chocolatey/lib

tautschnig
and
kiro-agent
committed
767fe59
Modernise Dockerfile and cache the Docker build via ccache in CI

tautschnig
and
kiro-agent
committed
f01dd25

Commits on Jun 22, 2026

build(deps): bump actions/checkout from 6 to 7
dependabot[bot]
authored
fb11435

Commits on Jun 10, 2026

Avoid host C library headers in cbmc-cover built-ins/location tests

tautschnig
and
kiro-agent
committed
656b460

Commits on Jun 8, 2026

Bump codecov/codecov-action from 6 to 7
dependabot[bot]
authored
f121c27

Commits on May 25, 2026

Sequence KNOWNBUG/THOROUGH after cmake-gcc, share its ccache

tautschnig
and
kiro-agent
committed
6168492
Derive ccache save key from restore step's cache-primary-key output

tautschnig
and
kiro-agent
committed
f49329a
bsd.yaml: align NetBSD Save ccache step with FreeBSD/OpenBSD

tautschnig
and
kiro-agent
committed
da849fc
Fix restore-keys to be a multi-line string
tautschnig
committed
b6adff3
Replace deprecated save-always with cache/restore + cache/save

tautschnig
and
kiro-agent
committed
8fd6de0

Commits on May 24, 2026

CI: verify SHA-256 of solver binaries downloaded in workflows

tautschnig
and
kiro-agent
committed
a46825d
CI: extract cvc5 / Z3 install steps into reusable composite actions

tautschnig
and
kiro-agent
committed
a7c26ba
Upgrade cvc5 from 1.2.1 to 1.3.4

tautschnig
and
kiro-agent
committed
ffc784a

Commits on May 5, 2026

Clean solver-generated .json files, move known paths to CMake clean

authored and
tautschnig
committed
7bec581

Commits on Apr 13, 2026

Bump softprops/action-gh-release from 2 to 3
dependabot[bot]
authored
45200bc

Commits on Mar 30, 2026

Bump codecov/codecov-action from 5 to 6
dependabot[bot]
authored
4517962

Commits on Mar 27, 2026

Merge pull request #8859 from tautschnig/profiling-tool
tautschnig
authored
0170409

Commits on Mar 23, 2026

Bump microsoft/setup-msbuild from 2 to 3
dependabot[bot]
authored
6e556e7

Commits on Mar 21, 2026

Commits on Mar 13, 2026

Add CI profiling workflow

tautschnig
and
kiro-agent
committed
2456e29
Add CI performance analysis script and workflow

tautschnig
and
kiro-agent
committed
3fee1c4

Commits on Mar 10, 2026

Enable parallel regression test execution for Windows VS 2022

tautschnig
and
kiro-agent
committed
d9c842e
Fix Xen CI job by moving to GitHub mirror
tautschnig
committed
69d6271

Commits on Mar 9, 2026

Replace deprecated upload-release-asset with action-gh-release
tautschnig
committed
a1839d9

Commits on Mar 4, 2026

Cache Chocolatey packages with monthly rotation

tautschnig
and
kiro-agent
committed
4244b88
Fail CI immediately when Chocolatey dependency installation fails

tautschnig
and
kiro-agent
committed
3d28542

Commits on Mar 2, 2026

Bump actions/upload-artifact from 6 to 7
dependabot[bot]
authored
fff94b8

Commits on Feb 7, 2026

Remove `parallel` from OpenBSD CI job
tautschnig
committed
d694edb
Fix NetBSD CI job
tautschnig
committed
bd1a45e