Skip to content

Actions: kogriv/codemap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
116 workflow runs
116 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
research: the same desk pass for Rust, and the confusion it has to cl… CI #116: Commit f45480c pushed by kogriv
3m 49s main
main
3m 49s
research: record the Go coverage overview as desk, and say so in the … CI #115: Commit deea1d7 pushed by kogriv
3m 52s main
main
3m 52s
docs: 0.0.21 is out, and the sound-contract rows are the ones worth m… CI #114: Commit 4d090bb pushed by kogriv
3m 42s main
main
3m 42s
release: codemap 0.0.21 — two gates that claimed more confidence than… CI #113: Commit 9a9fc99 pushed by kogriv
4m 2s main
main
4m 2s
feat(answers): the answer has a version now, independently of the sch… CI #112: Commit 64720bb pushed by kogriv
3m 4s main
main
3m 4s
fix(contract): a rule with nothing to cover is no longer counted as e… CI #111: Commit f261963 pushed by kogriv
3m 44s main
main
3m 44s
backlog: R1-C63 — the answer format is a consumer contract and has no… CI #110: Commit b95e592 pushed by kogriv
3m 56s main
main
3m 56s
research(R1.5): intent-continuity, run — and it found a vacuous rule … CI #109: Commit 014f41f pushed by kogriv
3m 44s main
main
3m 44s
research(R1.6): a sixth family, a third PPR sighting, and one claim o… CI #108: Commit 83a4d3d pushed by kogriv
3m 51s main
main
3m 51s
research(R2.2): rag_for_git Stage A — two graphs behind one surface, … CI #107: Commit dfc89fb pushed by kogriv
4m 0s main
main
4m 0s
research(R2.2): pre-register the rag_for_git разбор before touching it CI #106: Commit dac773b pushed by kogriv
3m 38s main
main
3m 38s
docs(blog): post 09 — the answer was true and worthless CI #105: Commit b86c262 pushed by kogriv
3m 39s main
main
3m 39s
docs: 0.0.20 is out, and the second fixture is the one that mattered CI #104: Commit 18f7d53 pushed by kogriv
3m 49s main
main
3m 49s
release: codemap 0.0.20 — the unit of a cycle answer is the tangle CI #103: Commit 58bcb63 pushed by kogriv
3m 48s main
main
3m 48s
fix(cycles): the unit is the tangle, not the cycle — pieces are combi… CI #102: Commit 379d7a8 pushed by kogriv
3m 45s main
main
3m 45s
docs: 0.0.19 is out, and the verification fixture had to be verified … CI #101: Commit 9fcb168 pushed by kogriv
3m 50s main
main
3m 50s
release: codemap 0.0.19 — three packages by other people, three defec… CI #100: Commit 825355c pushed by kogriv
4m 12s main
main
4m 12s
fix(facade): a package whose whole job is re-export broke three ways … CI #99: Commit 82acd24 pushed by kogriv
3m 36s main
main
3m 36s
fix(imports): a .pyi is never executed, so it cannot close an impor… CI #98: Commit 48be184 pushed by kogriv
3m 45s main
main
3m 45s
fix(dead-code): an override is reached through its base, so it cannot… CI #97: Commit 5833c8b pushed by kogriv
3m 35s main
main
3m 35s
docs(dogfood): the third shape answered — one control failed and four… CI #96: Commit cbfb6db pushed by kogriv
3m 46s main
main
3m 46s
docs(dogfood): third shape — the expectations, written before the run CI #95: Commit c441b80 pushed by kogriv
3m 41s main
main
3m 41s
docs(blog): two posts the narrative layer was holding, and a status p… CI #94: Commit 3b09cf2 pushed by kogriv
3m 48s main
main
3m 48s
docs: 0.0.18 is out, and the procedure that verifies releases was thi… CI #93: Commit bccd8a8 pushed by kogriv
3m 43s main
main
3m 43s
release: codemap 0.0.18 — narrowings declare themselves, and one grap… CI #92: Commit 7071b33 pushed by kogriv
3m 44s main
main
3m 44s