Skip to content

Actions: advancedengineeredsoftware/Bitcode

Actions

Casing and Import Consistency

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
casing-check.yml
1,455 workflow runs
1,455 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
wip v26 Casing and Import Consistency #30: Commit 2c36617 pushed by geraldarthurdavis
19s main
main
19s
wip v26 Casing and Import Consistency #29: Commit a28d065 pushed by geraldarthurdavis
19s main
main
19s
wip v26 Casing and Import Consistency #28: Commit b1b4222 pushed by geraldarthurdavis
16s main
main
16s
wip v26 Casing and Import Consistency #27: Commit 6a60558 pushed by geraldarthurdavis
22s main
main
22s
wip v26 Casing and Import Consistency #26: Commit 1506192 pushed by geraldarthurdavis
27s main
main
27s
wip v26 Casing and Import Consistency #25: Commit ee66dbf pushed by geraldarthurdavis
15s main
main
15s
wip v26 Casing and Import Consistency #24: Commit 09454ff pushed by geraldarthurdavis
37s main
main
37s
wip v26 Casing and Import Consistency #23: Commit cc1cc44 pushed by geraldarthurdavis
16s main
main
16s
logo Casing and Import Consistency #22: Commit fd508b9 pushed by geraldarthurdavis
16s main
main
16s
spec: V25, initial Bitcode rename Casing and Import Consistency #21: Commit 249a6b3 pushed by geraldarthurdavis
20s main
main
20s
spec: V24, realize external interfacings Casing and Import Consistency #20: Commit ef81d87 pushed by geraldarthurdavis
22s main
main
22s
spec: V23, use Bitcoin as infrastructure Casing and Import Consistency #19: Commit df192a7 pushed by geraldarthurdavis
16s main
main
16s
spec: V22, clean-up prototyping drift Casing and Import Consistency #18: Commit 4644b39 pushed by geraldarthurdavis
16s main
main
16s
spec: V21, proper specifications requiring Casing and Import Consistency #17: Commit aa84375 pushed by geraldarthurdavis
19s main
main
19s
spec: V20, projection ("terminal" UX/UI) proving Casing and Import Consistency #16: Commit 059a566 pushed by geraldarthurdavis
17s main
main
17s
spec: V19, structuring canonical proof confidence Casing and Import Consistency #15: Commit 514ed45 pushed by geraldarthurdavis
15s main
main
15s
spec: V18, generated canon formality replay hardening Casing and Import Consistency #14: Commit a108cbe pushed by geraldarthurdavis
16s main
main
16s
spec: V17, demonstration and testing surfacing proof progress Casing and Import Consistency #13: Commit 644119a pushed by geraldarthurdavis
21s main
main
21s
spec: V16, proofs closures of engineering asseting Casing and Import Consistency #12: Commit 18f5a2e pushed by geraldarthurdavis
18s main
main
18s
spec: V15, typed contracts refactor and metaspecing Casing and Import Consistency #11: Commit 8b1ccbc pushed by geraldarthurdavis
14s main
main
14s
spec: technictize specifications, V14 Casing and Import Consistency #10: Commit 95d1db1 pushed by geraldarthurdavis
16s main
main
16s
spec: demo v12 with tooltips, start demo e2e tests Casing and Import Consistency #9: Commit c5997db pushed by geraldarthurdavis
17s main
main
17s
spec: V12, foreground depositing, needing, and fit Casing and Import Consistency #8: Commit b686f1a pushed by geraldarthurdavis
14s main
main
14s
start v10 Casing and Import Consistency #7: Commit 2a6129e pushed by geraldarthurdavis
15s main
main
15s
spec: add visual raw demo artifact views Casing and Import Consistency #6: Commit 6b3d407 pushed by geraldarthurdavis
16s main
main
16s
ProTip! You can narrow down the results and go further in time using created:<2026-04-03 or the other filters available.