Skip to content

Actions: ashhart/Syntra

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 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
Merge pull request #6 from ashhart/erdos160-proof-lab Publish demo image #12: Commit af9e816 pushed by ashhart
49m 17s main
main
49m 17s
Merge pull request #6 from ashhart/erdos160-proof-lab CI #29: Commit af9e816 pushed by ashhart
4m 58s main
main
4m 58s
proof-lab: add erdos160 (OPEN) finite-certificate target CI #28: Pull request #6 synchronize by ashhart
4m 59s erdos160-proof-lab
erdos160-proof-lab
4m 59s
proof-lab: add sat backend artifacts CI #27: Commit 2712d32 pushed by ashhart
4m 52s erdos160-proof-lab
erdos160-proof-lab
4m 52s
proof-lab: add erdos160 (OPEN) finite-certificate target CI #26: Pull request #6 opened by ashhart
4m 52s erdos160-proof-lab
erdos160-proof-lab
4m 52s
proof-lab: add erdos160 (OPEN) finite-certificate target CI #25: Commit f682ca0 pushed by ashhart
5m 0s erdos160-proof-lab
erdos160-proof-lab
5m 0s
Add Erdos #160 proof-lab target CI #24: Pull request #5 opened by ashhart
4m 58s proof-lab-erdos160
proof-lab-erdos160
4m 58s
add erdos160 proof-lab target CI #23: Commit 8db0292 pushed by ashhart
5m 13s proof-lab-erdos160
proof-lab-erdos160
5m 13s
add proof lab workbench (#4) Publish demo image #11: Commit 48f97b5 pushed by ashhart
51m 19s main
main
51m 19s
add proof lab workbench (#4) CI #22: Commit 48f97b5 pushed by ashhart
4m 54s main
main
4m 54s
Add proof lab workbench CI #21: Pull request #4 opened by ashhart
5m 11s salvage-adoption-polish
salvage-adoption-polish
5m 11s
add proof lab workbench CI #20: Commit 9b574ea pushed by ashhart
4m 51s salvage-adoption-polish
salvage-adoption-polish
4m 51s
Publish demo image Publish demo image #10: Manually run by ashhart
49m 16s main
main
49m 16s
add governed llm routing demo CI #19: Commit d510832 pushed by ashhart
4m 47s main
main
4m 47s
add replay promotion gates Publish demo image #9: Commit aaf79ae pushed by ashhart
26m 43s main
main
26m 43s
add replay promotion gates CI #18: Commit aaf79ae pushed by ashhart
4m 51s main
main
4m 51s
clean stale docs and generated ignores CI #17: Commit df69ed7 pushed by ashhart
4m 46s main
main
4m 46s
clean stale docs and generated ignores Publish demo image #8: Commit df69ed7 pushed by ashhart
27m 54s main
main
27m 54s
rebrand client package namespaces CI #16: Commit 53c8366 pushed by ashhart
2m 34s main
main
2m 34s
update repo URLs and image namespace CI #15: Commit a81671f pushed by ashhart
2m 25s main
main
2m 25s
update readme CI #14: Commit b7ab2f0 pushed by ashhart
2m 27s main
main
2m 27s
update readme Publish demo image #7: Commit b7ab2f0 pushed by ashhart
51m 56s main
main
51m 56s
docs: note repo-read eval migration path CI #13: Commit 8db2b3e pushed by ashhart
2m 28s main
main
2m 28s
docs: add repo-read eval harness CI #12: Commit 5c7bb5a pushed by ashhart
2m 34s main
main
2m 34s
docs: require demo proof layer in first-pass summaries CI #11: Commit 86e0b12 pushed by ashhart
2m 35s main
main
2m 35s