Skip to content

Actions: deterministicstatemachine/dsm

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
1,159 workflow runs
1,159 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
Merge branch 'main' of https://github.com/deterministicstatemachine/dsm CodeQL #1134: Commit 270b0cb pushed by cryptskii
44m 0s main
main
44m 0s
security: SPHINCS+ construction version 2, the FIPS 205 structure wit… CodeQL #1133: Commit 2294091 pushed by cryptskii
25m 43s main
main
25m 43s
chore(deps): bump actions/upload-artifact from 4 to 7 CodeQL #1132: Pull request #894 synchronize by dependabot Bot
24m 8s dependabot/github_actions/actions/upload-artifact-7
dependabot/github_actions/actions/upload-artifact-7
24m 8s
ci: Formal Validation runs on manual dispatch only (#1101) CodeQL #1131: Commit adfaf9c pushed by cryptskii
14m 12s main
main
14m 12s
ci: Formal Validation runs on manual dispatch only CodeQL #1130: Pull request #1101 opened by cryptskii
13m 23s ci/formal-validation-only-when-formal-changes
ci/formal-validation-only-when-formal-changes
13m 23s
security: SPHINCS+ construction version 2, the FIPS 205 structure with BLAKE3 (pre-audit item 17) CodeQL #1129: Pull request #1100 synchronize by cryptskii
8m 27s security/sphincs-structure-repair
security/sphincs-structure-repair
8m 27s
security: SPHINCS+ construction version 2, the FIPS 205 structure with BLAKE3 (pre-audit item 17) CodeQL #1128: Pull request #1100 opened by cryptskii
13m 41s security/sphincs-structure-repair
security/sphincs-structure-repair
13m 41s
security: beta pre-audit, the remaining items (12f, 12k, 13, 16, 11) … CodeQL #1127: Commit 52d7257 pushed by cryptskii
11m 15s main
main
11m 15s
security: beta pre-audit, the remaining items (12f, 12k, 13, 16, 11) CodeQL #1126: Pull request #1099 synchronize by cryptskii
13m 21s security/beta-pre-audit-remaining
security/beta-pre-audit-remaining
13m 21s
security: beta pre-audit, the remaining items (12f, 12k, 13, 16, 11) CodeQL #1125: Pull request #1099 synchronize by cryptskii
14m 56s security/beta-pre-audit-remaining
security/beta-pre-audit-remaining
14m 56s
security: beta pre-audit, the remaining items (12f, 12k, 13, 16, 11) CodeQL #1124: Pull request #1099 opened by cryptskii
9m 46s security/beta-pre-audit-remaining
security/beta-pre-audit-remaining
9m 46s
The practice sandbox at the bridge; the guided tour covers the online… CodeQL #1123: Commit e607197 pushed by cryptskii
9m 13s main
main
9m 13s
The practice sandbox at the bridge; the guided tour covers the online beta CodeQL #1122: Pull request #1097 synchronize by cryptskii
13m 21s feat/practice-containment-and-tour-expansion
feat/practice-containment-and-tour-expansion
13m 21s
fix(ci): main green: https instrumented config, #1095's guard lines m… CodeQL #1121: Commit 061687c pushed by cryptskii
13m 50s main
main
13m 50s
fix(ci): main green: https instrumented config, #1095's guard lines made real, repin after #1096 CodeQL #1120: Pull request #1098 synchronize by cryptskii
13m 20s fix/main-ci-android-config-pins-guard-lines
fix/main-ci-android-config-pins-guard-lines
13m 20s
fix(ci): main green: https instrumented config, #1095's guard lines made real, repin after #1096 CodeQL #1119: Pull request #1098 synchronize by cryptskii
13m 35s fix/main-ci-android-config-pins-guard-lines
fix/main-ci-android-config-pins-guard-lines
13m 35s
fix(ci): main green: https instrumented config, #1095's guard lines made real, repin after #1096 CodeQL #1118: Pull request #1098 synchronize by cryptskii
13m 33s fix/main-ci-android-config-pins-guard-lines
fix/main-ci-android-config-pins-guard-lines
13m 33s
fix(ci): main green: https instrumented config, #1095's guard lines made real, repin after #1096 CodeQL #1117: Pull request #1098 synchronize by cryptskii
14m 41s fix/main-ci-android-config-pins-guard-lines
fix/main-ci-android-config-pins-guard-lines
14m 41s
fix(ci): main green: https instrumented config, #1095's guard lines made real, repin after #1096 CodeQL #1116: Pull request #1098 opened by cryptskii
10m 29s fix/main-ci-android-config-pins-guard-lines
fix/main-ci-android-config-pins-guard-lines
10m 29s
The practice sandbox at the bridge; the guided tour covers the online beta CodeQL #1115: Pull request #1097 opened by cryptskii
27m 49s feat/practice-containment-and-tour-expansion
feat/practice-containment-and-tour-expansion
27m 49s
chore(deps): bump clap from 4.6.1 to 4.6.7 CodeQL #1114: Pull request #1062 synchronize by dependabot Bot
32m 3s dependabot/cargo/clap-4.6.7
dependabot/cargo/clap-4.6.7
32m 3s
chore(deps): bump uuid from 1.23.5 to 1.26.1 CodeQL #1113: Pull request #1061 synchronize by dependabot Bot
30m 0s dependabot/cargo/uuid-1.26.1
dependabot/cargo/uuid-1.26.1
30m 0s
chore(deps): bump futures from 0.3.32 to 0.3.34 CodeQL #1112: Pull request #813 synchronize by dependabot Bot
23m 20s dependabot/cargo/futures-0.3.34
dependabot/cargo/futures-0.3.34
23m 20s
chore(deps): bump bitflags from 2.13.0 to 2.13.2 CodeQL #1111: Pull request #1060 synchronize by dependabot Bot
13m 50s dependabot/cargo/bitflags-2.13.2
dependabot/cargo/bitflags-2.13.2
13m 50s
chore(deps): bump rusqlite from 0.40.1 to 0.40.2 CodeQL #1110: Pull request #1058 synchronize by dependabot Bot
17m 10s dependabot/cargo/rusqlite-0.40.2
dependabot/cargo/rusqlite-0.40.2
17m 10s