Skip to content

Actions: argumentcomputer/ix

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
429 workflow runs
429 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
chore: Update Lean to v4.33.1 CodeQL #429: Pull request #587 opened by argument-ci-bot Bot
9s update/lean-v4.33.1
update/lean-v4.33.1
9s
KZG recursive verifier CodeQL #428: Pull request #563 synchronize by gabriel-barrett
8m 55s kzg
kzg
8m 55s
IxVM soundness audit: three kernel holes closed, pinned as regression… CodeQL #427: Commit df8f111 pushed by github-merge-queue Bot
10m 0s main
main
10m 0s
IxVM soundness audit: three kernel holes closed, pinned as regressions CodeQL #426: Pull request #586 synchronize by arthurpaulino
9m 26s ap/ixvm-exploits
ap/ixvm-exploits
9m 26s
KZG recursive verifier CodeQL #425: Pull request #563 synchronize by gabriel-barrett
10m 8s kzg
kzg
10m 8s
IxVM soundness audit: three kernel holes closed, pinned as regressions CodeQL #424: Pull request #586 opened by arthurpaulino
9m 13s ap/ixvm-exploits
ap/ixvm-exploits
9m 13s
ix catalog at corpus scale (#584) CodeQL #423: Commit 8229a93 pushed by github-merge-queue Bot
7s main
main
7s
perf: lazy §5 metadata windows on the demoted env load path (#585) CodeQL #422: Commit c8bfc1a pushed by github-merge-queue Bot
10m 32s main
main
10m 32s
bench: one shared constant set, runtime zisk sharding, stage-scoped a… CodeQL #421: Commit c571fa3 pushed by github-merge-queue Bot
9m 16s main
main
9m 16s
ix catalog at corpus scale CodeQL #420: Pull request #584 synchronize by johnchandlerburnham
8s jcb/catalog-scale
jcb/catalog-scale
8s
perf: lazy §5 metadata windows on the demoted env load path CodeQL #419: Pull request #585 synchronize by johnchandlerburnham
9m 5s jcb/decompile-load
jcb/decompile-load
9m 5s
ix catalog at corpus scale CodeQL #418: Pull request #584 synchronize by johnchandlerburnham
12s jcb/catalog-scale
jcb/catalog-scale
12s
perf: lazy §5 metadata windows on the demoted env load path CodeQL #417: Pull request #585 opened by johnchandlerburnham
9m 43s jcb/decompile-load
jcb/decompile-load
9m 43s
bench: one shared constant set, runtime zisk sharding, stage-scoped aiur measures CodeQL #416: Pull request #582 synchronize by samuelburnham
9m 2s ci-bencher-aiur
ci-bencher-aiur
9m 2s
KZG recursive verifier CodeQL #415: Pull request #563 synchronize by gabriel-barrett
9m 23s kzg
kzg
9m 23s
bench: one shared constant set, runtime zisk sharding, stage-scoped aiur measures CodeQL #414: Pull request #582 synchronize by samuelburnham
9m 3s ci-bencher-aiur
ci-bencher-aiur
9m 3s
bench: one shared constant set, runtime zisk sharding, stage-scoped aiur measures CodeQL #413: Pull request #582 synchronize by samuelburnham
52s ci-bencher-aiur
ci-bencher-aiur
52s
perf(ixvm): substitution sharing, Int primitives, projection def-eq; … CodeQL #412: Commit 58cc959 pushed by github-merge-queue Bot
9m 6s main
main
9m 6s
bench: one shared constant set, runtime zisk sharding, stage-scoped aiur measures CodeQL #411: Pull request #582 synchronize by samuelburnham
54s ci-bencher-aiur
ci-bencher-aiur
54s
ix catalog at corpus scale CodeQL #410: Pull request #584 synchronize by johnchandlerburnham
10s jcb/catalog-scale
jcb/catalog-scale
10s
ix catalog at corpus scale CodeQL #409: Pull request #584 opened by johnchandlerburnham
9s jcb/catalog-scale
jcb/catalog-scale
9s
perf(ixvm): substitution sharing, Int primitives, projection def-eq; struct-eta scope fix CodeQL #408: Pull request #583 synchronize by arthurpaulino
9m 22s ap/ixvm
ap/ixvm
9m 22s
perf(ixvm): substitution sharing, Int primitives, projection def-eq; struct-eta scope fix CodeQL #407: Pull request #583 opened by arthurpaulino
8m 59s ap/ixvm
ap/ixvm
8m 59s
ci: Speed up Zisk and Nix builds, don't run on push: main (#581) CodeQL #406: Commit a58f4fd pushed by github-merge-queue Bot
9m 41s main
main
9m 41s
ci: Speed up Zisk and Nix builds, don't run on push: main CodeQL #405: Pull request #581 synchronize by samuelburnham
9m 36s ci-zisk-execute-only
ci-zisk-execute-only
9m 36s