Skip to content

Actions: runtimeverification/kasmer-multiversx

Actions

Master Push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master-push.yml
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependency: deps/mx-semantics_release (#180) Master Push #14: Commit a67a732 pushed by rv-jenkins
August 5, 2024 12:02 1h 7m 58s master
master
August 5, 2024 12:02 1h 7m 58s
run booster with --no-fallback-simplify --no-post-exec-simplify (#179) Master Push #13: Commit d7cf18a pushed by jberthold
July 31, 2024 10:33 1h 6m 3s master
master
July 31, 2024 10:33 1h 6m 3s
Mark updateSparseBytes(setRange) as preserving definedness, add #sign… Master Push #12: Commit 3f3c831 pushed by rv-jenkins
July 29, 2024 05:26 1h 4m 11s master
master
July 29, 2024 05:26 1h 4m 11s
Update dependency: deps/mx-semantics_release (#178) Master Push #11: Commit fa24455 pushed by jberthold
July 29, 2024 03:01 1h 5m 46s master
master
July 29, 2024 03:01 1h 5m 46s
Update dependency: deps/mx-semantics_release (#175) Master Push #10: Commit ad19767 pushed by rv-jenkins
July 26, 2024 22:41 1h 17m 53s master
master
July 26, 2024 22:41 1h 17m 53s
Update dependency: deps/mx-semantics_release (#174) Master Push #9: Commit 212b0a8 pushed by rv-jenkins
July 22, 2024 22:41 1h 7m 12s master
master
July 22, 2024 22:41 1h 7m 12s
Update dependency: deps/mx-semantics_release (#171) Master Push #8: Commit 8db0faa pushed by rv-jenkins
July 20, 2024 03:26 1h 5m 33s master
master
July 20, 2024 03:26 1h 5m 33s
Improve some simplifications for booster (#172) Master Push #7: Commit 74938de pushed by jberthold
July 16, 2024 22:42 20m 18s master
master
July 16, 2024 22:42 20m 18s
Update dependency: deps/mx-semantics_release (#167) Master Push #6: Commit 128c695 pushed by rv-jenkins
July 10, 2024 08:02 20m 11s master
master
July 10, 2024 08:02 20m 11s
Remove typed maps (#155) Master Push #5: Commit 10ba7a7 pushed by jberthold
July 10, 2024 02:02 22m 5s master
master
July 10, 2024 02:02 22m 5s
Deprecate klabel attribute (#168) Master Push #4: Commit e32daf5 pushed by rv-jenkins
July 3, 2024 16:03 17m 20s master
master
July 3, 2024 16:03 17m 20s
Update dependency: deps/mx-semantics_release (#165) Master Push #3: Commit 0982247 pushed by rv-jenkins
June 28, 2024 18:27 22m 24s master
master
June 28, 2024 18:27 22m 24s
Config format with multicontract support and directory paths (#163) Master Push #2: Commit b180e42 pushed by rv-jenkins
June 26, 2024 11:22 16m 0s master
master
June 26, 2024 11:22 16m 0s
Publish kmxwasm to the nix binary cache on master push (#164) Master Push #1: Commit e46d101 pushed by Baltoli
June 25, 2024 15:33 15m 28s master
master
June 25, 2024 15:33 15m 28s