Skip to content

Actions: runtimeverification/mx-semantics

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependency: deps/plugin Run Tests #466: Pull request #162 synchronize by virgil-serbanuta
January 25, 2024 14:36 40m 11s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
January 25, 2024 14:36 40m 11s
Update dependency: deps/wasm-semantics Run Tests #465: Pull request #195 synchronize by rv-jenkins
January 25, 2024 13:49 47m 53s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
January 25, 2024 13:49 47m 53s
Update poetry Update poetry for wasm-semantics #107: Commit d5d5b84 pushed by rv-jenkins
January 25, 2024 13:49 1m 57s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
January 25, 2024 13:49 1m 57s
Update dependency: deps/wasm-semantics Run Tests #464: Pull request #195 synchronize by rv-jenkins
January 25, 2024 13:47 1m 59s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
January 25, 2024 13:47 1m 59s
deps/wasm-semantics: Set Version ef6ae92173ef99aa4581a158e39fe7267d1a… Update poetry for wasm-semantics #106: Commit 1714327 pushed by rv-jenkins
January 25, 2024 13:47 1m 51s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
January 25, 2024 13:47 1m 51s
Update dependency: deps/wasm-semantics Run Tests #463: Pull request #195 synchronize by rv-jenkins
January 25, 2024 12:56 51m 26s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
January 25, 2024 12:56 51m 26s
Update dependency: deps/plugin Run Tests #462: Pull request #162 synchronize by virgil-serbanuta
January 25, 2024 12:56 50m 30s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
January 25, 2024 12:56 50m 30s
Update poetry Update poetry for wasm-semantics #105: Commit d3351e6 pushed by rv-jenkins
January 25, 2024 12:56 1m 33s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
January 25, 2024 12:56 1m 33s
Update dependency: deps/wasm-semantics Run Tests #461: Pull request #195 opened by rv-jenkins
January 25, 2024 12:55 1m 30s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
January 25, 2024 12:55 1m 30s
deps/wasm-semantics: Set Version 0994dc72cad2e9cbeaf01291e64b9d7611d4… Update poetry for wasm-semantics #104: Commit 70d2b66 pushed by rv-jenkins
January 25, 2024 12:54 1m 23s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
January 25, 2024 12:54 1m 23s
Update dependency: deps/plugin Run Tests #460: Pull request #162 synchronize by virgil-serbanuta
January 25, 2024 12:54 1m 59s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
January 25, 2024 12:54 1m 59s
Update dependency: deps/plugin Run Tests #459: Pull request #162 synchronize by virgil-serbanuta
January 25, 2024 12:54 21s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
January 25, 2024 12:54 21s
Implement Local Burn Run Tests #458: Pull request #194 synchronize by bbyalcinkaya
January 25, 2024 09:44 51m 49s localburn
localburn
January 25, 2024 09:44 51m 49s
Implement Local Burn Run Tests #457: Pull request #194 synchronize by bbyalcinkaya
January 23, 2024 15:43 36m 38s localburn
localburn
January 23, 2024 15:43 36m 38s
Implement Local Burn Run Tests #456: Pull request #194 synchronize by bbyalcinkaya
January 23, 2024 15:41 2m 2s localburn
localburn
January 23, 2024 15:41 2m 2s
Implement Local Burn Run Tests #455: Pull request #194 synchronize by bbyalcinkaya
January 23, 2024 15:29 12m 32s localburn
localburn
January 23, 2024 15:29 12m 32s
Update dependency: deps/wasm-semantics Run Tests #454: Pull request #190 synchronize by bbyalcinkaya
January 22, 2024 07:31 40m 26s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
January 22, 2024 07:31 40m 26s
update elrond-loaded Update poetry for wasm-semantics #103: Commit 2fdbca6 pushed by bbyalcinkaya
January 22, 2024 07:31 1m 57s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
January 22, 2024 07:31 1m 57s
Implement Local Burn Run Tests #453: Pull request #194 opened by bbyalcinkaya
January 22, 2024 06:15 44m 15s localburn
localburn
January 22, 2024 06:15 44m 15s
Update dependency: deps/wasm-semantics Run Tests #452: Pull request #190 synchronize by rv-jenkins
January 21, 2024 17:05 12m 41s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
January 21, 2024 17:05 12m 41s
deps/wasm-semantics: Set Version b39a12682473c7086210eb4e0dbcf55b7ef8… Update poetry for wasm-semantics #102: Commit fab1c97 pushed by rv-jenkins
January 21, 2024 17:05 1m 51s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
January 21, 2024 17:05 1m 51s
Update dependency: deps/wasm-semantics Run Tests #451: Pull request #190 synchronize by rv-jenkins
January 21, 2024 16:07 13m 24s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
January 21, 2024 16:07 13m 24s
Update poetry Update poetry for wasm-semantics #101: Commit c9ac228 pushed by rv-jenkins
January 21, 2024 16:07 1m 24s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
January 21, 2024 16:07 1m 24s
Update dependency: deps/wasm-semantics Run Tests #450: Pull request #190 synchronize by rv-jenkins
January 21, 2024 16:06 1m 55s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
January 21, 2024 16:06 1m 55s
deps/wasm-semantics: Set Version 37b5b28ef7ea0b1d115dbe5ef1d74647faa8… Update poetry for wasm-semantics #100: Commit 802a58d pushed by rv-jenkins
January 21, 2024 16:06 1m 36s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
January 21, 2024 16:06 1m 36s
ProTip! You can narrow down the results and go further in time using created:<2024-01-21 or the other filters available.