Skip to content

Actions: pguyot/AtomVM

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yaml
687 workflow runs
687 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for PicoW networking CodeQL #1588: Commit 613e259 pushed by pguyot
October 27, 2023 20:46 7m 51s w40/picow-sockets
w40/picow-sockets
October 27, 2023 20:46 7m 51s
Allow sending messages directly from ISR CodeQL #1587: Commit bb18e1f pushed by pguyot
October 27, 2023 20:35 15m 14s w41/allow-sending-messages-from-isr
w41/allow-sending-messages-from-isr
October 27, 2023 20:35 15m 14s
Allow sending messages directly from ISR CodeQL #1586: Commit 897cf9c pushed by pguyot
October 27, 2023 20:28 7m 35s w41/allow-sending-messages-from-isr
w41/allow-sending-messages-from-isr
October 27, 2023 20:28 7m 35s
Allow sending messages directly from ISR CodeQL #1585: Commit 7b5ec03 pushed by pguyot
October 27, 2023 19:29 18m 38s w41/allow-sending-messages-from-isr
w41/allow-sending-messages-from-isr
October 27, 2023 19:29 18m 38s
CodeQL CodeQL #1584: Scheduled
October 27, 2023 18:46 14m 57s master
master
October 27, 2023 18:46 14m 57s
Allow sending messages directly from ISR CodeQL #1583: Commit 82d1142 pushed by pguyot
October 27, 2023 06:54 14m 57s w41/allow-sending-messages-from-isr
w41/allow-sending-messages-from-isr
October 27, 2023 06:54 14m 57s
Allow sending messages directly from ISR CodeQL #1582: Commit e93c4fd pushed by pguyot
October 27, 2023 06:35 18m 26s w41/allow-sending-messages-from-isr
w41/allow-sending-messages-from-isr
October 27, 2023 06:35 18m 26s
Fix usage of live in opcodes and no longer preserve registers by default CodeQL #1581: Commit b623659 pushed by pguyot
October 26, 2023 04:57 14m 41s w34/fix-usage-of-live
w34/fix-usage-of-live
October 26, 2023 04:57 14m 41s
Allow sending messages directly from ISR CodeQL #1580: Commit 913193d pushed by pguyot
October 25, 2023 05:28 31m 34s w41/allow-sending-messages-from-isr
w41/allow-sending-messages-from-isr
October 25, 2023 05:28 31m 34s
Allow sending messages directly from ISR CodeQL #1579: Commit 39f48c4 pushed by pguyot
October 25, 2023 05:24 3m 53s w41/allow-sending-messages-from-isr
w41/allow-sending-messages-from-isr
October 25, 2023 05:24 3m 53s
Allow sending messages directly from ISR CodeQL #1578: Commit b6a4754 pushed by pguyot
October 25, 2023 05:16 8m 54s w41/allow-sending-messages-from-isr
w41/allow-sending-messages-from-isr
October 25, 2023 05:16 8m 54s
Allow sending messages directly from ISR CodeQL #1577: Commit cc1bf1f pushed by pguyot
October 23, 2023 05:32 15m 29s w41/allow-sending-messages-from-isr
w41/allow-sending-messages-from-isr
October 23, 2023 05:32 15m 29s
CodeQL CodeQL #1576: Scheduled
October 20, 2023 18:45 19m 58s master
master
October 20, 2023 18:45 19m 58s
Fix usage of live in opcodes and no longer preserve registers by default CodeQL #1575: Commit 73eda50 pushed by pguyot
October 16, 2023 22:26 26m 28s w34/fix-usage-of-live
w34/fix-usage-of-live
October 16, 2023 22:26 26m 28s
Abort at load time on a decode case we currently don't support CodeQL #1574: Commit d6fa2ad pushed by pguyot
October 16, 2023 22:17 20m 48s w34/abort-on-a-decode-we-dont-support
w34/abort-on-a-decode-we-dont-support
October 16, 2023 22:17 20m 48s
Allow sending messages directly from ISR CodeQL #1573: Commit 4affd01 pushed by pguyot
October 16, 2023 20:50 1h 23m 19s w41/allow-sending-messages-from-isr
w41/allow-sending-messages-from-isr
October 16, 2023 20:50 1h 23m 19s
Fix usage of live in opcodes and no longer preserve registers by default CodeQL #1572: Commit aab2e6b pushed by pguyot
October 16, 2023 20:20 1h 15m 21s w34/fix-usage-of-live
w34/fix-usage-of-live
October 16, 2023 20:20 1h 15m 21s
Define sets of opcodes per versions of OTP compiler CodeQL #1571: Commit 25cb612 pushed by pguyot
October 16, 2023 20:14 1h 23m 55s w34/define-set-of-opcodes-per-versions-of-otp-compiler
w34/define-set-of-opcodes-per-versions-of-otp-compiler
October 16, 2023 20:14 1h 23m 55s
Fix bug where guards would raise exceptions (fix #779) CodeQL #1570: Commit 43ab00a pushed by pguyot
October 16, 2023 20:13 1h 3m 12s w34/fix-raising-guards
w34/fix-raising-guards
October 16, 2023 20:13 1h 3m 12s
Fix bug where guards would raise exceptions (fix #779) CodeQL #1569: Commit 359289d pushed by pguyot
October 16, 2023 20:11 2m 27s w34/fix-raising-guards
w34/fix-raising-guards
October 16, 2023 20:11 2m 27s
Optimize by registering labels to the instruction that follows the label CodeQL #1568: Commit a5a2195 pushed by pguyot
October 16, 2023 20:08 39m 58s w34/optimize-by-offsetting-labels
w34/optimize-by-offsetting-labels
October 16, 2023 20:08 39m 58s
Remove dead code related to allocation list CodeQL #1567: Commit ef622b2 pushed by pguyot
October 16, 2023 20:06 35m 7s w34/remove-dead-code-loading-code
w34/remove-dead-code-loading-code
October 16, 2023 20:06 35m 7s
Abort at load time on a decode case we currently don't support CodeQL #1566: Commit fadb2da pushed by pguyot
October 16, 2023 20:04 17m 10s w34/abort-on-a-decode-we-dont-support
w34/abort-on-a-decode-we-dont-support
October 16, 2023 20:04 17m 10s
Allow sending messages directly from ISR CodeQL #1565: Commit 77bb35d pushed by pguyot
October 15, 2023 19:26 18m 7s w41/allow-sending-messages-from-isr
w41/allow-sending-messages-from-isr
October 15, 2023 19:26 18m 7s
Allow sending messages directly from ISR CodeQL #1564: Commit 5952ffe pushed by pguyot
October 15, 2023 19:18 8m 45s w41/allow-sending-messages-from-isr
w41/allow-sending-messages-from-isr
October 15, 2023 19:18 8m 45s
ProTip! You can narrow down the results and go further in time using created:<2023-10-15 or the other filters available.