Skip to content

Actions: runtimeverification/mx-semantics

Actions

Update Versions

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update-version.yml
399 workflow runs
399 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

kmultiversx/src/kmultiversx/kdist/plugin: Set Version 69fdf830e3a98a8… Update Versions #349: Commit d4b461a pushed by rv-jenkins
August 27, 2024 15:03 23s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
August 27, 2024 15:03 23s
flake.{nix,lock}: update Nix derivations Update Versions #348: Commit f08df83 pushed by rv-jenkins
August 26, 2024 17:12 3m 13s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
August 26, 2024 17:12 3m 13s
Set Version: 0.1.111 Update Versions #347: Commit 75ed02f pushed by rv-jenkins
August 26, 2024 17:03 8m 26s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
August 26, 2024 17:03 8m 26s
kmultiversx/src/kmultiversx/kdist/plugin: Set Version 153c4a03f249311… Update Versions #346: Commit 304dfcf pushed by rv-jenkins
August 26, 2024 17:03 23s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
August 26, 2024 17:03 23s
flake.{nix,lock}: update Nix derivations Update Versions #345: Commit ac22721 pushed by rv-jenkins
August 21, 2024 10:29 2m 50s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
August 21, 2024 10:29 2m 50s
kmultiversx/src/kmultiversx/kdist/plugin: Set Version 44d875a9a36b145… Update Versions #344: Commit b5010d0 pushed by rv-jenkins
August 21, 2024 10:27 2m 10s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
August 21, 2024 10:27 2m 10s
flake.{nix,lock}: update Nix derivations Update Versions #343: Commit 24c8f6d pushed by rv-jenkins
August 20, 2024 15:45 2m 30s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
August 20, 2024 15:45 2m 30s
Set Version: 0.1.110 Update Versions #342: Commit 3a50cd5 pushed by rv-jenkins
August 20, 2024 15:43 2m 23s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
August 20, 2024 15:43 2m 23s
kmultiversx/src/kmultiversx/kdist/plugin: Set Version 5d78fff8ccbe3bf… Update Versions #341: Commit b4ea929 pushed by rv-jenkins
August 20, 2024 15:42 21s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
August 20, 2024 15:42 21s
Add boost to flake.nix Update Versions #340: Commit e6e6830 pushed by tothtamas28
August 19, 2024 12:10 2m 6s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
August 19, 2024 12:10 2m 6s
fix cmd2 deps & format flake Update Versions #339: Commit 4ede660 pushed by goodlyrottenapple
August 19, 2024 10:05 2m 4s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
August 19, 2024 10:05 2m 4s
kmultiversx/: sync poetry files 0.1.95 Update Versions #338: Commit ce70dc8 pushed by rv-jenkins
August 16, 2024 12:55 2m 49s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
August 16, 2024 12:55 2m 49s
Simplify plugin build Update Versions #337: Commit aaddbea pushed by tothtamas28
August 16, 2024 12:53 2m 3s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
August 16, 2024 12:53 2m 3s
flake.{nix,lock}: update Nix derivations Update Versions #336: Commit 9fdb8b2 pushed by rv-jenkins
August 12, 2024 16:31 2m 4s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
August 12, 2024 16:31 2m 4s
Set Version: 0.1.109 Update Versions #335: Commit 03d3a18 pushed by rv-jenkins
August 12, 2024 16:29 2m 35s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
August 12, 2024 16:29 2m 35s
kmultiversx/src/kmultiversx/kdist/plugin: Set Version 64bb64b6c908c15… Update Versions #334: Commit f976e58 pushed by rv-jenkins
August 12, 2024 16:28 17s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
August 12, 2024 16:28 17s
flake.{nix,lock}: update Nix derivations Update Versions #333: Commit 6410290 pushed by rv-jenkins
August 9, 2024 18:31 2m 28s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
August 9, 2024 18:31 2m 28s
Set Version: 0.1.109 Update Versions #332: Commit 8569613 pushed by rv-jenkins
August 9, 2024 18:29 2m 12s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
August 9, 2024 18:29 2m 12s
deps/kwasm_release: Set Version 0.1.98 Update Versions #331: Commit ff8c2e4 pushed by rv-jenkins
August 9, 2024 18:29 17s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
August 9, 2024 18:29 17s
kmultiversx/: sync poetry files 0.1.97 Update Versions #330: Commit c87241c pushed by rv-jenkins
August 8, 2024 08:12 2m 11s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
August 8, 2024 08:12 2m 11s
fix python deps Update Versions #329: Commit 4b5b74c pushed by goodlyrottenapple
August 8, 2024 08:10 2m 5s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
August 8, 2024 08:10 2m 5s
flake.{nix,lock}: update Nix derivations Update Versions #328: Commit b101223 pushed by rv-jenkins
August 6, 2024 16:47 2m 5s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
August 6, 2024 16:47 2m 5s
deps/kwasm_release: Set Version 0.1.97 Update Versions #327: Commit c63ac9f pushed by rv-jenkins
August 6, 2024 16:45 2m 18s _update-deps/runtimeverification/wasm-semantics
_update-deps/runtimeverification/wasm-semantics
August 6, 2024 16:45 2m 18s
flake.{nix,lock}: update Nix derivations Update Versions #326: Commit d6be50d pushed by rv-jenkins
August 6, 2024 16:30 2m 15s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
August 6, 2024 16:30 2m 15s
kmultiversx/src/kmultiversx/kdist/plugin: Set Version 7a480319603205b… Update Versions #325: Commit c202bb9 pushed by rv-jenkins
August 6, 2024 16:28 2m 20s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
August 6, 2024 16:28 2m 20s