Skip to content

Actions: runtimeverification/mx-semantics

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,743 workflow runs
1,743 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Foundry-like tests
Run Tests #179: Pull request #111 synchronize by bbyalcinkaya
August 15, 2023 12:56 53m 3s foundrylike
August 15, 2023 12:56 53m 3s
Add empty <commands> to Mandos rules
Run Tests #178: Pull request #126 opened by bbyalcinkaya
August 14, 2023 07:31 51m 12s optimize-build
August 14, 2023 07:31 51m 12s
Foundry-like tests
Run Tests #177: Pull request #111 synchronize by bbyalcinkaya
August 11, 2023 15:06 1h 1m 19s foundrylike
August 11, 2023 15:06 1h 1m 19s
Foundry-like tests
Run Tests #176: Pull request #111 synchronize by bbyalcinkaya
August 11, 2023 14:10 13m 0s foundrylike
August 11, 2023 14:10 13m 0s
Reduce kompile memory usage by removing high priorities
Run Tests #174: Pull request #125 synchronize by bbyalcinkaya
August 11, 2023 00:32 54m 54s reduce-mem
August 11, 2023 00:32 54m 54s
Reduce kompile memory usage by removing high priorities
Run Tests #173: Pull request #125 synchronize by bbyalcinkaya
August 10, 2023 23:37 55m 55s reduce-mem
August 10, 2023 23:37 55m 55s
Reduce kompile memory usage by removing high priorities
Run Tests #172: Pull request #125 synchronize by bbyalcinkaya
August 10, 2023 23:35 1m 46s reduce-mem
August 10, 2023 23:35 1m 46s
Reduce kompile memory usage by removing high priorities
Run Tests #171: Pull request #125 synchronize by bbyalcinkaya
August 10, 2023 22:29 1h 6m 10s reduce-mem
August 10, 2023 22:29 1h 6m 10s
Labels for some symbols
Run Tests #170: Pull request #124 synchronize by bbyalcinkaya
August 10, 2023 19:52 4h 22m 45s labels
August 10, 2023 19:52 4h 22m 45s
Reduce kompile memory usage by removing high priorities
Run Tests #168: Pull request #125 opened by bbyalcinkaya
August 10, 2023 18:51 3h 38m 24s reduce-mem
August 10, 2023 18:51 3h 38m 24s
Labels for some symbols
Run Tests #167: Pull request #124 synchronize by virgil-serbanuta
August 10, 2023 18:17 28m 8s labels
August 10, 2023 18:17 28m 8s
Labels for some symbols
Run Tests #166: Pull request #124 synchronize by virgil-serbanuta
August 10, 2023 16:53 1h 12m 14s labels
August 10, 2023 16:53 1h 12m 14s
Labels for some symbols
Run Tests #165: Pull request #124 opened by virgil-serbanuta
August 10, 2023 16:48 5m 11s labels
August 10, 2023 16:48 5m 11s
KBuild for the Elrond semantics
Run Tests #163: Pull request #120 synchronize by virgil-serbanuta
August 9, 2023 17:31 4h 52m 52s kbuild
August 9, 2023 17:31 4h 52m 52s
More Hostcalls
Run Tests #162: Pull request #121 synchronize by bbyalcinkaya
August 8, 2023 18:57 1h 25m 43s multisig-hostcalls
August 8, 2023 18:57 1h 25m 43s
KBuild for the Elrond semantics
Run Tests #161: Pull request #120 synchronize by virgil-serbanuta
August 7, 2023 22:26 50m 6s kbuild
August 7, 2023 22:26 50m 6s
Move tests to 'huge' runner
Run Tests #160: Pull request #122 opened by bbyalcinkaya
August 7, 2023 13:28 1h 24m 55s huge-runner
August 7, 2023 13:28 1h 24m 55s
More Hostcalls
Run Tests #159: Pull request #121 opened by bbyalcinkaya
August 7, 2023 07:09 1h 20m 17s multisig-hostcalls
August 7, 2023 07:09 1h 20m 17s
Separate kompile and llvm-kompile
Run Tests #158: Pull request #119 synchronize by bbyalcinkaya
August 4, 2023 17:04 2h 0m 52s separate-llvm-kompile
August 4, 2023 17:04 2h 0m 52s
KBuild for the Elrond semantics
Run Tests #157: Pull request #120 opened by virgil-serbanuta
August 4, 2023 14:27 24m 43s kbuild
August 4, 2023 14:27 24m 43s
Separate kompile and llvm-kompile
Run Tests #155: Pull request #119 synchronize by bbyalcinkaya
August 4, 2023 12:43 1h 15m 0s separate-llvm-kompile
August 4, 2023 12:43 1h 15m 0s
ProTip! You can narrow down the results and go further in time using created:<2023-08-04 or the other filters available.