Skip to content

Actions: runtimeverification/komet

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
310 workflow runs
310 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
Implement missing host calls Test #719: Pull request #127 synchronize by RaoulSchaffranek
5m 36s feat/missing-host-calls
feat/missing-host-calls
5m 36s
Implement missing host calls Test #718: Pull request #127 opened by RaoulSchaffranek
6m 30s feat/missing-host-calls
feat/missing-host-calls
6m 30s
Update dependency: deps/kwasm_release Test #717: Pull request #118 synchronize by bbyalcinkaya
13m 3s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
13m 3s
fix src/komet/proof.py:86: error: Too many values to unpack (2 expect… Update Version #294: Commit 6cf18b1 pushed by bbyalcinkaya
14s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
14s
Update dependency: deps/kwasm_release Test #716: Pull request #118 synchronize by bbyalcinkaya
1m 27s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
1m 27s
flake.{nix,lock}: update Nix derivations Update Version #293: Commit d77ff39 pushed by bbyalcinkaya
8s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
8s
Update dependency: deps/kwasm_release Test #715: Pull request #118 synchronize by bbyalcinkaya
1m 23s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
1m 23s
Merge branch 'master' into _update-deps/runtimeverification/wasm-sema… Update Version #292: Commit 23c278e pushed by bbyalcinkaya
9s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
9s
Lemmas and symbolic execution improvements Test #714: Pull request #67 synchronize by bbyalcinkaya
6m 45s symbolic-execution
symbolic-execution
6m 45s
Graph Update: uv in /. #1519863760 Dependency Graph #9: by dependabot Bot
44s master
master
44s
Trace globals (#126) Master Push #88: Commit 673087c pushed by RaoulSchaffranek
4m 1s master
master
4m 1s
Trace globals Test #713: Pull request #126 synchronize by RaoulSchaffranek
6m 15s feat/globals-tracing
feat/globals-tracing
6m 15s
Trace globals Test #712: Pull request #126 synchronize by RaoulSchaffranek
6m 24s feat/globals-tracing
feat/globals-tracing
6m 24s
Update Version Update Version #291: Manually run by RaoulSchaffranek
16s master
master
16s
Graph Update: uv in /. #1519736665 Dependency Graph #8: by dependabot Bot
1m 4s master
master
1m 4s
Clean up the trace format (#122) Master Push #87: Commit 3c97535 pushed by RaoulSchaffranek
4m 35s master
master
4m 35s
Clean up the trace format Test #711: Pull request #122 synchronize by RaoulSchaffranek
6m 18s update-tracing-format
update-tracing-format
6m 18s
Clean up the trace format Test #710: Pull request #122 synchronize by RaoulSchaffranek
6m 17s update-tracing-format
update-tracing-format
6m 17s
Trace globals Test #709: Pull request #126 synchronize by RaoulSchaffranek
5m 37s feat/globals-tracing
feat/globals-tracing
5m 37s
Trace globals Test #708: Pull request #126 synchronize by RaoulSchaffranek
5m 2s feat/globals-tracing
feat/globals-tracing
5m 2s
Trace globals Test #707: Pull request #126 synchronize by RaoulSchaffranek
3m 41s feat/globals-tracing
feat/globals-tracing
3m 41s
Trace globals Test #706: Pull request #126 synchronize by RaoulSchaffranek
23s feat/globals-tracing
feat/globals-tracing
23s
Trace globals Test #705: Pull request #126 synchronize by RaoulSchaffranek
5m 14s feat/globals-tracing
feat/globals-tracing
5m 14s
Trace globals Test #704: Pull request #126 opened by RaoulSchaffranek
6m 42s feat/globals-tracing
feat/globals-tracing
6m 42s
Feat/memory tracing Test #703: Pull request #125 opened by RaoulSchaffranek
6m 29s feat/memory-tracing
feat/memory-tracing
6m 29s