Skip to content

Actions: atomvm/AtomVM

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yaml
621 workflow run results
621 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix implementation of smp_atomic_compare_exchange_weak on Pico CodeQL #2450: Pull request #880 opened by pguyot
October 14, 2023 21:57 20m 42s pguyot:w41/pico-fix-cas-implementation
pguyot:w41/pico-fix-cas-implementation
October 14, 2023 21:57 20m 42s
Merge pull request #879 from UncleGrumpy/nif_collection_resolve_nif_cb CodeQL #2449: Commit 49a655c pushed by bettio
October 14, 2023 17:47 16m 8s master
master
October 14, 2023 17:47 16m 8s
Merge pull request #876 from fadushin/freebsd-ci-timeout CodeQL #2448: Commit fa597e2 pushed by fadushin
October 14, 2023 10:26 17m 8s master
master
October 14, 2023 10:26 17m 8s
Add gpio:set_int/4 for ESP32 and STM32 CodeQL #2447: Pull request #837 synchronize by UncleGrumpy
October 14, 2023 06:21 32m 9s UncleGrumpy:gpio.set_int-4
UncleGrumpy:gpio.set_int-4
October 14, 2023 06:21 32m 9s
Complete rewrite of STM32 gpio driver CodeQL #2446: Pull request #836 synchronize by UncleGrumpy
October 14, 2023 06:12 29m 21s UncleGrumpy:stm32_gpio_driver
UncleGrumpy:stm32_gpio_driver
October 14, 2023 06:12 29m 21s
Complete rewrite of STM32 gpio driver CodeQL #2445: Pull request #836 synchronize by UncleGrumpy
October 14, 2023 05:55 17m 17s UncleGrumpy:stm32_gpio_driver
UncleGrumpy:stm32_gpio_driver
October 14, 2023 05:55 17m 17s
Fix typo in function name nif_collection_resove_nif_cb CodeQL #2444: Pull request #879 opened by UncleGrumpy
October 14, 2023 05:42 17m 17s UncleGrumpy:nif_collection_resolve_nif_cb
UncleGrumpy:nif_collection_resolve_nif_cb
October 14, 2023 05:42 17m 17s
Complete rewrite of STM32 gpio driver CodeQL #2443: Pull request #836 synchronize by UncleGrumpy
October 14, 2023 04:55 17m 35s UncleGrumpy:stm32_gpio_driver
UncleGrumpy:stm32_gpio_driver
October 14, 2023 04:55 17m 35s
Complete rewrite of STM32 gpio driver CodeQL #2442: Pull request #836 synchronize by UncleGrumpy
October 14, 2023 04:40 14m 48s UncleGrumpy:stm32_gpio_driver
UncleGrumpy:stm32_gpio_driver
October 14, 2023 04:40 14m 48s
Add preliminary support for the OTP socket interface CodeQL #2441: Pull request #757 synchronize by fadushin
October 14, 2023 01:20 20m 51s fadushin:otp-socket-resource
fadushin:otp-socket-resource
October 14, 2023 01:20 20m 51s
Add preliminary support for the OTP socket interface CodeQL #2440: Pull request #757 synchronize by fadushin
October 14, 2023 00:54 2m 22s fadushin:otp-socket-resource
fadushin:otp-socket-resource
October 14, 2023 00:54 2m 22s
Add preliminary support for the OTP socket interface CodeQL #2439: Pull request #757 synchronize by fadushin
October 14, 2023 00:49 1m 50s fadushin:otp-socket-resource
fadushin:otp-socket-resource
October 14, 2023 00:49 1m 50s
Add preliminary support for the OTP socket interface CodeQL #2438: Pull request #757 synchronize by fadushin
October 14, 2023 00:49 21s fadushin:otp-socket-resource
fadushin:otp-socket-resource
October 14, 2023 00:49 21s
Add preliminary support for the OTP socket interface CodeQL #2437: Pull request #757 synchronize by fadushin
October 14, 2023 00:48 1m 5s fadushin:otp-socket-resource
fadushin:otp-socket-resource
October 14, 2023 00:48 1m 5s
CodeQL CodeQL #2436: Scheduled
October 13, 2023 18:50 20m 46s master
master
October 13, 2023 18:50 20m 46s
Add preliminary support for the OTP socket interface CodeQL #2435: Pull request #757 synchronize by fadushin
October 13, 2023 13:24 17m 51s fadushin:otp-socket-resource
fadushin:otp-socket-resource
October 13, 2023 13:24 17m 51s
Merge pull request #875 from pguyot/w41/fix-resource-monitor-deadlock CodeQL #2434: Commit 93b585f pushed by bettio
October 13, 2023 12:38 20m 33s master
master
October 13, 2023 12:38 20m 33s
Fix a bug in resource monitors yielding a deadlock-caused abort CodeQL #2433: Pull request #875 synchronize by pguyot
October 13, 2023 05:30 34m 19s pguyot:w41/fix-resource-monitor-deadlock
pguyot:w41/fix-resource-monitor-deadlock
October 13, 2023 05:30 34m 19s
Add a timeout to the freebsd CI, to prevent runaway jobs CodeQL #2432: Pull request #876 opened by fadushin
October 12, 2023 16:55 17m 33s fadushin:freebsd-ci-timeout
fadushin:freebsd-ci-timeout
October 12, 2023 16:55 17m 33s
Fix a bug in resource monitors yielding a deadlock-caused abort CodeQL #2431: Pull request #875 opened by pguyot
October 11, 2023 22:35 29m 54s pguyot:w41/fix-resource-monitor-deadlock
pguyot:w41/fix-resource-monitor-deadlock
October 11, 2023 22:35 29m 54s
Merge pull request #873 from fadushin/smoke-test-scripts CodeQL #2430: Commit 23d24ce pushed by bettio
October 11, 2023 12:53 22m 2s master
master
October 11, 2023 12:53 22m 2s
Add a simple framework for smoke testing AtomVM examples CodeQL #2429: Pull request #873 synchronize by fadushin
October 10, 2023 21:06 19m 41s fadushin:smoke-test-scripts
fadushin:smoke-test-scripts
October 10, 2023 21:06 19m 41s
Merge pull request #872 from petermm/update-esp-idf-mkimage CodeQL #2428: Commit 33364d4 pushed by bettio
October 10, 2023 12:52 31m 29s master
master
October 10, 2023 12:52 31m 29s
Merge pull request #871 from petermm/bump-esp-idf-build-versions CodeQL #2427: Commit 0b72ad1 pushed by bettio
October 10, 2023 12:49 16m 14s master
master
October 10, 2023 12:49 16m 14s
Enhancements to Pico(W) gpio driver CodeQL #2426: Pull request #874 synchronize by UncleGrumpy
October 10, 2023 04:25 19m 39s UncleGrumpy:pico-w_gpio
UncleGrumpy:pico-w_gpio
October 10, 2023 04:25 19m 39s