Skip to content

Actions: schgoo/specgate

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow runs
40 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
Accept NaN, Infinity, -Infinity CI #31: Commit 32407d7 pushed by schgoo
20m 11s main
main
20m 11s
Add documentation on CTSC collection ordering CI #30: Commit 833710c pushed by schgoo
27m 10s main
main
27m 10s
Add more corpus examples. Split spec into trace/registry specs. Updat… CI #29: Commit 7bb0799 pushed by schgoo
25m 53s main
main
25m 53s
Add conformance trace semantic conventions docs CI #28: Commit 591c4e7 pushed by schgoo
26m 4s main
main
26m 4s
feat(fixtures): validate .NET-to-Rust port CI #27: Commit bb75bd8 pushed by schgoo
50m 5s main
main
50m 5s
Reorganize fixtures doc CI #26: Commit 3a22e9e pushed by schgoo
21m 55s main
main
21m 55s
docs(fixtures): catalog the real-build witness fixture CI #25: Commit 957822c pushed by schgoo
28m 26s main
main
28m 26s
refactor(harness): resolve ops only by (component, op) CI #24: Commit 0f075d5 pushed by schgoo
21m 1s main
main
21m 1s
feat: deeper extract --cases for methods and state machines CI #23: Commit 5acb891 pushed by schgoo
27m 38s main
main
27m 38s
docs: comprehensive documentation refresh CI #22: Commit 4b30523 pushed by schgoo
28m 2s main
main
28m 2s
ci: run self-host and other just-check steps in CI CI #21: Commit 5a5bb3a pushed by schgoo
22m 43s main
main
22m 43s
chore: close harness-run coverage feature CI #20: Commit 57aed2b pushed by schgoo
17m 15s main
main
17m 15s
feat(harness): include compiler diagnostics in compile-failure errors CI #19: Commit 4bfb4f8 pushed by schgoo
18m 8s main
main
18m 8s
docs: document specgate validate as the standard validation tool CI #18: Commit 6a76ff2 pushed by schgoo
17m 53s main
main
17m 53s
chore: bump to 0.5.0 (breaking: invisible-setup model + complex input… Release #9: Commit 8141f49 pushed by schgoo
3m 54s v0.5.0
v0.5.0
3m 54s
chore: bump to 0.5.0 (breaking: invisible-setup model + complex input… CI #17: Commit 8141f49 pushed by schgoo
17m 24s main
main
17m 24s
chore: bump to 0.4.0 (breaking: trace format + return-type declarations) Release #8: Commit 2a1512c pushed by schgoo
3m 52s v0.4.0
v0.4.0
3m 52s
chore: bump to 0.4.0 (breaking: trace format + return-type declarations) CI #16: Commit 2a1512c pushed by schgoo
15m 25s main
main
15m 25s
feat(harness): serde-tagged enum trace format and multi-file operatio… CI #15: Commit c316ad5 pushed by schgoo
15m 40s main
main
15m 40s
spec: new enum/option/result trace format + all_fixture_specs_complet… CI #14: Commit 117936a pushed by schgoo
15m 15s main
main
15m 15s
chore: bump to v0.3.0 — tightened public API, authoring guidance Release #7: Commit 961ab2e pushed by schgoo
3m 56s v0.3.0
v0.3.0
3m 56s
chore: bump to v0.3.0 — tightened public API, authoring guidance CI #13: Commit 961ab2e pushed by schgoo
13m 8s main
main
13m 8s
docs: primitives vs structured types guidance in authoring skill CI #12: Commit f517e0f pushed by schgoo
13m 54s main
main
13m 54s
fix(release): exclude circular dev-dep tests from harness package Release #6: Commit 8ed85eb pushed by schgoo
3m 52s v0.2.1
v0.2.1
3m 52s
fix(release): exclude circular dev-dep tests from harness package CI #11: Commit 8ed85eb pushed by schgoo
14m 35s main
main
14m 35s