Skip to content

Actions: hyperpolymath/protocol-squisher

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
396 workflow runs
396 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
feat: wire conflow config validation pipeline CodeQL #246: Commit 4d40de7 pushed by hyperpolymath
3h 53m 23s main
main
3h 53m 23s
chore: add eclexiaiser.toml energy-cost manifest CodeQL #245: Commit e5661b5 pushed by hyperpolymath
3h 4m 54s main
main
3h 4m 54s
feat: add tlaiser state machine specs for protocol interoperability e… CodeQL #244: Commit 3e4c697 pushed by hyperpolymath
2h 10m 33s main
main
2h 10m 33s
chore: add k9iser.toml (Batch 2A) CodeQL #243: Commit ec864a6 pushed by hyperpolymath
2h 38m 30s main
main
2h 38m 30s
chore(deps): bump toml from 1.1.0+spec-1.1.0 to 1.1.2+spec-1.1.0 (#34) CodeQL #242: Commit b6f77cd pushed by hyperpolymath
2h 25m 28s main
main
2h 25m 28s
chore(deps): bump tokio from 1.50.0 to 1.51.0 (#35) CodeQL #241: Commit 4888856 pushed by hyperpolymath
2h 19m 2s main
main
2h 19m 2s
chore(deps): bump semver from 1.0.27 to 1.0.28 (#36) CodeQL #240: Commit 1e72ba5 pushed by hyperpolymath
2h 19m 26s main
main
2h 19m 26s
chore(deps): bump semver from 1.0.27 to 1.0.28 CodeQL #239: Pull request #36 opened by dependabot Bot
2h 13m 41s dependabot/cargo/semver-1.0.28
dependabot/cargo/semver-1.0.28
2h 13m 41s
chore(deps): bump tokio from 1.50.0 to 1.51.0 CodeQL #238: Pull request #35 opened by dependabot Bot
2h 4m 31s dependabot/cargo/tokio-1.51.0
dependabot/cargo/tokio-1.51.0
2h 4m 31s
chore(deps): bump toml from 1.1.0+spec-1.1.0 to 1.1.2+spec-1.1.0 CodeQL #237: Pull request #34 opened by dependabot Bot
2h 19m 20s dependabot/cargo/toml-1.1.2spec-1.1.0
dependabot/cargo/toml-1.1.2spec-1.1.0
2h 19m 20s
ci: deploy dogfood-gate, add Groove manifest and tests; update CI config CodeQL #236: Commit 7261727 pushed by hyperpolymath
1h 44m 16s main
main
1h 44m 16s
docs: substantive CRG C annotation (EXPLAINME.adoc) CodeQL #235: Commit 538c013 pushed by hyperpolymath
33m 23s main
main
33m 23s
test: CRG C grade — update TEST-NEEDS reflecting 1378 passing tests CodeQL #234: Commit f6ae6e9 pushed by hyperpolymath
46s main
main
46s
proof: replace postulate with constructive JSON model in CarriesInvar… CodeQL #233: Commit 91c0fe9 pushed by hyperpolymath
54s main
main
54s
fix: remove tracked Zig build artifacts, update gitignore CodeQL #232: Commit 2ec6725 pushed by hyperpolymath
4m 57s main
main
4m 57s
docs: mark unwrap() removal as complete (29/29 crates) CodeQL #231: Commit 4231afb pushed by hyperpolymath
39s main
main
39s
chore: sync shape-ir test modifications + audit docs CodeQL #230: Commit e70b08a pushed by hyperpolymath
16m 49s main
main
16m 49s
docs: checkpoint — 8/29 crates done, shape-ir agent failed CodeQL #229: Commit 04f3f0d pushed by hyperpolymath
47s main
main
47s
refactor(flatbuffers-analyzer): replace unwrap() with expect() in tests CodeQL #228: Commit 145bd7b pushed by hyperpolymath
1m 8s main
main
1m 8s
refactor(protobuf-analyzer): replace unwrap() with expect() in tests CodeQL #227: Commit df6d463 pushed by hyperpolymath
1m 24s main
main
1m 24s
refactor(avro-analyzer): replace unwrap() with expect() in tests CodeQL #226: Commit 7be28c5 pushed by hyperpolymath
51s main
main
51s
docs: update unwrap removal progress tracker — 5/29 crates done CodeQL #225: Commit b062c61 pushed by hyperpolymath
43s main
main
43s
refactor(capnproto,thrift,rust-analyzer): replace unwrap() with expect() CodeQL #224: Commit 61578bd pushed by hyperpolymath
44s main
main
44s
refactor(rescript-analyzer): replace unwrap() with expect() in src/ t… CodeQL #223: Commit 9ebe946 pushed by hyperpolymath
45s main
main
45s
CodeQL CodeQL #222: Scheduled
51s main
main
51s