Skip to content

Actions: atomvm/AtomVM

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yaml
2,356 workflow runs
2,356 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 maps:from_keys/2 dedup for boxed terms (tuples, etc.) CodeQL #7263: Pull request #2393 opened by CoderDennis
Queued CoderDennis:fix-maps-from-keys-boxed-term-dedup
CoderDennis:fix-maps-from-keys-boxed-term-dedup
Queued
RTEMS support CodeQL #7262: Pull request #2392 synchronize by petermm
6m 23s petermm:rtems
petermm:rtems
6m 23s
RTEMS support CodeQL #7261: Pull request #2392 synchronize by petermm
5m 27s petermm:rtems
petermm:rtems
5m 27s
RTEMS support CodeQL #7260: Pull request #2392 synchronize by petermm
6m 38s petermm:rtems
petermm:rtems
6m 38s
RTEMS support CodeQL #7259: Pull request #2392 synchronize by petermm
9m 46s petermm:rtems
petermm:rtems
9m 46s
CodeQL CodeQL #7258: Scheduled
13m 27s main
main
13m 27s
RTEMS support CodeQL #7257: Pull request #2392 synchronize by petermm
10m 45s petermm:rtems
petermm:rtems
10m 45s
RTEMS support CodeQL #7256: Pull request #2392 synchronize by petermm
5m 39s petermm:rtems
petermm:rtems
5m 39s
RTEMS support CodeQL #7255: Pull request #2392 synchronize by petermm
12m 33s petermm:rtems
petermm:rtems
12m 33s
SSL: Add peer certificate verification CodeQL #7254: Pull request #2390 synchronize by petermm
6m 10s petermm:feature/esp32-ssl
petermm:feature/esp32-ssl
6m 10s
SSL: Add peer certificate verification CodeQL #7253: Pull request #2390 synchronize by petermm
5m 26s petermm:feature/esp32-ssl
petermm:feature/esp32-ssl
5m 26s
SSL: Add peer certificate verification CodeQL #7252: Pull request #2390 synchronize by petermm
6m 30s petermm:feature/esp32-ssl
petermm:feature/esp32-ssl
6m 30s
SSL: Add peer certificate verification CodeQL #7251: Pull request #2390 synchronize by petermm
6m 11s petermm:feature/esp32-ssl
petermm:feature/esp32-ssl
6m 11s
SSL: Add peer certificate verification CodeQL #7250: Pull request #2390 synchronize by petermm
6m 27s petermm:feature/esp32-ssl
petermm:feature/esp32-ssl
6m 27s
SSL: Add peer certificate verification CodeQL #7249: Pull request #2390 synchronize by petermm
5m 58s petermm:feature/esp32-ssl
petermm:feature/esp32-ssl
5m 58s
CodeQL CodeQL #7248: Scheduled
6m 45s main
main
6m 45s
Fix: timer_manager:send_after/3 returns an uncancellable timer CodeQL #7247: Pull request #2358 synchronize by Qata
10m 46s Qata:fix/timer-manager-send-after-cancel
Qata:fix/timer-manager-send-after-cancel
10m 46s
SSL: Add peer certificate verification CodeQL #7246: Pull request #2390 opened by petermm
11m 17s petermm:feature/esp32-ssl
petermm:feature/esp32-ssl
11m 17s
CI chore: esp32 bump qemu/pytest tools CodeQL #7245: Pull request #2344 synchronize by petermm
21m 7s petermm:ci-bump-pytest-tools
petermm:ci-bump-pytest-tools
21m 7s
CodeQL CodeQL #7244: Scheduled
5m 28s main
main
5m 28s
Ci fix esp32s2 wifi CodeQL #7243: Pull request #2382 synchronize by petermm
12m 11s petermm:ci-fix-esp32s2-wifi-harness
petermm:ci-fix-esp32s2-wifi-harness
12m 11s
Mbedtls 4 support CodeQL #7242: Pull request #2174 synchronize by petermm
6m 39s petermm:mbedtls-4-support
petermm:mbedtls-4-support
6m 39s
Mbedtls 4 support CodeQL #7241: Pull request #2174 synchronize by petermm
6m 44s petermm:mbedtls-4-support
petermm:mbedtls-4-support
6m 44s
Three hot-path fixes for atom-heavier code CodeQL #7240: Pull request #2388 opened by alii
Action required alii:perf/gleam-hot-paths
alii:perf/gleam-hot-paths
Action required
CodeQL CodeQL #7239: Scheduled
6m 28s main
main
6m 28s