Skip to content

Actions: squid-protocol/gitgalaxy

Actions

Deploy Museum of Code Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-docs.yml
2,500+ workflow runs
2,500+ 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
docs: auto-update graph comparison data (#4230) Deploy Museum of Code Docs #2898: Commit d8a41d3 pushed by squid-protocol
1m 50s main
main
1m 50s
docs: auto-update mainframe ground-truth history (#4229) Deploy Museum of Code Docs #2897: Commit 51095a4 pushed by squid-protocol
19s main
main
19s
docs: auto-update tri-comparison data (#4228) Deploy Museum of Code Docs #2896: Commit d17bb53 pushed by squid-protocol
1m 22s main
main
1m 22s
Bug sweep (COBOL engine): #4204 #4205 #4203 (#4227) Deploy Museum of Code Docs #2895: Commit e3d471f pushed by squid-protocol
1m 17s main
main
1m 17s
fix(answer-key): model multi-program sources -- sibling and nested pr… Deploy Museum of Code Docs #2894: Commit 0f1be1b pushed by squid-protocol
1m 6s main
main
1m 6s
docs: auto-update graph comparison data (#4225) Deploy Museum of Code Docs #2893: Commit 4f5b3ac pushed by squid-protocol
1m 32s main
main
1m 32s
docs: auto-update tri-comparison data (#4224) Deploy Museum of Code Docs #2892: Commit ce394a2 pushed by squid-protocol
54s main
main
54s
docs: auto-update tree-sitter accuracy data (#4223) Deploy Museum of Code Docs #2891: Commit 0b0ceed pushed by squid-protocol
1m 23s main
main
1m 23s
fix(easytrieve): extraction parser fixes and keyword rosetta (#4222) Deploy Museum of Code Docs #2890: Commit 2c7b6e3 pushed by squid-protocol
1m 16s main
main
1m 16s
tests: det program expectations follow the one-line Field shape; CI i… Deploy Museum of Code Docs #2889: Commit 04769f4 pushed by squid-protocol
1m 49s main
main
1m 49s
docs: auto-update mainframe ground-truth history (#4221) Deploy Museum of Code Docs #2888: Commit e4f1f10 pushed by squid-protocol
1m 18s main
main
1m 18s
docs: third-party material policy (comparing other translators) (#4219) Deploy Museum of Code Docs #2887: Commit c0a7e90 pushed by squid-protocol
1m 15s main
main
1m 15s
Estate 4: IBM DBB MortgageApplication -- EPSNBRVL and EPSCMORT proven… Deploy Museum of Code Docs #2886: Commit ed2f3f6 pushed by squid-protocol
1m 5s main
main
1m 5s
det ports: typed values by default (proves 49/51), initialState() (-2… Deploy Museum of Code Docs #2885: Commit 908f88d pushed by squid-protocol
2m 18s main
main
2m 18s
docs: auto-update LLM architectural brief (#4217) Deploy Museum of Code Docs #2884: Commit f0c3c18 pushed by squid-protocol
1m 16s main
main
1m 16s
equivalence: a port's proof runs the programs its task LINKs to as Ja… Deploy Museum of Code Docs #2883: Commit 646369c pushed by squid-protocol
1m 17s main
main
1m 17s
docs: auto-update graph comparison data (#4215) Deploy Museum of Code Docs #2882: Commit 3d858b0 pushed by squid-protocol
5m 17s main
main
5m 17s
docs: auto-update tri-comparison data (#4214) Deploy Museum of Code Docs #2881: Commit fdb8b57 pushed by squid-protocol
3m 23s main
main
3m 23s
dead_code: commented-out statements count in the ;-terminated C-famil… Deploy Museum of Code Docs #2880: Commit 1705916 pushed by squid-protocol
1m 5s main
main
1m 5s
det ports: one-line field declarations (-20.7% code lines) and named … Deploy Museum of Code Docs #2879: Commit 984fffe pushed by squid-protocol
2m 0s main
main
2m 0s
det_survey: classpath from the estate's declared dependencies; work d… Deploy Museum of Code Docs #2878: Commit 0e67e6f pushed by squid-protocol
1m 29s main
main
1m 29s
SQL fault injection in the equivalence harness (#4173); a LINK COMMAR… Deploy Museum of Code Docs #2877: Commit 0c4c123 pushed by squid-protocol
22s main
main
22s
porting loop: adopt tidies the scaffold's stale TODOs (comments only,… Deploy Museum of Code Docs #2876: Commit b8c0ac0 pushed by squid-protocol
13s main
main
13s
docs(research): COBOL→Java translation, observed — one harness, one s… Deploy Museum of Code Docs #2875: Commit b9e5ccb pushed by squid-protocol
15s main
main
15s
Model ports beyond CardDemo: CBSA UPDACC, GenApp LGICDB01 and LGAPVS0… Deploy Museum of Code Docs #2874: Commit bdbe1ad pushed by squid-protocol
1m 8s main
main
1m 8s