Skip to content

Actions: runtimeverification/evm-semantics

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-pr.yml
4,276 workflow runs
4,276 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

typo-Update 201710-presentation-devcon3.md Test PR #10629: Pull request #2670 opened by romashka-btc
December 28, 2024 11:45 Action required romashka-btc:fix/err
romashka-btc:fix/err
December 28, 2024 11:45 Action required
Removing SMT lemmas Test PR #10628: Pull request #2669 synchronize by PetarMax
December 27, 2024 09:23 45m 22s petar/ecrec-no-smt-lemmas
petar/ecrec-no-smt-lemmas
December 27, 2024 09:23 45m 22s
Removing SMT lemmas Test PR #10627: Pull request #2669 synchronize by PetarMax
December 27, 2024 08:20 1h 3m 48s petar/ecrec-no-smt-lemmas
petar/ecrec-no-smt-lemmas
December 27, 2024 08:20 1h 3m 48s
Removing SMT lemmas Test PR #10626: Pull request #2669 synchronize by PetarMax
December 26, 2024 21:56 27m 10s petar/ecrec-no-smt-lemmas
petar/ecrec-no-smt-lemmas
December 26, 2024 21:56 27m 10s
Removing SMT lemmas Test PR #10625: Pull request #2669 synchronize by PetarMax
December 26, 2024 21:20 35m 53s petar/ecrec-no-smt-lemmas
petar/ecrec-no-smt-lemmas
December 26, 2024 21:20 35m 53s
Removing SMT lemmas Test PR #10624: Pull request #2669 synchronize by PetarMax
December 26, 2024 21:04 16m 34s petar/ecrec-no-smt-lemmas
petar/ecrec-no-smt-lemmas
December 26, 2024 21:04 16m 34s
Removing SMT lemmas Test PR #10623: Pull request #2669 synchronize by PetarMax
December 26, 2024 20:11 53m 12s petar/ecrec-no-smt-lemmas
petar/ecrec-no-smt-lemmas
December 26, 2024 20:11 53m 12s
Removing SMT lemmas Test PR #10622: Pull request #2669 synchronize by PetarMax
December 26, 2024 19:25 46m 23s petar/ecrec-no-smt-lemmas
petar/ecrec-no-smt-lemmas
December 26, 2024 19:25 46m 23s
Removing SMT lemmas Test PR #10621: Pull request #2669 synchronize by PetarMax
December 26, 2024 18:36 49m 1s petar/ecrec-no-smt-lemmas
petar/ecrec-no-smt-lemmas
December 26, 2024 18:36 49m 1s
Removing SMT lemmas Test PR #10620: Pull request #2669 synchronize by PetarMax
December 26, 2024 18:31 5m 24s petar/ecrec-no-smt-lemmas
petar/ecrec-no-smt-lemmas
December 26, 2024 18:31 5m 24s
Removing SMT lemmas Test PR #10619: Pull request #2669 opened by PetarMax
December 26, 2024 13:53 42m 53s petar/ecrec-no-smt-lemmas
petar/ecrec-no-smt-lemmas
December 26, 2024 13:53 42m 53s
chore: fix some typos Test PR #10618: Pull request #2668 opened by cuiweiyuan
December 24, 2024 13:13 Action required cuiweiyuan:master
cuiweiyuan:master
December 24, 2024 13:13 Action required
EIP-6780: SELFDESTRUCT only in same transaction Test PR #10617: Pull request #2545 synchronize by anvacaru
December 18, 2024 17:36 1h 19m 36s eip-6780
eip-6780
December 18, 2024 17:36 1h 19m 36s
EIP-6780: SELFDESTRUCT only in same transaction Test PR #10616: Pull request #2545 synchronize by anvacaru
December 18, 2024 13:27 1h 5m 47s eip-6780
eip-6780
December 18, 2024 13:27 1h 5m 47s
Update dependency: deps/k_release Test PR #10615: Pull request #2667 synchronize by rv-jenkins
December 17, 2024 14:40 20m 26s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
December 17, 2024 14:40 20m 26s
Update dependency: deps/k_release Test PR #10614: Pull request #2667 opened by rv-jenkins
December 17, 2024 14:39 2m 8s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
December 17, 2024 14:39 2m 8s
Introducing the optimize-kcfg parameter Test PR #10613: Pull request #2666 opened by PetarMax
December 17, 2024 10:22 12m 49s petar/optimize-kcfg
petar/optimize-kcfg
December 17, 2024 10:22 12m 49s
Update dependency: deps/k_release Test PR #10612: Pull request #2665 synchronize by rv-jenkins
December 17, 2024 05:29 1h 42m 31s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
December 17, 2024 05:29 1h 42m 31s
Update dependency: deps/k_release Test PR #10611: Pull request #2665 opened by rv-jenkins
December 17, 2024 05:28 2m 12s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
December 17, 2024 05:28 2m 12s
Support for multimasks in slot updates Test PR #10610: Pull request #2657 synchronize by PetarMax
December 16, 2024 16:15 2h 0m 11s petar/slot-updates-update
petar/slot-updates-update
December 16, 2024 16:15 2h 0m 11s
Support for multimasks in slot updates Test PR #10609: Pull request #2657 synchronize by PetarMax
December 16, 2024 15:28 46m 46s petar/slot-updates-update
petar/slot-updates-update
December 16, 2024 15:28 46m 46s
EIP-6780: SELFDESTRUCT only in same transaction Test PR #10608: Pull request #2545 synchronize by anvacaru
December 11, 2024 17:59 50m 25s eip-6780
eip-6780
December 11, 2024 17:59 50m 25s
EIP-6780: SELFDESTRUCT only in same transaction Test PR #10607: Pull request #2545 synchronize by anvacaru
December 11, 2024 16:24 1h 35m 43s eip-6780
eip-6780
December 11, 2024 16:24 1h 35m 43s
Update dependency: deps/k_release Test PR #10606: Pull request #2664 synchronize by rv-jenkins
December 11, 2024 09:33 24m 34s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
December 11, 2024 09:33 24m 34s
Update dependency: deps/k_release Test PR #10605: Pull request #2664 opened by rv-jenkins
December 11, 2024 09:31 2m 23s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
December 11, 2024 09:31 2m 23s