Skip to content

Actions: runtimeverification/k

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
934 workflow runs
934 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
Enable CI, disable CD Lint Workflows #1: Pull request #4974 opened by yiyi-wang-rv
14s enable-ci-disable-cd
enable-ci-disable-cd
14s
Enable CI, disable CD Test PR #7991: Pull request #4974 opened by yiyi-wang-rv
In progress enable-ci-disable-cd
enable-ci-disable-cd
In progress
pyk: fix three KCFG/proof persistence bugs (with regression tests) Lint GitHub Actions workflows #1757: Pull request #4945 opened by docxology
Action required docxology:fix/pyk-persistence-bugs
docxology:fix/pyk-persistence-bugs
Action required
pyk: fix three KCFG/proof persistence bugs (with regression tests) Test PR #7990: Pull request #4945 opened by docxology
Action required docxology:fix/pyk-persistence-bugs
docxology:fix/pyk-persistence-bugs
Action required
Pin secret-bearing third-party actions and the kup flake input Lint GitHub Actions workflows #1756: Pull request #4944 opened by docxology
Action required docxology:fix/pin-secret-bearing-actions
docxology:fix/pin-secret-bearing-actions
Action required
Pin secret-bearing third-party actions and the kup flake input Test PR #7989: Pull request #4944 opened by docxology
Action required docxology:fix/pin-secret-bearing-actions
docxology:fix/pin-secret-bearing-actions
Action required
[WIP] kprove: apply the specification steps only to the spec's own modules Test PR #7988: Pull request #4943 edited by RaoulSchaffranek
2m 21s raoul/kprove-spec-steps
raoul/kprove-spec-steps
2m 21s
[WIP] kprove: apply the specification steps only to the spec's own modules Lint GitHub Actions workflows #1755: Pull request #4943 opened by RaoulSchaffranek
10s raoul/kprove-spec-steps
raoul/kprove-spec-steps
10s
[WIP] kprove: apply the specification steps only to the spec's own modules Test PR #577: Pull request #4943 opened by RaoulSchaffranek
8s raoul/kprove-spec-steps
raoul/kprove-spec-steps
8s
Update dependency: deps/llvm-backend_release Lint GitHub Actions workflows #1754: Pull request #4938 synchronize by gtrepta
12s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
12s
Update dependency: deps/llvm-backend_release Test PR #7987: Pull request #4938 synchronize by gtrepta
21m 28s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
21m 28s
flake.lock: update Update Nix Flake Inputs #2365: Commit 5b499c0 pushed by gtrepta
9s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
9s
Update dependency: deps/llvm-backend_release Test PR #7986: Pull request #4938 synchronize by deosa-arch
17s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
17s
Update dependency: deps/llvm-backend_release Lint GitHub Actions workflows #1752: Pull request #4938 synchronize by deosa-arch
8s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
8s
flake.lock: update Update Nix Flake Inputs #2364: Commit 35f30e7 pushed by deosa-arch
3m 1s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
3m 1s
Update dependency: deps/llvm-backend_release Lint GitHub Actions workflows #1751: Pull request #4938 opened by rv-jenkins
10s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
10s
Update dependency: deps/llvm-backend_release Test PR #7985: Pull request #4938 opened by rv-jenkins
3m 18s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
3m 18s
deps/llvm-backend_release: Set Version 0.1.141 Update Nix Flake Inputs #2363: Commit 06ea43e pushed by deosa-arch
3m 2s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
3m 2s
pyk: booster-only recover mode for the APR prover, isolating and recording Kore handoffs Test PR #7984: Pull request #4931 synchronize by ehildenb
43m 54s proxy-prover
proxy-prover
43m 54s
pyk: booster-only recover mode for the APR prover, isolating and recording Kore handoffs Lint GitHub Actions workflows #1750: Pull request #4931 synchronize by ehildenb
9s proxy-prover
proxy-prover
9s
pages build and deployment pages-build-deployment #932: by deosa-arch
1m 2s gh-pages
gh-pages
1m 2s
K Framework Release v7.1.337 Release #1711: Release v7.1.337 prereleased by deosa-arch
1h 1m 34s
1h 1m 34s
Graph Update: uv in /pyk #1421213552 Dependency Graph #19: by dependabot Bot
1m 5s master
master
1m 5s
Set Version: 7.1.337 Master Push #1288: Commit 4a46d12 pushed by deosa-arch
12s master
master
12s
Update dependency: deps/haskell-backend_release (#4935) Bump version and make master job #1301: Commit b1419c1 pushed by ehildenb
18s develop
develop
18s