Skip to content

Actions: xmap/cora

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
92 workflow runs
92 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
build(deps): Update pyjwt[crypto] requirement from <3,>=2.10.0 to >=2.13.0,<3 in /apps/api CodeQL #92: Pull request #14 opened by dependabot Bot
2m 11s dependabot/uv/apps/api/pyjwt-crypto--gte-2.13.0-and-lt-3
dependabot/uv/apps/api/pyjwt-crypto--gte-2.13.0-and-lt-3
2m 11s
build(deps): Update uvicorn[standard] requirement from >=0.47.0 to >=0.48.0 in /apps/api CodeQL #91: Pull request #13 opened by dependabot Bot
2m 21s dependabot/uv/apps/api/uvicorn-standard--gte-0.48.0
dependabot/uv/apps/api/uvicorn-standard--gte-0.48.0
2m 21s
build(deps): Bump the python-deps group in /apps/api with 4 updates CodeQL #90: Pull request #12 opened by dependabot Bot
2m 21s dependabot/uv/apps/api/python-deps-c35e5cf80d
dependabot/uv/apps/api/python-deps-c35e5cf80d
2m 21s
ci(deps): Bump actions/upload-artifact from 5 to 7 in the gha group CodeQL #89: Pull request #11 opened by dependabot Bot
2m 16s dependabot/github_actions/gha-674967a53d
dependabot/github_actions/gha-674967a53d
2m 16s
CodeQL CodeQL #88: Scheduled
2m 16s main
main
2m 16s
docs: scrub phase markers from public docs CodeQL #87: Commit 723c443 pushed by xmap
2m 24s main
main
2m 24s
build(deps): Update uvicorn[standard] requirement in /apps/api (#8) CodeQL #86: Commit 23a7d5c pushed by xmap
2m 12s main
main
2m 12s
build(deps-dev): Bump diff-cover from 9.7.2 to 10.2.0 in /apps/api (#7) CodeQL #85: Commit b8cba6d pushed by xmap
21s main
main
21s
ci(deps): bump the gha group with 2 updates (#5) CodeQL #84: Commit 9d7055a pushed by xmap
2m 19s main
main
2m 19s
build(deps-dev): Bump diff-cover from 9.7.2 to 10.2.0 in /apps/api CodeQL #83: Pull request #7 synchronize by dependabot Bot
2m 10s dependabot/uv/apps/api/diff-cover-10.2.0
dependabot/uv/apps/api/diff-cover-10.2.0
2m 10s
build(deps): Update uvicorn[standard] requirement from >=0.46.0 to >=0.47.0 in /apps/api CodeQL #82: Pull request #8 synchronize by dependabot Bot
2m 18s dependabot/uv/apps/api/uvicorn-standard--gte-0.47.0
dependabot/uv/apps/api/uvicorn-standard--gte-0.47.0
2m 18s
build(deps): Bump the python-deps group across 1 directory with 3 upd… CodeQL #81: Commit 5b77ccb pushed by xmap
2m 31s main
main
2m 31s
build(deps): bump idna from 3.13 to 3.15 in /apps/api (#9) CodeQL #80: Commit 6eb72cc pushed by xmap
1m 16s main
main
1m 16s
docs(modules): add per-module architecture pages and landing grid CodeQL #79: Commit 30fd919 pushed by xmap
2m 9s main
main
2m 9s
test(unit): PBT on InMemoryEventStore deep invariants (Iter J.2) CodeQL #78: Commit 16b7f03 pushed by xmap
2m 29s main
main
2m 29s
test(contract): EventStore port behavioural contract suite (Iter J.1) CodeQL #77: Commit d8ee3de pushed by xmap
2m 15s main
main
2m 15s
fix(access): pragma on match event: to silence operator_match (Iter… CodeQL #76: Commit a149e8a pushed by xmap
4m 0s main
main
4m 0s
fix(access): move leading comment inside case body so pragma sticks CodeQL #75: Commit 969e93a pushed by xmap
2m 25s main
main
2m 25s
fix(access): per-line mutmut pragmas in unreachable evolver code CodeQL #74: Commit 68bc9cb pushed by xmap
2m 15s main
main
2m 15s
fix(access): silence the last 2 surviving mutmut mutants (Iter G.3 fix) CodeQL #73: Commit 47f5734 pushed by xmap
2m 22s main
main
2m 22s
ci(mutmut): annotate equivalent mutants + fix CI stats extraction (It… CodeQL #72: Commit 35ebe0b pushed by xmap
2m 10s main
main
2m 10s
test(unit): PBT event-serialization round-trip + Trust BC extrapolati… CodeQL #71: Commit d60e718 pushed by xmap
2m 36s main
main
2m 36s
build(deps): Bump the python-deps group across 1 directory with 3 updates CodeQL #70: Pull request #10 synchronize by dependabot Bot
2m 14s dependabot/uv/apps/api/python-deps-ef21485f04
dependabot/uv/apps/api/python-deps-ef21485f04
2m 14s
ci(mutmut): nightly mutation audit on Linux (Iter G.2) CodeQL #69: Commit 498f1d9 pushed by xmap
2m 16s main
main
2m 16s
docs: surface Phase A/B/C/D + Path C + Calibration + Agent BCs CodeQL #68: Commit d093e9a pushed by xmap
2m 23s main
main
2m 23s