Skip to content

Actions: runtimeverification/komet

Actions

Master Push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master.yml
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add module interface for CLI (#93) Master Push #72: Commit 42d24e6 pushed by automergerpr-permission-manager bot
6m 37s master
master
6m 37s
Update nix flake inputs structure and add rv-nix-tools to dependenc… Master Push #71: Commit 9211c58 pushed by automergerpr-permission-manager bot
11m 54s master
master
11m 54s
Add nix smoke test in CI (#85) Master Push #70: Commit 69b0b9d pushed by automergerpr-permission-manager bot
9m 15s master
master
9m 15s
Add komet.rust-stellar derivation that provides cargo and `stella… Master Push #69: Commit 44a4f91 pushed by automergerpr-permission-manager bot
14m 5s master
master
14m 5s
Use stellar binary instead of soroban binary (#83) Master Push #68: Commit 122f4d3 pushed by automergerpr-permission-manager bot
4m 4s master
master
4m 4s
Make cachix builds from CI/CD match CLI/flake inputs (#81) Master Push #67: Commit f87cabf pushed by automergerpr-permission-manager bot
5m 11s master
master
5m 11s
Update dependency: deps/kwasm_release (#80) Master Push #66: Commit a3ccbd6 pushed by automergerpr-permission-manager bot
7m 51s master
master
7m 51s
Update dependency: deps/kwasm_release (#79) Master Push #65: Commit 28d90a4 pushed by ehildenb
4m 58s master
master
4m 58s
Update dependency: deps/kwasm_release (#76) Master Push #64: Commit 638565f pushed by automergerpr-permission-manager bot
5m 34s master
master
5m 34s
Add U256 arithmetic functions (#73) Master Push #63: Commit 5ba0798 pushed by automergerpr-permission-manager bot
5m 12s master
master
5m 12s
Update dependency: deps/kwasm_release (#72) Master Push #62: Commit 0827449 pushed by bbyalcinkaya
5m 11s master
master
5m 11s
Update dependency: deps/kwasm_release (#71) Master Push #61: Commit f432bd4 pushed by automergerpr-permission-manager bot
5m 49s master
master
5m 49s
Update dependency: deps/kwasm_release (#70) Master Push #60: Commit a3d3a46 pushed by automergerpr-permission-manager bot
5m 52s master
master
5m 52s
Improvements for the vesting fuzz tests (#68) Master Push #59: Commit b11e4f9 pushed by automergerpr-permission-manager bot
5m 44s master
master
5m 44s
Implement try_call (#65) Master Push #58: Commit 2f2fc19 pushed by automergerpr-permission-manager bot
5m 39s master
master
5m 39s
komet prove options for advanced users (#64) Master Push #57: Commit 548aeea pushed by automergerpr-permission-manager bot
5m 46s master
master
5m 46s
Update dependency: deps/kwasm_release (#63) Master Push #56: Commit 2a143ed pushed by automergerpr-permission-manager bot
4m 4s master
master
4m 4s
Test harness for lemmas (#60) Master Push #55: Commit cbfb8fc pushed by automergerpr-permission-manager bot
15m 1s master
master
15m 1s
Update dependency: deps/kwasm_release (#59) Master Push #54: Commit f240ca0 pushed by automergerpr-permission-manager bot
3m 19s master
master
3m 19s
Add --always-allocate Flag to Reduce Branching (#58) Master Push #53: Commit bddbd66 pushed by automergerpr-permission-manager bot
2m 53s master
master
2m 53s
Add host functions for Bytes operations (#61) Master Push #52: Commit 12c938f pushed by automergerpr-permission-manager bot
3m 51s master
master
3m 51s
Add new vector operations and some refactoring (#62) Master Push #51: Commit 7fe5db5 pushed by automergerpr-permission-manager bot
6m 7s master
master
6m 7s
Update dependency: deps/kwasm_release (#51) Master Push #50: Commit 9d24395 pushed by automergerpr-permission-manager bot
5m 26s master
master
5m 26s
Improve komet test UI with progress bar and failure reporting (#56) Master Push #49: Commit a12f3bb pushed by bbyalcinkaya
3m 54s master
master
3m 54s
Implement Remaining Map Host Functions (#54) Master Push #48: Commit 19f8fcd pushed by bbyalcinkaya
5m 29s master
master
5m 29s