Skip to content

Actions: bernardladenthin/streambuffer

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
301 workflow runs
301 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(deps): bump checker.version from 4.2.3 to 4.3.0 CodeQL #301: Pull request #167 opened by dependabot Bot
1m 34s dependabot/maven/checker.version-4.3.0
dependabot/maven/checker.version-4.3.0
1m 34s
CodeQL CodeQL #300: Scheduled
1m 36s main
main
1m 36s
Merge pull request #166 from bernardladenthin/claude/hopeful-pascal-9… CodeQL #299: Commit 1f04ea8 pushed by bernardladenthin
1m 35s main
main
1m 35s
Update palantir-java-format to 2.100.0; note the OpenJML 21.0.28 follow-up CodeQL #298: Pull request #166 opened by bernardladenthin
2m 4s claude/hopeful-pascal-9jlbqb
claude/hopeful-pascal-9jlbqb
2m 4s
Merge pull request #165 from bernardladenthin/claude/hopeful-pascal-9… CodeQL #297: Commit 3faa6b2 pushed by bernardladenthin
2m 3s main
main
2m 3s
Add shared-files and build-check infrastructure for cross-repo sync CodeQL #296: Pull request #165 opened by bernardladenthin
1m 33s claude/hopeful-pascal-9jlbqb
claude/hopeful-pascal-9jlbqb
1m 33s
Merge pull request #164 from bernardladenthin/fix/spotbugs-field-order CodeQL #295: Commit affa1fa pushed by bernardladenthin
2m 7s main
main
2m 7s
fix: declare MAX_ARRAY_LENGTH before instance fields (SpotBugs IMC) CodeQL #294: Pull request #164 opened by bernardladenthin
1m 42s fix/spotbugs-field-order
fix/spotbugs-field-order
1m 42s
Merge pull request #163 from bernardladenthin/fix/max-array-length CodeQL #293: Commit 32dd672 pushed by bernardladenthin
2m 8s main
main
2m 8s
fix: cap byte[] allocations at MAX_ARRAY_LENGTH (Integer.MAX_VALUE - 8) CodeQL #292: Pull request #163 opened by bernardladenthin
1m 48s fix/max-array-length
fix/max-array-length
1m 48s
Merge pull request #162 from bernardladenthin/claude/busy-archimedes-… CodeQL #291: Commit 97c61d6 pushed by bernardladenthin
2m 6s main
main
2m 6s
Bump build tooling to latest stable versions CodeQL #290: Pull request #162 opened by bernardladenthin
1m 20s claude/busy-archimedes-lo9uyy
claude/busy-archimedes-lo9uyy
1m 20s
CodeQL CodeQL #289: Scheduled
1m 37s main
main
1m 37s
Merge pull request #161 from bernardladenthin/claude/clever-archimede… CodeQL #288: Commit 66f740c pushed by bernardladenthin
1m 44s main
main
1m 44s
Upgrade OSV Scanner and Palantir Java Format dependencies CodeQL #287: Pull request #161 opened by bernardladenthin
1m 21s claude/clever-archimedes-3o1am3
claude/clever-archimedes-3o1am3
1m 21s
Merge pull request #160 from bernardladenthin/dependabot/maven/org.co… CodeQL #286: Commit 561584a pushed by bernardladenthin
1m 39s main
main
1m 39s
CodeQL CodeQL #285: Scheduled
1m 37s main
main
1m 37s
chore(deps): bump org.codehaus.mojo:exec-maven-plugin from 3.6.3 to 3.6.4 CodeQL #284: Pull request #160 opened by dependabot Bot
1m 28s dependabot/maven/org.codehaus.mojo-exec-maven-plugin-3.6.4
dependabot/maven/org.codehaus.mojo-exec-maven-plugin-3.6.4
1m 28s
Merge pull request #159 from bernardladenthin/claude/formal-verification CodeQL #283: Commit 795f3c3 pushed by bernardladenthin
7m 14s main
main
7m 14s
fix(ci): stage JPF annotation jars via dependency:copy-dependencies CodeQL #282: Pull request #159 opened by bernardladenthin
1m 30s claude/formal-verification
claude/formal-verification
1m 30s
Merge pull request #158 from bernardladenthin/claude/formal-verification CodeQL #281: Commit 1f9494b pushed by bernardladenthin
1m 32s main
main
1m 32s
CodeQL CodeQL #280: Scheduled
1m 19s main
main
1m 19s
feat: formal verification suite (OpenJML ESC/RAC + JPF) in a separate CI pipeline CodeQL #279: Pull request #158 synchronize by bernardladenthin
40s claude/formal-verification
claude/formal-verification
40s
feat: formal verification suite (OpenJML ESC/RAC + JPF) in a separate CI pipeline CodeQL #278: Pull request #158 opened by bernardladenthin
1m 32s claude/formal-verification
claude/formal-verification
1m 32s
Merge pull request #157 from bernardladenthin/claude/guard-dependency… CodeQL #277: Commit 3517a60 pushed by bernardladenthin
1m 47s main
main
1m 47s