Skip to content

Actions: fraware/scientific-memory

Actions

lean-ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean-ci.yml
79 workflow runs
79 workflow runs

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
Polish documentation for public release. lean-ci #79: Commit 784140b pushed by fraware
1m 14s main
main
1m 14s
Consolidate PCS documentation and refresh release fixtures for pcs-be… lean-ci #78: Commit fff08e7 pushed by fraware
1m 11s main
main
1m 11s
Complete pcs-bench release-grade producer pipeline and CI gates. lean-ci #77: Commit 2fe935d pushed by fraware
1m 23s main
main
1m 23s
Add release-grade pcs-bench producer gate and ingest validation. lean-ci #76: Commit 755b631 pushed by fraware
1m 44s main
main
1m 44s
Embed pcs-core benchmark objects in PcsBenchIngest for pcs-bench. lean-ci #75: Commit 56162c2 pushed by fraware
2m 3s main
main
2m 3s
adding pcs bench release runs lean-ci #74: Commit 1bc32bd pushed by fraware
1m 24s main
main
1m 24s
Add external reviewer PCS benchmark suite and ingest v0. lean-ci #73: Commit 31c02f8 pushed by fraware
1m 30s main
main
1m 30s
Add PCS rendering benchmark v0 reports and pcs-bench ingest. lean-ci #72: Commit e42cf6a pushed by fraware
1m 33s main
main
1m 33s
Add PCS rendering benchmarks and formal check release comparison. lean-ci #71: Commit 7db4e85 pushed by fraware
1m 13s main
main
1m 13s
Add PCS rendering benchmarks and formal check release comparison. lean-ci #70: Commit 4ffacb7 pushed by fraware
1m 26s main
main
1m 26s
Add PCS formal trust kernel import, rendering, and query commands. lean-ci #69: Commit 8e6f1b6 pushed by fraware
1m 19s main
main
1m 19s
Fix labtrust release-chain fixtures and add computation PCS releases. lean-ci #68: Commit 9cfbcaa pushed by fraware
1m 9s main
main
1m 9s
Fix labtrust release-chain fixtures and add computation PCS releases. lean-ci #67: Commit 5ebd393 pushed by fraware
1m 10s main
main
1m 10s
Fix labtrust release-chain fixtures and add computation PCS releases. lean-ci #66: Commit f5d6102 pushed by fraware
1m 21s main
main
1m 21s
Fix labtrust release-chain fixtures and add computation PCS releases. lean-ci #65: Commit fa50289 pushed by fraware
1m 10s main
main
1m 10s
Fix labtrust release-chain fixtures and add computation PCS releases. lean-ci #64: Commit 56802a1 pushed by fraware
2m 27s main
main
2m 27s
Fix labtrust release-chain fixtures and add computation PCS releases. lean-ci #63: Commit 0eb69b1 pushed by fraware
1m 25s main
main
1m 25s
PCS multi-domain releases, tool-use import, and cross-platform RC gate lean-ci #62: Commit 796bb99 pushed by fraware
1m 13s main
main
1m 13s
Add PCS handoff manifests and ArtifactRegistry.v0 consumer. lean-ci #61: Commit 0e059e9 pushed by fraware
1m 28s main
main
1m 28s
Add PCS claims index, cross-claim queries, and cross-platform gate lean-ci #60: Commit a64e5e7 pushed by fraware
1m 12s main
main
1m 12s
Make PCS release import the evidence interface lean-ci #59: Commit 31dce1b pushed by fraware
1m 24s main
main
1m 24s
Refresh Phase 2 labtrust fixtures lean-ci #58: Commit a14dbe0 pushed by fraware
1m 15s main
main
1m 15s
Add canonical RC import and render gate with release-mode negative te… lean-ci #57: Commit 0f05867 pushed by fraware
1m 9s main
main
1m 9s
Sync corpus PCS import report with canonical fixture. lean-ci #56: Commit 67498ff pushed by fraware
1m 10s main
main
1m 10s
Add canonical RC import/render gate tests with pcs-core drift enforce… lean-ci #55: Commit bb550d4 pushed by fraware
1m 20s main
main
1m 20s