Skip to content

Actions: runtimeverification/komet

Actions

Master Push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master.yml
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Host functions for the FxDAO test (#27) Master Push #22: Commit b44523a pushed by rv-jenkins
August 18, 2024 16:26 42s master
master
August 18, 2024 16:26 42s
Remove automatic call to init function during contract deployment (#22) Master Push #21: Commit d73500d pushed by rv-jenkins
August 15, 2024 08:27 29s master
master
August 15, 2024 08:27 29s
Add ksoroban prove command (#20) Master Push #20: Commit 2ef6bf9 pushed by rv-jenkins
August 13, 2024 09:41 43s master
master
August 13, 2024 09:41 43s
Implement error types and error handling (#26) Master Push #19: Commit 96a1afa pushed by rv-jenkins
August 13, 2024 06:43 43s master
master
August 13, 2024 06:43 43s
Update dependency: deps/kwasm_release (#25) Master Push #18: Commit 0ca53e7 pushed by bbyalcinkaya
August 12, 2024 07:12 14s master
master
August 12, 2024 07:12 14s
Implement contract TTL extension functions (#24) Master Push #17: Commit 0b2d0f2 pushed by rv-jenkins
August 9, 2024 06:27 57s master
master
August 9, 2024 06:27 57s
Update dependency: deps/kwasm_release (#21) Master Push #16: Commit 05c4936 pushed by rv-jenkins
August 7, 2024 07:02 17s master
master
August 7, 2024 07:02 17s
Update dependency: deps/kwasm_release (#19) Master Push #15: Commit 1fc50b8 pushed by rv-jenkins
August 5, 2024 12:29 45s master
master
August 5, 2024 12:29 45s
Storage Host Functions (#18) Master Push #14: Commit 4bb7100 pushed by rv-jenkins
August 2, 2024 09:25 47s master
master
August 2, 2024 09:25 47s
Support for reading ScVal contract parameters and fuzzing over them (… Master Push #13: Commit 4f2496a pushed by rv-jenkins
July 30, 2024 16:01 14s master
master
July 30, 2024 16:01 14s
Implement get_ledger_sequence (#16) Master Push #12: Commit 3f2e792 pushed by rv-jenkins
July 30, 2024 05:41 40s master
master
July 30, 2024 05:41 40s
Update dependency: deps/kwasm_release (#9) Master Push #11: Commit af3ab0d pushed by rv-jenkins
July 29, 2024 07:23 44s master
master
July 29, 2024 07:23 44s
Implement Map (#15) Master Push #10: Commit d02f5f7 pushed by rv-jenkins
July 27, 2024 20:01 18s master
master
July 27, 2024 20:01 18s
Initial implementation of the kasmer tool (#14) Master Push #9: Commit 8a6cf9a pushed by rv-jenkins
July 25, 2024 15:24 51s master
master
July 25, 2024 15:24 51s
Implement Vec and Symbol (#13) Master Push #8: Commit 9942796 pushed by rv-jenkins
July 23, 2024 09:01 46s master
master
July 23, 2024 09:01 46s
Implement U128 and related host functions (#12) Master Push #7: Commit f90cc8e pushed by rv-jenkins
July 22, 2024 07:23 12s master
master
July 22, 2024 07:23 12s
Initial semantics (#10) Master Push #6: Commit 4f8637f pushed by bbyalcinkaya
July 16, 2024 18:49 14s master
master
July 16, 2024 18:49 14s
Update dependency: deps/kwasm_release (#8) Master Push #5: Commit 11ea8c5 pushed by rv-jenkins
June 28, 2024 11:02 1m 8s master
master
June 28, 2024 11:02 1m 8s
Update dependency: deps/kwasm_release (#7) Master Push #4: Commit b38ce21 pushed by rv-jenkins
June 20, 2024 13:02 55s master
master
June 20, 2024 13:02 55s
Update dependency: deps/kwasm_release (#6) Master Push #3: Commit 4c87bf9 pushed by rv-jenkins
May 16, 2024 14:01 56s master
master
May 16, 2024 14:01 56s
Update dependency: deps/kwasm_release (#5) Master Push #2: Commit 703aaa5 pushed by rv-jenkins
May 15, 2024 08:26 43s master
master
May 15, 2024 08:26 43s
Set up project (#2) Master Push #1: Commit cc0c6cd pushed by rv-jenkins
May 14, 2024 19:01 53s master
master
May 14, 2024 19:01 53s