Skip to content

Actions: AdaCore/RecordFlux

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
308 workflow runs
308 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update zipp to fix security vulnerability CodeQL #1496: Commit e9b123f pushed by adacore-bot
July 10, 2024 10:09 3m 12s main
main
July 10, 2024 10:09 3m 12s
Remove old path notation usage CodeQL #1495: Commit 41fbbd3 pushed by adacore-bot
July 10, 2024 08:20 3m 31s main
main
July 10, 2024 08:20 3m 31s
Use lock file when installing Rust tools CodeQL #1494: Commit 4044e21 pushed by adacore-bot
July 9, 2024 14:21 3m 8s main
main
July 9, 2024 14:21 3m 8s
Add info message for skipped verifications CodeQL #1493: Commit 5acacd6 pushed by adacore-bot
July 9, 2024 12:22 3m 18s main
main
July 9, 2024 12:22 3m 18s
Improve annotation when a condition is always true CodeQL #1492: Commit 224e8cf pushed by adacore-bot
July 9, 2024 09:31 3m 13s main
main
July 9, 2024 09:31 3m 13s
Fix TOCTOU bug in cache file lock CodeQL #1491: Commit 052be24 pushed by adacore-bot
July 8, 2024 16:12 3m 39s main
main
July 8, 2024 16:12 3m 39s
Allow failures in audit CI job CodeQL #1490: Commit 1c219cb pushed by adacore-bot
July 8, 2024 14:35 3m 8s main
main
July 8, 2024 14:35 3m 8s
CodeQL CodeQL #1489: Scheduled
July 6, 2024 13:29 3m 8s main
main
July 6, 2024 13:29 3m 8s
Replace Severity.INFO by Severity.NOTE CodeQL #1488: Commit b6b58be pushed by adacore-bot
July 5, 2024 13:18 3m 14s main
main
July 5, 2024 13:18 3m 14s
Improve refinement error messages CodeQL #1487: Commit f5d5e5f pushed by adacore-bot
July 5, 2024 08:53 3m 22s main
main
July 5, 2024 08:53 3m 22s
Use unsat_core error as annotation CodeQL #1486: Commit 6bbbee9 pushed by adacore-bot
July 4, 2024 15:42 3m 17s main
main
July 4, 2024 15:42 3m 17s
Improve scalar type error location CodeQL #1485: Commit 4f5ae1a pushed by adacore-bot
July 3, 2024 16:04 3m 27s main
main
July 3, 2024 16:04 3m 27s
Prevent unnecessary initialization of language server CodeQL #1484: Commit 6dc8c11 pushed by adacore-bot
July 3, 2024 13:09 3m 36s main
main
July 3, 2024 13:09 3m 36s
Optimize identical expressions in Field_First_Internal CodeQL #1483: Commit 59de12b pushed by adacore-bot
July 3, 2024 11:38 3m 28s main
main
July 3, 2024 11:38 3m 28s
CodeQL CodeQL #1482: Scheduled
June 29, 2024 13:29 3m 9s main
main
June 29, 2024 13:29 3m 9s
CodeQL CodeQL #1481: Scheduled
June 22, 2024 13:29 3m 14s main
main
June 22, 2024 13:29 3m 14s
Bump ws from 8.12.0 to 8.17.1 in /rflx/ide/vscode CodeQL #1480: Pull request #1298 opened by dependabot bot
June 18, 2024 05:29 3m 3s dependabot/npm_and_yarn/rflx/ide/vscode/ws-8.17.1
dependabot/npm_and_yarn/rflx/ide/vscode/ws-8.17.1
June 18, 2024 05:29 3m 3s
CodeQL CodeQL #1479: Scheduled
June 15, 2024 13:30 3m 17s main
main
June 15, 2024 13:30 3m 17s
CodeQL CodeQL #1478: Scheduled
June 8, 2024 13:29 3m 44s main
main
June 8, 2024 13:29 3m 44s
CodeQL CodeQL #1477: Scheduled
June 1, 2024 13:29 3m 21s main
main
June 1, 2024 13:29 3m 21s
CodeQL CodeQL #1476: Scheduled
May 25, 2024 13:30 3m 19s main
main
May 25, 2024 13:30 3m 19s
Add anod build jobs to the CI CodeQL #1475: Commit 6b4d443 pushed by adacore-bot
May 20, 2024 14:00 3m 7s main
main
May 20, 2024 14:00 3m 7s
CodeQL CodeQL #1474: Scheduled
May 18, 2024 13:29 3m 20s main
main
May 18, 2024 13:29 3m 20s
CodeQL CodeQL #1473: Scheduled
May 11, 2024 13:30 3m 2s main
main
May 11, 2024 13:30 3m 2s
CodeQL CodeQL #1472: Scheduled
May 4, 2024 13:29 3m 18s main
main
May 4, 2024 13:29 3m 18s