Skip to content

Actions: deterministic-intent/compiler

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
101 workflow runs
101 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: align V1_FREEZE.md with current freeze surface (no CURRENT_STAT… dcs-proof-enforcement #101: Commit 9cfde77 pushed by builtbyjustin
8m 39s main
main
8m 39s
Update CAPABILITIES.md dcs-proof-enforcement #100: Commit 2b5d579 pushed by builtbyjustin
6m 7s main
main
6m 7s
Clean up comments in BLOCKED_REASON_CODES.md dcs-proof-enforcement #99: Commit abab991 pushed by builtbyjustin
27s main
main
27s
docs: add reproducibility and schema governance (release tag → freeze… dcs-proof-enforcement #98: Commit 94d1421 pushed by builtbyjustin
4m 43s main
main
4m 43s
docs: align repo surface with DCS identity and verification scope dcs-proof-enforcement #97: Commit 19fe0fb pushed by builtbyjustin
4m 27s main
main
4m 27s
Add examples/real_pass.dcs and fix verify_step16 dcs-proof-enforcement #96: Commit 3b3da6d pushed by builtbyjustin
4m 21s main
main
4m 21s
Remove demo directory dcs-proof-enforcement #95: Commit 0544d3a pushed by builtbyjustin
4m 5s main
main
4m 5s
docs: define NLC as Normalized Logic Corpus dcs-proof-enforcement #94: Commit 797b5c1 pushed by builtbyjustin
4m 17s main
main
4m 17s
Remove unused mining artifacts and development files dcs-proof-enforcement #93: Commit 7ef7e52 pushed by builtbyjustin
4m 12s main
main
4m 12s
Restore required web allowlist file dcs-proof-enforcement #92: Commit 8863e92 pushed by builtbyjustin
4m 12s main
main
4m 12s
Align all snapshot IDs to 20260215T120000Z dcs-proof-enforcement #91: Commit 7a4d8c2 pushed by builtbyjustin
3m 47s main
main
3m 47s
Restore required contract rules file dcs-proof-enforcement #90: Commit 27820c0 pushed by builtbyjustin
4m 5s main
main
4m 5s
Delete unneccessary directory dcs-proof-enforcement #89: Commit 6b02965 pushed by builtbyjustin
4m 8s main
main
4m 8s
Delete unnecessary file dcs-proof-enforcement #88: Commit 0d68bd0 pushed by builtbyjustin
5m 9s main
main
5m 9s
Remove unnecessary adapters and related verification scripts dcs-proof-enforcement #87: Commit 336ecc9 pushed by builtbyjustin
4m 18s main
main
4m 18s
Add MIT License dcs-proof-enforcement #86: Commit 2cb3569 pushed by builtbyjustin
10m 17s main
main
10m 17s
docs: standardize on singular 'Deterministic Compiler System (DCS)' dcs-proof-enforcement #85: Commit 972936f pushed by builtbyjustin
9m 54s main
main
9m 54s
docs: final README polish dcs-proof-enforcement #84: Commit 4ba3d52 pushed by builtbyjustin
2m 25s main
main
2m 25s
docs: restructure README for public release dcs-proof-enforcement #83: Commit 3cdfc88 pushed by builtbyjustin
8m 0s main
main
8m 0s
docs: fix CLI usage examples to match actual implementation dcs-proof-enforcement #82: Commit 16e9abb pushed by builtbyjustin
9m 57s main
main
9m 57s
docs: add runtime estimate and fix README accuracy dcs-proof-enforcement #81: Commit b23cfa9 pushed by builtbyjustin
7m 1s main
main
7m 1s
docs: add external verification guide dcs-proof-enforcement #80: Commit 64219ab pushed by builtbyjustin
7m 16s main
main
7m 16s
cleanup: remove unused .repo_root_guard marker file dcs-proof-enforcement #79: Commit f4a0a98 pushed by builtbyjustin
7m 21s main
main
7m 21s
cleanup: remove state/, verifier logs, compiled artifacts, validation… dcs-proof-enforcement #78: Commit 1ab0396 pushed by builtbyjustin
6m 8s main
main
6m 8s
fix: restore gate status fixtures for binding matrix dcs-proof-enforcement #77: Commit 7a371c6 pushed by builtbyjustin
5m 49s main
main
5m 49s