Skip to content

Actions: microsoft/CCF

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Restrict triggers for signed release pipeline (#5957) CodeQL #2632: Commit e670c79 pushed by achamayou
January 25, 2024 14:37 1h 3m 28s main
main
January 25, 2024 14:37 1h 3m 28s
Update CI image from 07-12-2023 to 25-01-2024 (#5955) CodeQL #2631: Commit de42407 pushed by achamayou
January 25, 2024 14:25 1h 5m 22s main
main
January 25, 2024 14:25 1h 5m 22s
Split release pipeline and add signing (#5954) CodeQL #2630: Commit c2b8a9e pushed by achamayou
January 24, 2024 14:50 1h 5m 40s main
main
January 24, 2024 14:50 1h 5m 40s
Add swap_node to driver to enable new scenarios (#5953) CodeQL #2629: Commit 8c6886f pushed by achamayou
January 24, 2024 10:42 1h 2m 20s main
main
January 24, 2024 10:42 1h 2m 20s
GHA permissions: Add security-events write permission for CodeQL (#5952) CodeQL #2628: Commit 2d66dfe pushed by achamayou
January 23, 2024 17:49 1h 3m 26s main
main
January 23, 2024 17:49 1h 3m 26s
Add explicit permissions blocks to all GHA workflows (#5949) CodeQL #2627: Commit 5cfd222 pushed by eddyashton
January 23, 2024 15:59 24s main
main
January 23, 2024 15:59 24s
Run simulation longer in Daily (#5946) CodeQL #2626: Commit aeddbfb pushed by achamayou
January 22, 2024 18:15 1h 2m 26s main
main
January 22, 2024 18:15 1h 2m 26s
Do not run CI on older branches (#5947) CodeQL #2625: Commit 42dc993 pushed by achamayou
January 22, 2024 13:24 1h 9m 6s main
main
January 22, 2024 13:24 1h 9m 6s
Do not drop stale NACKs in spec (#5941) CodeQL #2624: Commit 0fe8b2a pushed by achamayou
January 22, 2024 11:12 1h 4m 40s main
main
January 22, 2024 11:12 1h 4m 40s
Differential trace validation, i.e., compare the current run to an ea… CodeQL #2623: Commit 199d202 pushed by lemmy
January 22, 2024 09:29 1h 2m 38s main
main
January 22, 2024 09:29 1h 2m 38s
Update documentation to reflect the need to provide signed input to P… CodeQL #2622: Commit 743f7db pushed by achamayou
January 19, 2024 17:26 1h 2m 27s main
main
January 19, 2024 17:26 1h 2m 27s
Update minimum required version for jsrasign to 11.0.0 (#5944) CodeQL #2621: Commit 13ec78a pushed by achamayou
January 19, 2024 15:59 1h 2m 40s main
main
January 19, 2024 15:59 1h 2m 40s
Derive committable indices from log (#5942) CodeQL #2620: Commit 37ec70f pushed by achamayou
January 19, 2024 14:21 1h 3m 16s main
main
January 19, 2024 14:21 1h 3m 16s
Attempt to fix the simulation (#5939) CodeQL #2619: Commit de6f63a pushed by achamayou
January 19, 2024 10:42 1h 5m 11s main
main
January 19, 2024 10:42 1h 5m 11s
New debug invariant for TLA+ spec (#5931) CodeQL #2618: Commit 185d85c pushed by achamayou
January 18, 2024 20:27 1h 3m 11s main
main
January 18, 2024 20:27 1h 3m 11s
Drop 4806 scenario (#5937) CodeQL #2617: Commit fe87600 pushed by achamayou
January 18, 2024 20:25 1h 1m 49s main
main
January 18, 2024 20:25 1h 1m 49s
CodeQL CodeQL #2616: by achamayou
January 18, 2024 20:24 1h 4m 11s main
main
January 18, 2024 20:24 1h 4m 11s
Remove 4582.2 scenario (#5936) CodeQL #2615: Commit 4d6f8e2 pushed by achamayou
January 18, 2024 14:30 1h 2m 52s main
main
January 18, 2024 14:30 1h 2m 52s
MoreUpToDateCorrectInv is not an invariant, move to Debug (#5934) CodeQL #2614: Commit 0237ccb pushed by achamayou
January 18, 2024 11:50 1h 7m 43s main
main
January 18, 2024 11:50 1h 7m 43s
Running prettier over JSON files (#5932) CodeQL #2613: Commit c699337 pushed by achamayou
January 18, 2024 10:14 1h 1m 33s main
main
January 18, 2024 10:14 1h 1m 33s
ProTip! You can narrow down the results and go further in time using created:<2024-01-18 or the other filters available.