Skip to content

Actions: xmap/cora

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
1,735 workflow runs
1,735 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
Make the steered loop's declared budget actually stop it CodeQL #1735: Pull request #782 opened by xmap
4m 33s worktree-retire-legacy-model-ref
worktree-retire-legacy-model-ref
4m 33s
Merge pull request #781 from xmap/worktree-retire-legacy-model-ref CodeQL #1734: Commit b541201 pushed by xmap
3m 22s main
main
3m 22s
Keep reading back to day one, and stop claiming otherwise CodeQL #1733: Pull request #781 opened by xmap
4m 8s worktree-retire-legacy-model-ref
worktree-retire-legacy-model-ref
4m 8s
build(deps): bump the python-deps group across 1 directory with 10 updates CodeQL #1732: Pull request #780 opened by dependabot Bot
4m 32s dependabot/uv/apps/api/python-deps-6ac49cb98a
dependabot/uv/apps/api/python-deps-6ac49cb98a
4m 32s
build(deps): bump @slidev/cli from 52.19.0 to 52.19.1 in /talks/2026-maxiv-fov in the deck group across 1 directory CodeQL #1731: Pull request #722 synchronize by dependabot Bot
4m 22s dependabot/npm_and_yarn/talks/2026-maxiv-fov/deck-4a7082caca
dependabot/npm_and_yarn/talks/2026-maxiv-fov/deck-4a7082caca
4m 22s
Merge pull request #779 from xmap/worktree-app-boots-test CodeQL #1730: Commit 17d8ebc pushed by xmap
3m 13s main
main
3m 13s
Prove CORA starts, by starting it CodeQL #1729: Pull request #779 opened by xmap
4m 45s worktree-app-boots-test
worktree-app-boots-test
4m 45s
Merge pull request #778 from xmap/worktree-agent-response-model-ref CodeQL #1728: Commit b710384 pushed by xmap
4m 22s main
main
4m 22s
Record why model_ref narrowing shipped without an API version CodeQL #1727: Pull request #778 opened by xmap
4m 25s worktree-agent-response-model-ref
worktree-agent-response-model-ref
4m 25s
Merge pull request #777 from xmap/worktree-language-model-gate-boot CodeQL #1726: Commit b10e3a4 pushed by xmap
3m 9s main
main
3m 9s
Close the model-approval gate's boot hole, and test the chain at its joins CodeQL #1725: Pull request #777 opened by xmap
4m 31s worktree-language-model-gate-boot
worktree-language-model-gate-boot
4m 31s
Merge pull request #776 from xmap/worktree-replay-classifier CodeQL #1724: Commit 2ea3455 pushed by xmap
5m 9s main
main
5m 9s
Range the replay-safety guard over the substrates the factory can build CodeQL #1723: Pull request #776 opened by xmap
3m 38s worktree-replay-classifier
worktree-replay-classifier
3m 38s
Merge pull request #775 from xmap/worktree-advice-latency CodeQL #1722: Commit e2eafeb pushed by xmap
4m 39s main
main
4m 39s
Give an Agent a brain that is not necessarily a language model CodeQL #1721: Pull request #775 opened by xmap
4m 37s worktree-advice-latency
worktree-advice-latency
4m 37s
CodeQL CodeQL #1720: Scheduled
3m 40s main
main
3m 40s
Merge pull request #774 from xmap/worktree-deck-build-npm-ci CodeQL #1719: Commit 7899d2a pushed by xmap
4m 30s main
main
4m 30s
Build the decks with npm ci so a deploy cannot drift the lockfile CodeQL #1718: Pull request #774 opened by xmap
4m 19s worktree-deck-build-npm-ci
worktree-deck-build-npm-ci
4m 19s
Merge pull request #773 from xmap/worktree-retire-papers-tree CodeQL #1717: Commit ac69004 pushed by xmap
4m 18s main
main
4m 18s
Retire the papers tree and align deck presenter settings CodeQL #1716: Pull request #773 opened by xmap
3m 30s worktree-retire-papers-tree
worktree-retire-papers-tree
3m 30s
Merge pull request #772 from xmap/worktree-strip-maxiv-notes CodeQL #1715: Commit 9169cc8 pushed by xmap
4m 21s main
main
4m 21s
Clean up deck sources and guard them against comments CodeQL #1714: Pull request #772 synchronize by xmap
4m 23s worktree-strip-maxiv-notes
worktree-strip-maxiv-notes
4m 23s
Clean up deck sources and guard them against comments CodeQL #1713: Pull request #772 opened by xmap
4m 43s worktree-strip-maxiv-notes
worktree-strip-maxiv-notes
4m 43s
Merge pull request #771 from xmap/worktree-steering-design-pin CodeQL #1712: Commit 734f583 pushed by xmap
4m 52s main
main
4m 52s
Record the design a steered run was given, not just the points it chose CodeQL #1711: Pull request #771 opened by xmap
4m 36s worktree-steering-design-pin
worktree-steering-design-pin
4m 36s