Skip to content

Actions: runtimeverification/evm-semantics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,705 workflow run results
3,705 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Factor out vat arithmetic in proof-reuse for MCD Test PR #9482: Pull request #2467 synchronize by rv-jenkins
June 11, 2024 21:50 2m 10s vat-arithmetic
vat-arithmetic
June 11, 2024 21:50 2m 10s
Factor out vat arithmetic in proof-reuse for MCD Test PR #9481: Pull request #2467 synchronize by ehildenb
June 11, 2024 21:49 45s vat-arithmetic
vat-arithmetic
June 11, 2024 21:49 45s
Pass remaining proofs with RPC prover Test PR #9480: Pull request #2480 synchronize by rv-jenkins
June 11, 2024 21:25 2h 30m 26s more-passing-proofs
more-passing-proofs
June 11, 2024 21:25 2h 30m 26s
Factor out vat arithmetic in proof-reuse for MCD Test PR #9479: Pull request #2467 synchronize by rv-jenkins
June 11, 2024 21:25 24m 17s vat-arithmetic
vat-arithmetic
June 11, 2024 21:25 24m 17s
Factor out vat arithmetic in proof-reuse for MCD Test PR #9478: Pull request #2467 synchronize by ehildenb
June 11, 2024 21:22 3m 27s vat-arithmetic
vat-arithmetic
June 11, 2024 21:22 3m 27s
Pass remaining proofs with RPC prover Test PR #9477: Pull request #2480 opened by ehildenb
June 11, 2024 20:57 2m 19s more-passing-proofs
more-passing-proofs
June 11, 2024 20:57 2m 19s
Enable more passing proofs with RPC prover Test PR #9476: Pull request #2479 synchronize by ehildenb
June 11, 2024 20:26 9m 44s passing-proofs
passing-proofs
June 11, 2024 20:26 9m 44s
Enable more passing proofs with RPC prover Test PR #9475: Pull request #2479 opened by ehildenb
June 11, 2024 20:24 1m 52s passing-proofs
passing-proofs
June 11, 2024 20:24 1m 52s
Update dependency: deps/k_release Test PR #9474: Pull request #2478 synchronize by rv-jenkins
June 11, 2024 19:26 1h 12m 17s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
June 11, 2024 19:26 1h 12m 17s
flake.{nix,lock}: update Nix derivations Update Version #3283: Commit 130807d pushed by rv-jenkins
June 11, 2024 19:26 4m 35s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
June 11, 2024 19:26 4m 35s
Update dependency: deps/k_release Test PR #9473: Pull request #2478 synchronize by rv-jenkins
June 11, 2024 19:22 4m 48s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
June 11, 2024 19:22 4m 48s
Set Version: 1.0.599 Update Version #3282: Commit 86802bc pushed by rv-jenkins
June 11, 2024 19:22 4m 17s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
June 11, 2024 19:22 4m 17s
Update dependency: deps/k_release Test PR #9472: Pull request #2478 opened by rv-jenkins
June 11, 2024 19:21 28s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
June 11, 2024 19:21 28s
deps/k_release: Set Version 7.0.127 Update Version #3281: Commit b55d5dd pushed by rv-jenkins
June 11, 2024 19:21 24s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
June 11, 2024 19:21 24s
pages build and deployment pages-build-deployment #574: by github-pages bot
June 11, 2024 17:46 1m 54s gh-pages
gh-pages
June 11, 2024 17:46 1m 54s
Pass remaining benchmarks, lemmas, and delete unused proofs (#2477) Bump Version and Start Release Job #740: Commit 70aa404 pushed by rv-jenkins
June 11, 2024 17:25 21m 22s master
master
June 11, 2024 17:25 21m 22s
Pass remaining benchmarks, lemmas, and delete unused proofs Test PR #9471: Pull request #2477 synchronize by ehildenb
June 11, 2024 15:01 1h 41m 45s benchmark-proofs
benchmark-proofs
June 11, 2024 15:01 1h 41m 45s
Pass remaining benchmarks, lemmas, and delete unused proofs Test PR #9470: Pull request #2477 synchronize by rv-jenkins
June 11, 2024 14:59 1m 35s benchmark-proofs
benchmark-proofs
June 11, 2024 14:59 1m 35s
Pass remaining benchmarks, lemmas, and delete unused proofs Test PR #9469: Pull request #2477 opened by ehildenb
June 11, 2024 14:59 24s benchmark-proofs
benchmark-proofs
June 11, 2024 14:59 24s
pages build and deployment pages-build-deployment #573: by github-pages bot
June 11, 2024 14:09 2m 0s gh-pages
gh-pages
June 11, 2024 14:09 2m 0s
Refactor opcode optimization proofs, delete useless proofs (#2474) Bump Version and Start Release Job #739: Commit d2337fe pushed by ehildenb
June 11, 2024 13:42 26m 27s master
master
June 11, 2024 13:42 26m 27s
Refactor opcode optimization proofs, delete useless proofs Test PR #9468: Pull request #2474 synchronize by rv-jenkins
June 11, 2024 12:19 1h 23m 14s optimization-proofs
optimization-proofs
June 11, 2024 12:19 1h 23m 14s
Refactor opcode optimization proofs, delete useless proofs Test PR #9467: Pull request #2474 synchronize by anvacaru
June 11, 2024 12:19 23s optimization-proofs
optimization-proofs
June 11, 2024 12:19 23s
pages build and deployment pages-build-deployment #572: by github-pages bot
June 11, 2024 11:59 1m 52s gh-pages
gh-pages
June 11, 2024 11:59 1m 52s
Have <jumpDests> as Bytes instead of Set (#2471) Bump Version and Start Release Job #738: Commit d7a5d40 pushed by rv-jenkins
June 11, 2024 11:41 17m 45s master
master
June 11, 2024 11:41 17m 45s