Skip to content

Actions: advancedengineeredsoftware/Bitcode

Actions

Docs Refresh Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs-refresh.yml
621 workflow runs
621 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
spec: V25, initial Bitcode rename Docs Refresh Check #21: Commit 249a6b3 pushed by geraldarthurdavis
40s main
main
40s
spec: V24, realize external interfacings Docs Refresh Check #20: Commit ef81d87 pushed by geraldarthurdavis
43s main
main
43s
spec: V23, use Bitcoin as infrastructure Docs Refresh Check #19: Commit df192a7 pushed by geraldarthurdavis
41s main
main
41s
spec: V22, clean-up prototyping drift Docs Refresh Check #18: Commit 4644b39 pushed by geraldarthurdavis
42s main
main
42s
spec: V21, proper specifications requiring Docs Refresh Check #17: Commit aa84375 pushed by geraldarthurdavis
43s main
main
43s
spec: V20, projection ("terminal" UX/UI) proving Docs Refresh Check #16: Commit 059a566 pushed by geraldarthurdavis
42s main
main
42s
spec: V19, structuring canonical proof confidence Docs Refresh Check #15: Commit 514ed45 pushed by geraldarthurdavis
37s main
main
37s
spec: V18, generated canon formality replay hardening Docs Refresh Check #14: Commit a108cbe pushed by geraldarthurdavis
41s main
main
41s
spec: V17, demonstration and testing surfacing proof progress Docs Refresh Check #13: Commit 644119a pushed by geraldarthurdavis
38s main
main
38s
spec: V16, proofs closures of engineering asseting Docs Refresh Check #12: Commit 18f5a2e pushed by geraldarthurdavis
40s main
main
40s
spec: V15, typed contracts refactor and metaspecing Docs Refresh Check #11: Commit 8b1ccbc pushed by geraldarthurdavis
42s main
main
42s
spec: technictize specifications, V14 Docs Refresh Check #10: Commit 95d1db1 pushed by geraldarthurdavis
41s main
main
41s
spec: demo v12 with tooltips, start demo e2e tests Docs Refresh Check #9: Commit c5997db pushed by geraldarthurdavis
47s main
main
47s
spec: V12, foreground depositing, needing, and fit Docs Refresh Check #8: Commit b686f1a pushed by geraldarthurdavis
42s main
main
42s
start v10 Docs Refresh Check #7: Commit 2a6129e pushed by geraldarthurdavis
42s main
main
42s
spec: add visual raw demo artifact views Docs Refresh Check #6: Commit 6b3d407 pushed by geraldarthurdavis
39s main
main
39s
spec: codify V7 demo QA and audit Docs Refresh Check #5: Commit 290e96e pushed by geraldarthurdavis
37s main
main
37s
spec: deepen ENGI demo parity and draft V7 Docs Refresh Check #4: Commit e4e0c84 pushed by geraldarthurdavis
42s main
main
42s
title update Docs Refresh Check #3: Commit f5b65ee pushed by geraldarthurdavis
41s main
main
41s
landing page: simplify scroll and minor prose tweaks Docs Refresh Check #2: Commit 151e2e9 pushed by geraldarthurdavis
1m 36s main
main
1m 36s
initial commit Docs Refresh Check #1: Commit 6363771 pushed by geraldarthurdavis
20s main
main
20s
ProTip! You can narrow down the results and go further in time using created:<2025-11-12 or the other filters available.