Skip to content

Actions: deterministicstatemachine/dsm

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
985 workflow runs
985 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
fix(map): the Code map gate's fixtures and history, and the one-time … CodeQL #985: Commit 11647a4 pushed by cryptskii
14m 37s main
main
14m 37s
fix(map): the Code map gate's fixtures and history, and the one-time pin bootstrap CodeQL #984: Pull request #1063 opened by cryptskii
13m 47s fix/code-map-pins-bootstrap
fix/code-map-pins-bootstrap
13m 47s
chore(deps): bump clap from 4.6.1 to 4.6.7 CodeQL #983: Pull request #1062 opened by dependabot Bot
30m 17s dependabot/cargo/clap-4.6.7
dependabot/cargo/clap-4.6.7
30m 17s
chore(deps): bump uuid from 1.23.5 to 1.26.1 CodeQL #982: Pull request #1061 opened by dependabot Bot
29m 22s dependabot/cargo/uuid-1.26.1
dependabot/cargo/uuid-1.26.1
29m 22s
chore(deps): bump bitflags from 2.13.0 to 2.13.2 CodeQL #981: Pull request #1060 opened by dependabot Bot
12m 8s dependabot/cargo/bitflags-2.13.2
dependabot/cargo/bitflags-2.13.2
12m 8s
chore(deps): bump tokio-rustls from 0.26.4 to 0.26.5 CodeQL #980: Pull request #1059 opened by dependabot Bot
8m 52s dependabot/cargo/tokio-rustls-0.26.5
dependabot/cargo/tokio-rustls-0.26.5
8m 52s
chore(deps): bump rusqlite from 0.40.1 to 0.40.2 CodeQL #979: Pull request #1058 opened by dependabot Bot
13m 30s dependabot/cargo/rusqlite-0.40.2
dependabot/cargo/rusqlite-0.40.2
13m 30s
chore(deps): bump actions/upload-artifact from 4 to 7 CodeQL #978: Pull request #894 synchronize by dependabot Bot
14m 4s dependabot/github_actions/actions/upload-artifact-7
dependabot/github_actions/actions/upload-artifact-7
14m 4s
feat(map): Stage 2, evidence pins and an always-run merge gate (#1057) CodeQL #977: Commit 8b28149 pushed by cryptskii
14m 8s main
main
14m 8s
feat(map): Stage 2, evidence pins and an always-run merge gate CodeQL #976: Pull request #1057 synchronize by cryptskii
13m 35s feat/code-map-merge-gate
feat/code-map-merge-gate
13m 35s
feat(map): Stage 2, evidence pins and an always-run merge gate CodeQL #975: Pull request #1057 synchronize by cryptskii
13m 6s feat/code-map-merge-gate
feat/code-map-merge-gate
13m 6s
feat(map): Stage 2, evidence pins and an always-run merge gate CodeQL #974: Pull request #1057 synchronize by cryptskii
15m 43s feat/code-map-merge-gate
feat/code-map-merge-gate
15m 43s
feat(map): Stage 2, evidence pins and an always-run merge gate CodeQL #973: Pull request #1057 opened by cryptskii
13m 22s feat/code-map-merge-gate
feat/code-map-merge-gate
13m 22s
fix(sofi): the relay carries the bytes that hold a leg cell; the §6.3… CodeQL #972: Commit 40a2de1 pushed by cryptskii
14m 29s main
main
14m 29s
fix(sofi): the relay carries the bytes that hold a leg cell; the §6.39 owner rulings CodeQL #971: Pull request #1056 opened by cryptskii
13m 25s fix/section-6-39-owner-rulings
fix/section-6-39-owner-rulings
13m 25s
feat(map): the intent layer: the specifications' intent against the m… CodeQL #970: Commit 16f3d71 pushed by cryptskii
8m 44s main
main
8m 44s
feat(map): the intent layer: the specifications' intent against the map, and the conformance it found CodeQL #969: Pull request #1055 synchronize by cryptskii
13m 21s feat/code-map-intent-layer
feat/code-map-intent-layer
13m 21s
feat(map): the intent layer: the specifications' intent against the map, and the conformance it found CodeQL #968: Pull request #1055 synchronize by cryptskii
13m 13s feat/code-map-intent-layer
feat/code-map-intent-layer
13m 13s
feat(map): the intent layer: the specifications' intent against the map, and the conformance it found CodeQL #967: Pull request #1055 opened by cryptskii
13m 23s feat/code-map-intent-layer
feat/code-map-intent-layer
13m 23s
fix(map): a reading names only definitions its build reads; the node'… CodeQL #966: Commit 20f63cb pushed by cryptskii
12m 7s main
main
12m 7s
fix(map): the node's committed rows; a reading names only definitions its build reads CodeQL #965: Pull request #1054 opened by cryptskii
13m 48s fix/code-map-node-rows-and-lookups
fix/code-map-node-rows-and-lookups
13m 48s
chore(deps): bump actions/upload-artifact from 4 to 7 CodeQL #964: Pull request #894 synchronize by dependabot Bot
13m 25s dependabot/github_actions/actions/upload-artifact-7
dependabot/github_actions/actions/upload-artifact-7
13m 25s
feat(map): stage 1c, the adversarial layer over the code map (#1053) CodeQL #963: Commit 646aa4e pushed by cryptskii
9m 34s main
main
9m 34s
feat(map): stage 1c, the adversarial layer over the code map CodeQL #962: Pull request #1053 opened by cryptskii
13m 15s feat/code-map-adversarial-layer
feat/code-map-adversarial-layer
13m 15s
fix(map): cargo tree's output is read uncolored (#1052) CodeQL #961: Commit abdb124 pushed by cryptskii
11m 18s main
main
11m 18s