Skip to content

Actions: Valisthea/covenant-language

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
39 workflow runs
39 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
Make the capability registry's prose checkable, and the e2e negative … CI #33: Commit 79d62a8 pushed by Valisthea
1m 8s main
main
1m 8s
End-to-end gate: prove compiler output runs on a real EVM CI #32: Commit 6779bbc pushed by Valisthea
1m 5s main
main
1m 5s
Sprint 7: a strict deploy profile, and a capability registry bound to… CI #31: Commit 8c9a09f pushed by Valisthea
46s main
main
46s
Sprint 2.4: route the last two helper paths through the central gate CI #30: Commit 9c8050d pushed by Valisthea
45s main
main
45s
Selector test now covers all 20 manifest entries, and reconcile the d… CI #29: Commit 724b63a pushed by Valisthea
44s main
main
44s
Sprint 2, parts 1 to 3: the call site now obeys the method, not the t… CI #28: Commit 09dc637 pushed by Valisthea
53s main
main
53s
Rename the destruction opcode, without moving the wire name CI #27: Commit e249720 pushed by Valisthea
49s main
main
49s
Sprints 1 and 5: correct the published registry, and gate the portabl… CI #26: Commit f1b041f pushed by Valisthea
44s main
main
44s
cargo-fuzz cargo-fuzz #2: Scheduled
4h 1m 33s main
main
4h 1m 33s
The default target shipped mock addresses in silence, and E533 overst… CI #25: Commit 6dc227e pushed by Valisthea
57s main
main
57s
Orbit guide: E533 closes half the CREATE2 gap it flagged as open CI #24: Commit 4333e4f pushed by Valisthea
48s main
main
48s
Plugin: make every claim survive the compiler it describes CI #23: Commit d137759 pushed by Valisthea
45s main
main
45s
The linter told users to write code the compiler refuses CI #22: Commit 073f0f2 pushed by Valisthea
40s main
main
40s
Refuse helper calls for a target whose helpers were never verified de… CI #21: Commit 8c05567 pushed by Valisthea
45s main
main
45s
MCP: the template test stopped at the type checker, and three templat… CI #20: Commit 0018686 pushed by Valisthea
37s main
main
37s
Remove every em and en dash from the repository CI #19: Commit e38be52 pushed by Valisthea
49s main
main
49s
Do not fail a good release on a crates.io token that was never set CI #18: Commit fb63fb3 pushed by Valisthea
46s main
main
46s
Publish to both marketplaces in one command CI #17: Commit 977654f pushed by Valisthea
54s main
main
54s
MCP crate: strip the dashes and the stale version labels it arrived with CI #16: Commit 939bbf3 pushed by Valisthea
51s main
main
51s
Bring the MCP server into the workspace it claims to compile with CI #15: Commit ac08094 pushed by Valisthea
1m 6s main
main
1m 6s
Release notes: read the tag, not the branch CI #14: Commit 233120b pushed by Valisthea
45s main
main
45s
Release pipeline: skip crates.io on a manual rebuild CI #13: Commit 58ecb51 pushed by Valisthea
35s main
main
35s
Release Release #4: Manually run by Valisthea
3m 16s main
main
3m 16s
Release pipeline: stop shipping releases with missing platforms CI #12: Commit 0d51494 pushed by Valisthea
41s main
main
41s
release: v0.9.7 Release #3: Commit 546b7b4 pushed by Valisthea
36m 36s v0.9.7
v0.9.7
36m 36s