Skip to content

Actions: runtimeverification/wasm-semantics

Actions

Master Push

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove double v in Nix update (#624) Master Push #145: Commit 25073e1 pushed by rv-jenkins
May 1, 2024 11:42 1m 51s master
master
May 1, 2024 11:42 1m 51s
Install Nix when bumping versions (#623) Master Push #144: Commit 2df3692 pushed by rv-jenkins
May 1, 2024 08:28 2m 3s master
master
May 1, 2024 08:28 2m 3s
Set up Nix flake build (#622) Master Push #143: Commit 7b93cef pushed by rv-jenkins
April 30, 2024 09:25 2m 35s master
master
April 30, 2024 09:25 2m 35s
Update dependency: deps/k_release (#620) Master Push #142: Commit 4f5c9fa pushed by tothtamas28
April 29, 2024 08:55 13s master
master
April 29, 2024 08:55 13s
Update dependency: deps/k_release (#619) Master Push #141: Commit ec12cf7 pushed by rv-jenkins
April 26, 2024 16:27 21s master
master
April 26, 2024 16:27 21s
Remove kwasm.sh (#618) Master Push #140: Commit 05d94eb pushed by rv-jenkins
April 25, 2024 16:42 15s master
master
April 25, 2024 16:42 15s
Re-organize tests on CI (#617) Master Push #139: Commit 92b3904 pushed by rv-jenkins
April 23, 2024 19:42 17s master
master
April 23, 2024 19:42 17s
Add target wasm-semantics.source (#616) Master Push #138: Commit 11b7b22 pushed by rv-jenkins
April 23, 2024 18:42 17s master
master
April 23, 2024 18:42 17s
Update dependency: deps/k_release (#615) Master Push #137: Commit d27025c pushed by rv-jenkins
April 23, 2024 08:42 16s master
master
April 23, 2024 08:42 16s
Make memory a constructor-based list (#612) Master Push #136: Commit b779976 pushed by rv-jenkins
April 18, 2024 15:24 14s master
master
April 18, 2024 15:24 14s
Add prec to WasmStringToken (#614) Master Push #135: Commit ea2fbb3 pushed by rv-jenkins
April 18, 2024 12:03 20s master
master
April 18, 2024 12:03 20s
Update dependency: deps/k_release (#606) Master Push #134: Commit e9e04e4 pushed by rv-jenkins
April 17, 2024 08:42 16s master
master
April 17, 2024 08:42 16s
Distribute scripts with pykwasm (#609) Master Push #133: Commit fd9ec8c pushed by rv-jenkins
April 15, 2024 15:23 17s master
master
April 15, 2024 15:23 17s
Fix kompilation warning in test.md (#611) Master Push #132: Commit da66a27 pushed by rv-jenkins
April 15, 2024 14:44 16s master
master
April 15, 2024 14:44 16s
Replace . by .K in proof specs (#610) Master Push #131: Commit 6ac1a42 pushed by rv-jenkins
April 15, 2024 12:46 15s master
master
April 15, 2024 12:46 15s
Move K files into a separate directory (#608) Master Push #130: Commit 0ea9fed pushed by rv-jenkins
April 12, 2024 15:03 15s master
master
April 12, 2024 15:03 15s
Update template (#607) Master Push #129: Commit 4ae887f pushed by rv-jenkins
April 12, 2024 12:03 18s master
master
April 12, 2024 12:03 18s
Migrate build to kdist (#605) Master Push #128: Commit 76d796d pushed by rv-jenkins
April 12, 2024 09:04 17s master
master
April 12, 2024 09:04 17s
Update dependency: deps/pyk_release (#602) Master Push #127: Commit 424b1ba pushed by rv-jenkins
April 10, 2024 22:02 14s master
master
April 10, 2024 22:02 14s
Update dependency: deps/pyk_release (#601) Master Push #126: Commit a6da64f pushed by rv-jenkins
April 5, 2024 22:03 18s master
master
April 5, 2024 22:03 18s
Update dependency: deps/pyk_release (#600) Master Push #125: Commit 2f616cc pushed by rv-jenkins
April 4, 2024 18:03 22s master
master
April 4, 2024 18:03 22s
Update dependency: deps/pyk_release (#599) Master Push #124: Commit 4334061 pushed by rv-jenkins
April 4, 2024 14:27 14s master
master
April 4, 2024 14:27 14s
Update dependency: deps/pyk_release (#598) Master Push #123: Commit bfea8c1 pushed by rv-jenkins
April 3, 2024 17:43 16s master
master
April 3, 2024 17:43 16s
Update dependency: deps/pyk_release (#597) Master Push #122: Commit a19c50b pushed by rv-jenkins
April 1, 2024 06:03 16s master
master
April 1, 2024 06:03 16s
Update dependency: deps/pyk_release (#596) Master Push #121: Commit 5da4b78 pushed by rv-jenkins
March 28, 2024 14:26 15s master
master
March 28, 2024 14:26 15s