Skip to content

Actions: runtimeverification/komet-node

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
134 workflow runs
134 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: decode composite (vec/map) call arguments; raise recursion limit Test #59: Pull request #52 synchronize by RaoulSchaffranek
4m 42s feat/composite-call-args
feat/composite-call-args
4m 42s
feat: decode composite (vec/map) call arguments; raise recursion limit Test #58: Pull request #52 opened by RaoulSchaffranek
4m 22s feat/composite-call-args
feat/composite-call-args
4m 22s
Merge pull request #51 from runtimeverification/fix/nix-source-filter… Release #46: Commit 7b2c71b pushed by RaoulSchaffranek
29m 22s main
main
29m 22s
fix(nix): anchor result* source filter so result_xdr.py is packaged Test #57: Pull request #51 opened by RaoulSchaffranek
6m 51s fix/nix-source-filter-result-xdr
fix/nix-source-filter-result-xdr
6m 51s
Merge pull request #50 from runtimeverification/deploy-release-lifecycle Release #45: Commit f590a69 pushed by RaoulSchaffranek
5m 17s main
main
5m 17s
Fold GitHub release steps into deploy.sh Test #56: Pull request #50 opened by RaoulSchaffranek
4m 31s deploy-release-lifecycle
deploy-release-lifecycle
4m 31s
Merge pull request #49 from runtimeverification/add-deploy-script Release #44: Commit a73ee7b pushed by RaoulSchaffranek
30m 19s main
main
30m 19s
Add manual deployment script as single source of truth Test #55: Pull request #49 synchronize by RaoulSchaffranek
9m 57s add-deploy-script
add-deploy-script
9m 57s
Add manual deployment script as single source of truth Test #54: Pull request #49 synchronize by RaoulSchaffranek
4m 31s add-deploy-script
add-deploy-script
4m 31s
Add manual deployment script as single source of truth Test #53: Pull request #49 synchronize by RaoulSchaffranek
3m 23s add-deploy-script
add-deploy-script
3m 23s
Add manual deployment script as single source of truth Test #52: Pull request #49 opened by RaoulSchaffranek
4m 45s add-deploy-script
add-deploy-script
4m 45s
Merge pull request #48 from runtimeverification/docs/sync-with-project Release #43: Commit da3a6c9 pushed by RaoulSchaffranek
19m 46s main
main
19m 46s
docs: sync with current server, refactor, and trace format Test #51: Pull request #48 opened by RaoulSchaffranek
6m 46s docs/sync-with-project
docs/sync-with-project
6m 46s
Merge pull request #47 from runtimeverification/add-gh-cli-devcontainer Release #42: Commit d9b04b5 pushed by RaoulSchaffranek
19m 48s main
main
19m 48s
Add GitHub CLI to devcontainer with persistent auth Test #50: Pull request #47 synchronize by RaoulSchaffranek
9m 37s add-gh-cli-devcontainer
add-gh-cli-devcontainer
9m 37s
Add GitHub CLI to devcontainer with persistent auth Test #49: Pull request #47 opened by RaoulSchaffranek
6m 52s add-gh-cli-devcontainer
add-gh-cli-devcontainer
6m 52s
Graph Update: uv in /. #1476219278 Dependency Graph #8: by dependabot Bot
50s main
main
50s
Merge pull request #46 from runtimeverification/deps/bump-komet-v0.1.86 Release #41: Commit 2d8726f pushed by RaoulSchaffranek
30m 7s main
main
30m 7s
chore(deps): bump komet to v0.1.86 Test #48: Pull request #46 synchronize by RaoulSchaffranek
9m 45s deps/bump-komet-v0.1.86
deps/bump-komet-v0.1.86
9m 45s
chore(deps): bump komet to v0.1.86 Test #47: Pull request #46 opened by RaoulSchaffranek
4m 23s deps/bump-komet-v0.1.86
deps/bump-komet-v0.1.86
4m 23s
Merge pull request #45 from runtimeverification/refactor/dependency-i… Release #40: Commit b5b0642 pushed by RaoulSchaffranek
28m 55s main
main
28m 55s
refactor: invert server dependencies onto interfaces (DIP) Test #46: Pull request #45 synchronize by RaoulSchaffranek
5m 14s refactor/dependency-inversion
refactor/dependency-inversion
5m 14s
Merge pull request #44 from runtimeverification/refactor/architecture… Release #39: Commit de55339 pushed by RaoulSchaffranek
4m 38s main
main
4m 38s
refactor: invert server dependencies onto interfaces (DIP) Test #45: Pull request #45 opened by RaoulSchaffranek
1m 14s refactor/dependency-inversion
refactor/dependency-inversion
1m 14s
refactor: ChainStore, RpcError, typed boundaries, errors module Test #44: Pull request #44 synchronize by RaoulSchaffranek
4m 44s refactor/architecture-store-types
refactor/architecture-store-types
4m 44s