Skip to content

Actions: atomvm/AtomVM

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yaml
1,547 workflow runs
1,547 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1349 from pguyot/w40/add-pico2-support CodeQL #3574: Commit 1cddf54 pushed by bettio
November 13, 2024 22:37 7m 36s main
main
November 13, 2024 22:37 7m 36s
Add support for RP2350 (Pico 2) CodeQL #3573: Pull request #1349 synchronize by pguyot
November 11, 2024 21:39 7m 14s pguyot:w40/add-pico2-support
pguyot:w40/add-pico2-support
November 11, 2024 21:39 7m 14s
Add support for RP2350 (Pico 2) CodeQL #3572: Pull request #1349 synchronize by pguyot
November 11, 2024 21:36 3m 22s pguyot:w40/add-pico2-support
pguyot:w40/add-pico2-support
November 11, 2024 21:36 3m 22s
Introduce ports (local and external) CodeQL #3571: Pull request #1365 opened by pguyot
November 10, 2024 08:53 8m 14s pguyot:w45/encode_and_decode_ports
pguyot:w45/encode_and_decode_ports
November 10, 2024 08:53 8m 14s
CodeQL CodeQL #3570: Scheduled
November 8, 2024 18:50 4m 59s main
main
November 8, 2024 18:50 4m 59s
Add support for encoded refs in external terms CodeQL #3569: Pull request #1363 opened by pguyot
November 7, 2024 21:52 17m 13s pguyot:w45/encode_and_decode_refs
pguyot:w45/encode_and_decode_refs
November 7, 2024 21:52 17m 13s
Add support for encoded local pids in external terms CodeQL #3568: Pull request #1358 synchronize by pguyot
November 7, 2024 21:49 4m 57s pguyot:w44/encode_and_decode_local_pids
pguyot:w44/encode_and_decode_local_pids
November 7, 2024 21:49 4m 57s
Add support for encoded local pids in external terms CodeQL #3567: Pull request #1358 synchronize by pguyot
November 6, 2024 21:50 7m 50s pguyot:w44/encode_and_decode_local_pids
pguyot:w44/encode_and_decode_local_pids
November 6, 2024 21:50 7m 50s
Merge pull request #1348 from pguyot/w43/fix-docs-path CodeQL #3566: Commit 0a0c8da pushed by bettio
November 6, 2024 18:34 8m 57s main
main
November 6, 2024 18:34 8m 57s
Add fun_info/2 CodeQL #3565: Pull request #1351 synchronize by jakub-gonet
November 6, 2024 11:54 6m 1s jakub-gonet:jgonet/fun-info-2
jakub-gonet:jgonet/fun-info-2
November 6, 2024 11:54 6m 1s
Add hostname support to pico network driver CodeQL #3564: Pull request #1173 synchronize by UncleGrumpy
November 6, 2024 07:14 5m 11s UncleGrumpy:pico_hostname
UncleGrumpy:pico_hostname
November 6, 2024 07:14 5m 11s
Add support for encoded local pids in external terms CodeQL #3563: Pull request #1358 synchronize by pguyot
November 3, 2024 23:18 5m 19s pguyot:w44/encode_and_decode_local_pids
pguyot:w44/encode_and_decode_local_pids
November 3, 2024 23:18 5m 19s
Add support for encoded local pids in external terms CodeQL #3562: Pull request #1358 synchronize by pguyot
November 3, 2024 23:06 5m 16s pguyot:w44/encode_and_decode_local_pids
pguyot:w44/encode_and_decode_local_pids
November 3, 2024 23:06 5m 16s
Add support for encoded local pids in external terms CodeQL #3561: Pull request #1358 synchronize by pguyot
November 3, 2024 21:02 5m 38s pguyot:w44/encode_and_decode_local_pids
pguyot:w44/encode_and_decode_local_pids
November 3, 2024 21:02 5m 38s
Add support for encoded local pids in external terms CodeQL #3560: Pull request #1358 opened by pguyot
November 3, 2024 16:15 6m 12s pguyot:w44/encode_and_decode_local_pids
pguyot:w44/encode_and_decode_local_pids
November 3, 2024 16:15 6m 12s
otp_net.c: use EAI_OVERFLOW when it is defined CodeQL #3559: Pull request #1255 synchronize by barracuda156
November 2, 2024 05:07 16m 50s barracuda156:darwin
barracuda156:darwin
November 2, 2024 05:07 16m 50s
CodeQL CodeQL #3558: Scheduled
November 1, 2024 18:50 5m 23s main
main
November 1, 2024 18:50 5m 23s
CodeQL CodeQL #3557: Scheduled
October 25, 2024 18:50 7m 47s main
main
October 25, 2024 18:50 7m 47s
Add fun_info/2 CodeQL #3556: Pull request #1351 synchronize by jakub-gonet
October 24, 2024 13:16 5m 25s jakub-gonet:jgonet/fun-info-2
jakub-gonet:jgonet/fun-info-2
October 24, 2024 13:16 5m 25s
Add fun_info/2 CodeQL #3555: Pull request #1351 synchronize by jakub-gonet
October 24, 2024 13:02 5m 12s jakub-gonet:jgonet/fun-info-2
jakub-gonet:jgonet/fun-info-2
October 24, 2024 13:02 5m 12s
Add fun_info/2 CodeQL #3554: Pull request #1351 synchronize by jakub-gonet
October 23, 2024 19:05 5m 17s jakub-gonet:jgonet/fun-info-2
jakub-gonet:jgonet/fun-info-2
October 23, 2024 19:05 5m 17s
Add fun_info/2 CodeQL #3553: Pull request #1351 synchronize by jakub-gonet
October 23, 2024 09:59 5m 50s jakub-gonet:jgonet/fun-info-2
jakub-gonet:jgonet/fun-info-2
October 23, 2024 09:59 5m 50s
Add fun_info/2 CodeQL #3552: Pull request #1351 opened by jakub-gonet
October 22, 2024 19:21 5m 23s jakub-gonet:jgonet/fun-info-2
jakub-gonet:jgonet/fun-info-2
October 22, 2024 19:21 5m 23s
Add support for RP2350 (Pico 2) CodeQL #3551: Pull request #1349 opened by pguyot
October 21, 2024 20:14 5m 47s pguyot:w40/add-pico2-support
pguyot:w40/add-pico2-support
October 21, 2024 20:14 5m 47s
Fix docs build when branch names contain a / CodeQL #3550: Pull request #1348 opened by pguyot
October 21, 2024 05:46 15m 24s pguyot:w43/fix-docs-path
pguyot:w43/fix-docs-path
October 21, 2024 05:46 15m 24s