Skip to content

Actions: ze-software/ze

Actions

CodeQL Advanced

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
402 workflow runs
402 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: three design-stage specs on login, authorisation, vpp CodeQL Advanced #327: Commit ccd237b pushed by thomas-mangin
9m 44s main
main
9m 44s
test(rpki): prove re-validation reaches the Adj-RIB-In after a late sync CodeQL Advanced #326: Commit 72ac328 pushed by thomas-mangin
9m 50s main
main
9m 50s
skill(review): hand the diff in, and size the lens count to the risk CodeQL Advanced #325: Commit b43bfe1 pushed by thomas-mangin
9m 47s main
main
9m 47s
chore(plan): close spec-session-bin-directory CodeQL Advanced #324: Commit 729644d pushed by thomas-mangin
9m 26s main
main
9m 26s
feat(session): a session's binaries live in its own dated directory CodeQL Advanced #323: Commit 5a9db3c pushed by thomas-mangin
9m 40s main
main
9m 40s
fix(attribute): size a header by its ext-length flag, not its length CodeQL Advanced #322: Commit 01e4335 pushed by thomas-mangin
9m 51s main
main
9m 51s
test(plugin): make five fixtures assert what their names claim CodeQL Advanced #321: Commit d416592 pushed by thomas-mangin
9m 40s main
main
9m 40s
plan(web-templ): the optional Go-literal phase becomes AC-7 CodeQL Advanced #320: Commit 7b68d29 pushed by thomas-mangin
9m 48s main
main
9m 48s
fix(install): follow the installConfig rename into the linux files CodeQL Advanced #319: Commit 9429a95 pushed by thomas-mangin
7m 48s main
main
7m 48s
tooling(journal): close spec-problem-journal CodeQL Advanced #318: Commit 9e5d42f pushed by thomas-mangin
9m 37s main
main
9m 37s
fix(bgp): roll back an installed prefix set on any refusal CodeQL Advanced #317: Commit 90ddfa6 pushed by thomas-mangin
9m 40s main
main
9m 40s
feat(agents): give phase agents a tools list, and measure the saving CodeQL Advanced #316: Commit 7996eb2 pushed by thomas-mangin
9m 49s main
main
9m 49s
rules: a verify duration is an environment measurement, not a fact CodeQL Advanced #315: Commit 8e474c8 pushed by thomas-mangin
9m 36s main
main
9m 36s
rules: stop hand-typing how long ze-verify takes CodeQL Advanced #314: Commit e21173a pushed by thomas-mangin
9m 28s main
main
9m 28s
chore(vendor): retire the gokrazy updater fork, accept upstream CodeQL Advanced #313: Commit 0d23629 pushed by thomas-mangin
3m 32s main
main
3m 32s
Merge pull request #10 from ze-software/dependabot/go_modules/go-modu… CodeQL Advanced #312: Commit 2d3c8e7 pushed by thomas-mangin
3m 13s main
main
3m 13s
chore: land work in progress from stopped sessions CodeQL Advanced #311: Commit 73f1fff pushed by thomas-mangin
9m 37s main
main
9m 37s
plan(ike): block the child-rekey proof on its seam decision CodeQL Advanced #310: Commit 2e002f7 pushed by thomas-mangin
7m 58s main
main
7m 58s
CodeQL Advanced CodeQL Advanced #309: Scheduled
10m 5s main
main
10m 5s
build(deps): bump the go-modules group across 1 directory with 2 updates CodeQL Advanced #308: Pull request #10 synchronize by dependabot Bot
3m 36s dependabot/go_modules/go-modules-8f15168067
dependabot/go_modules/go-modules-8f15168067
3m 36s
test(config): cover the claims audit, leaf length, and web extraction CodeQL Advanced #307: Commit f445004 pushed by thomas-mangin
11m 20s main
main
11m 20s
fix(review-gate): accept every spelling of a spec reference CodeQL Advanced #306: Commit 15407ad pushed by thomas-mangin
9m 42s main
main
9m 42s
fix(config): register the web certificate key its reader already calls CodeQL Advanced #305: Commit 42ad71a pushed by thomas-mangin
9m 25s main
main
9m 25s
docs(rules): record the owner ruling on the tracked-build exemption CodeQL Advanced #304: Commit 8f555d8 pushed by thomas-mangin
9m 28s main
main
9m 28s
test(rfc): fix three polarities and prove the MP_UNREACH wire leg CodeQL Advanced #303: Commit cd4e692 pushed by thomas-mangin
8m 31s main
main
8m 31s