Skip to content

Actions: atomvm/AtomVM

Actions

Check formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-formatting.yaml
47 workflow run results
47 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enhancements to Pico(W) gpio driver Check formatting #2548: Pull request #874 synchronize by UncleGrumpy
October 28, 2023 23:42 52s UncleGrumpy:pico-w_gpio
UncleGrumpy:pico-w_gpio
October 28, 2023 23:42 52s
Merge pull request #904 from bettio/remove-unlikely-is-null-ptr Check formatting #2547: Commit ed578f2 pushed by bettio
October 28, 2023 21:35 5m 50s master
master
October 28, 2023 21:35 5m 50s
Make sub-binaries of sub-binaries sub-binaries Check formatting #2546: Pull request #905 opened by pguyot
October 28, 2023 21:19 1m 6s pguyot:w43/subbinary-of-subbinary
pguyot:w43/subbinary-of-subbinary
October 28, 2023 21:19 1m 6s
Fix exception classes in estdlib Check formatting #2545: Pull request #807 synchronize by pguyot
October 28, 2023 20:41 2m 15s pguyot:w37/fix-exception-classes-in-estdlib
pguyot:w37/fix-exception-classes-in-estdlib
October 28, 2023 20:41 2m 15s
Implement lists:reverse/1,2 as nif Check formatting #2544: Pull request #806 synchronize by pguyot
October 28, 2023 20:25 1m 8s pguyot:w34/implement-lists-reverse-as-nif
pguyot:w34/implement-lists-reverse-as-nif
October 28, 2023 20:25 1m 8s
UNLIKELY(IS_NULL_PTR(ptr)) -> IS_NULL_PTR(ptr) Check formatting #2543: Pull request #904 opened by bettio
October 28, 2023 19:43 1m 5s bettio:remove-unlikely-is-null-ptr
bettio:remove-unlikely-is-null-ptr
October 28, 2023 19:43 1m 5s
Enhancements to Pico(W) gpio driver Check formatting #2542: Pull request #874 synchronize by UncleGrumpy
October 28, 2023 18:48 1m 6s UncleGrumpy:pico-w_gpio
UncleGrumpy:pico-w_gpio
October 28, 2023 18:48 1m 6s
Add support for net:getaddrinfo/1,2 Check formatting #2541: Pull request #903 synchronize by fadushin
October 28, 2023 17:51 49s fadushin:net-addrinfo2
fadushin:net-addrinfo2
October 28, 2023 17:51 49s
Add support for net:getaddrinfo/1,2 Check formatting #2540: Pull request #903 synchronize by fadushin
October 28, 2023 17:46 54s fadushin:net-addrinfo2
fadushin:net-addrinfo2
October 28, 2023 17:46 54s
Add support for net:getaddrinfo/1,2 Check formatting #2539: Pull request #903 synchronize by fadushin
October 28, 2023 16:54 11m 48s fadushin:net-addrinfo2
fadushin:net-addrinfo2
October 28, 2023 16:54 11m 48s
Add support for net:getaddrinfo/1,2 Check formatting #2537: Pull request #903 opened by fadushin
October 28, 2023 15:54 59s fadushin:net-addrinfo2
fadushin:net-addrinfo2
October 28, 2023 15:54 59s
Allow sending messages directly from ISR Check formatting #2536: Pull request #881 synchronize by pguyot
October 28, 2023 13:03 16m 18s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 28, 2023 13:03 16m 18s
Allow sending messages directly from ISR Check formatting #2535: Pull request #881 synchronize by pguyot
October 28, 2023 11:08 1m 25s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 28, 2023 11:08 1m 25s
Allow sending messages directly from ISR Check formatting #2534: Pull request #881 synchronize by pguyot
October 28, 2023 10:47 5m 9s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 28, 2023 10:47 5m 9s
Allow sending messages directly from ISR Check formatting #2533: Pull request #881 synchronize by pguyot
October 28, 2023 10:18 2m 3s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 28, 2023 10:18 2m 3s
Allow sending messages directly from ISR Check formatting #2532: Pull request #881 synchronize by pguyot
October 28, 2023 09:40 54s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 28, 2023 09:40 54s
Allow sending messages directly from ISR Check formatting #2531: Pull request #881 synchronize by pguyot
October 28, 2023 09:02 59s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 28, 2023 09:02 59s
Allow sending messages directly from ISR Check formatting #2530: Pull request #881 synchronize by pguyot
October 28, 2023 04:43 54s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 28, 2023 04:43 54s
Allow sending messages directly from ISR Check formatting #2527: Pull request #881 synchronize by pguyot
October 27, 2023 20:35 1m 2s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 27, 2023 20:35 1m 2s
Allow sending messages directly from ISR Check formatting #2526: Pull request #881 synchronize by pguyot
October 27, 2023 20:28 55s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 27, 2023 20:28 55s
Allow sending messages directly from ISR Check formatting #2525: Pull request #881 synchronize by pguyot
October 27, 2023 19:29 59s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 27, 2023 19:29 59s
Merge pull request #898 from bettio/stm32_gpio_driver-fixes Check formatting #2524: Commit f274873 pushed by bettio
October 27, 2023 17:13 1m 2s master
master
October 27, 2023 17:13 1m 2s
Enhancements to Pico(W) gpio driver Check formatting #2523: Pull request #874 synchronize by UncleGrumpy
October 27, 2023 14:28 58s UncleGrumpy:pico-w_gpio
UncleGrumpy:pico-w_gpio
October 27, 2023 14:28 58s
STM32 GPIO driver fixes Check formatting #2522: Pull request #898 synchronize by bettio
October 27, 2023 12:35 1m 4s bettio:stm32_gpio_driver-fixes
bettio:stm32_gpio_driver-fixes
October 27, 2023 12:35 1m 4s
Allow sending messages directly from ISR Check formatting #2521: Pull request #881 synchronize by pguyot
October 27, 2023 06:54 52s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 27, 2023 06:54 52s