Skip to content

Actions: runtimeverification/k

Actions

Bump version and make master job

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
develop.yml
142 workflow runs
142 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependency: deps/haskell-backend_release (#4893) Bump version and make master job #1272: Commit aaadc33 pushed by jberthold
16s develop
develop
16s
Update dependency: deps/pyproject-build-systems (#4889) Bump version and make master job #1271: Commit f19d265 pushed by automergerpr-permission-manager bot
21s develop
develop
21s
Update dependency: deps/uv2nix (#4888) Bump version and make master job #1270: Commit 13278dc pushed by automergerpr-permission-manager bot
20s develop
develop
20s
Update dependency: deps/haskell-backend_release (#4849) Bump version and make master job #1269: Commit 88da1db pushed by jberthold
19s develop
develop
19s
Update dependency: deps/uv2nix (#4880) Bump version and make master job #1268: Commit 7565620 pushed by automergerpr-permission-manager bot
23s develop
develop
23s
Update dependency: deps/pyproject-build-systems (#4881) Bump version and make master job #1267: Commit be25f36 pushed by automergerpr-permission-manager bot
17s develop
develop
17s
Streaming support for JsonRpcServer (#4879) Bump version and make master job #1266: Commit 2d83de4 pushed by automergerpr-permission-manager bot
18s develop
develop
18s
Generalize KAST-to-KORE conversion for KSequence (#4874) Bump version and make master job #1265: Commit 660b841 pushed by automergerpr-permission-manager bot
24s develop
develop
24s
Add --simplify-each option for booster (#4873) Bump version and make master job #1264: Commit a38132c pushed by automergerpr-permission-manager bot
17s develop
develop
17s
Update dependency: deps/llvm-backend_release (#4871) Bump version and make master job #1263: Commit 9491a36 pushed by jberthold
19s develop
develop
19s
Update dependency: deps/uv2nix (#4870) Bump version and make master job #1262: Commit 0f2e16b pushed by automergerpr-permission-manager bot
17s develop
develop
17s
Add Python 3.14 to pyk code quality CI job (#4867) Bump version and make master job #1261: Commit d9c9fd3 pushed by automergerpr-permission-manager bot
17s develop
develop
17s
Resolve Spotless + Java 17 (#4869) Bump version and make master job #1260: Commit fc09a5c pushed by F-WRunTime
17s develop
develop
17s
Add comprehensive macOS testing to PR workflow (#4857) Bump version and make master job #1259: Commit ec6b3c2 pushed by F-WRunTime
19s develop
develop
19s
Moving builds up in MacOS Versions to Latest (#4863) Bump version and make master job #1258: Commit 9dbdda3 pushed by automergerpr-permission-manager bot
19s develop
develop
19s
Update dependency: deps/pyproject-build-systems (#4866) Bump version and make master job #1257: Commit e948251 pushed by automergerpr-permission-manager bot
18s develop
develop
18s
Update dependency: deps/uv2nix (#4865) Bump version and make master job #1256: Commit 36f1af6 pushed by automergerpr-permission-manager bot
1m 21s develop
develop
1m 21s
Introduce pyproject-nix overlay in nix flake (#4862) Bump version and make master job #1255: Commit 46ae51f pushed by automergerpr-permission-manager bot
17s develop
develop
17s
Remove iohk hydra cache (#4861) Bump version and make master job #1254: Commit e5d9e82 pushed by automergerpr-permission-manager bot
17s develop
develop
17s
Skip loading circularity module for non-circularity proofs (#4860) Bump version and make master job #1253: Commit 0f400ee pushed by automergerpr-permission-manager bot
20s develop
develop
20s
Update LLVM version from 15/16 to 17 across K Framework (#4854) Bump version and make master job #1252: Commit d5b9cbf pushed by automergerpr-permission-manager bot
20s develop
develop
20s
Update dependency: deps/llvm-backend_release (#4858) Bump version and make master job #1251: Commit fc463e4 pushed by F-WRunTime
19s develop
develop
19s
Skip macOS testing in release: Make macOS testing non-blocking (#4856) Bump version and make master job #1250: Commit a693040 pushed by F-WRunTime
20s develop
develop
20s
Allow publishing releases without macos-tests (#4853) Bump version and make master job #1249: Commit 548637b pushed by automergerpr-permission-manager bot
19s develop
develop
19s
Uninstall pre-installed cmake prior to building with brew in CI (#4851) Bump version and make master job #1248: Commit 5e6300b pushed by juliankuners
16s develop
develop
16s