Skip to content

Actions: atomvm/AtomVM

Actions

Build Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-docs.yaml
65 workflow run results
65 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement lists:reverse/1,2 as nif Build Docs #206: Pull request #806 synchronize by pguyot
October 28, 2023 20:25 5m 31s pguyot:w34/implement-lists-reverse-as-nif
pguyot:w34/implement-lists-reverse-as-nif
October 28, 2023 20:25 5m 31s
UNLIKELY(IS_NULL_PTR(ptr)) -> IS_NULL_PTR(ptr) Build Docs #205: Pull request #904 opened by bettio
October 28, 2023 19:43 8m 59s bettio:remove-unlikely-is-null-ptr
bettio:remove-unlikely-is-null-ptr
October 28, 2023 19:43 8m 59s
Enhancements to Pico(W) gpio driver Build Docs #204: Pull request #874 synchronize by UncleGrumpy
October 28, 2023 18:48 7m 41s UncleGrumpy:pico-w_gpio
UncleGrumpy:pico-w_gpio
October 28, 2023 18:48 7m 41s
Add support for net:getaddrinfo/1,2 Build Docs #203: Pull request #903 synchronize by fadushin
October 28, 2023 17:51 23m 46s fadushin:net-addrinfo2
fadushin:net-addrinfo2
October 28, 2023 17:51 23m 46s
Add support for net:getaddrinfo/1,2 Build Docs #201: Pull request #903 synchronize by fadushin
October 28, 2023 16:54 5m 53s fadushin:net-addrinfo2
fadushin:net-addrinfo2
October 28, 2023 16:54 5m 53s
Add support for net:getaddrinfo/1,2 Build Docs #199: Pull request #903 opened by fadushin
October 28, 2023 15:54 5m 37s fadushin:net-addrinfo2
fadushin:net-addrinfo2
October 28, 2023 15:54 5m 37s
Merge pull request #890 from fadushin/gs-guide-fixes Build Docs #198: Commit 92eed62 pushed by fadushin
October 28, 2023 15:31 6m 2s master
master
October 28, 2023 15:31 6m 2s
Getting Started Guide guide fixes Build Docs #197: Pull request #890 synchronize by fadushin
October 28, 2023 15:15 7m 16s fadushin:gs-guide-fixes
fadushin:gs-guide-fixes
October 28, 2023 15:15 7m 16s
Allow sending messages directly from ISR Build Docs #196: Pull request #881 synchronize by pguyot
October 28, 2023 13:03 6m 37s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 28, 2023 13:03 6m 37s
Allow sending messages directly from ISR Build Docs #195: Pull request #881 synchronize by pguyot
October 28, 2023 11:08 7m 46s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 28, 2023 11:08 7m 46s
Allow sending messages directly from ISR Build Docs #194: Pull request #881 synchronize by pguyot
October 28, 2023 10:47 7m 7s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 28, 2023 10:47 7m 7s
Allow sending messages directly from ISR Build Docs #193: Pull request #881 synchronize by pguyot
October 28, 2023 10:18 7m 11s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 28, 2023 10:18 7m 11s
Allow sending messages directly from ISR Build Docs #192: Pull request #881 synchronize by pguyot
October 28, 2023 09:40 7m 40s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 28, 2023 09:40 7m 40s
Allow sending messages directly from ISR Build Docs #191: Pull request #881 synchronize by pguyot
October 28, 2023 09:02 7m 2s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 28, 2023 09:02 7m 2s
Allow sending messages directly from ISR Build Docs #190: Pull request #881 synchronize by pguyot
October 28, 2023 04:43 5m 48s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 28, 2023 04:43 5m 48s
Allow sending messages directly from ISR Build Docs #187: Pull request #881 synchronize by pguyot
October 27, 2023 20:35 10m 1s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 27, 2023 20:35 10m 1s
Allow sending messages directly from ISR Build Docs #186: Pull request #881 synchronize by pguyot
October 27, 2023 20:28 7m 37s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 27, 2023 20:28 7m 37s
Allow sending messages directly from ISR Build Docs #185: Pull request #881 synchronize by pguyot
October 27, 2023 19:29 8m 42s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 27, 2023 19:29 8m 42s
Enhancements to Pico(W) gpio driver Build Docs #184: Pull request #874 synchronize by UncleGrumpy
October 27, 2023 14:28 6m 3s UncleGrumpy:pico-w_gpio
UncleGrumpy:pico-w_gpio
October 27, 2023 14:28 6m 3s
Allow sending messages directly from ISR Build Docs #183: Pull request #881 synchronize by pguyot
October 27, 2023 06:54 7m 22s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 27, 2023 06:54 7m 22s
Allow sending messages directly from ISR Build Docs #182: Pull request #881 synchronize by pguyot
October 27, 2023 06:35 16m 42s pguyot:w41/allow-sending-messages-from-isr
pguyot:w41/allow-sending-messages-from-isr
October 27, 2023 06:35 16m 42s
Enhancements to Pico(W) gpio driver Build Docs #181: Pull request #874 synchronize by UncleGrumpy
October 26, 2023 22:34 8m 20s UncleGrumpy:pico-w_gpio
UncleGrumpy:pico-w_gpio
October 26, 2023 22:34 8m 20s
Enhancements to Pico(W) gpio driver Build Docs #180: Pull request #874 synchronize by UncleGrumpy
October 26, 2023 22:31 2m 54s UncleGrumpy:pico-w_gpio
UncleGrumpy:pico-w_gpio
October 26, 2023 22:31 2m 54s
Enhancements to Pico(W) gpio driver Build Docs #179: Pull request #874 synchronize by UncleGrumpy
October 26, 2023 22:24 5m 33s UncleGrumpy:pico-w_gpio
UncleGrumpy:pico-w_gpio
October 26, 2023 22:24 5m 33s
Merge pull request #777 from pguyot/w34/abort-on-a-decode-we-dont-sup… Build Docs #178: Commit 8c3e7d1 pushed by bettio
October 26, 2023 17:10 6m 24s master
master
October 26, 2023 17:10 6m 24s