Activity
Deleted branch
Merge pull request #21414 from maribu/core/thread/thread_msg_has_queue
Merge pull request #21414 from maribu/core/thread/thread_msg_has_queue
github-merge-queue[bot]created gh-readonly-queue/master/pr-21414-69e6943dd90239d06d0e1e55770de67830ea52c6 • 16c24a4 • 7 hours ago
Deleted branch
Merge pull request #21410 from crasbe/pr/distclean_dist
Merge pull request #21410 from crasbe/pr/distclean_dist
github-merge-queue[bot]created gh-readonly-queue/master/pr-21410-cbb4336ea5364668f72cbc3bad24d80b22b4f6d7 • 69e6943 • 12 hours ago
Deleted branch
Merge pull request #21415 from maribu/core/msg_queue_capacity
Merge pull request #21415 from maribu/core/msg_queue_capacity
github-merge-queue[bot]created gh-readonly-queue/master/pr-21415-62905163990de23efddcc4fa3317fdc1b3315909 • cbb4336 • 15 hours ago
Deleted branch
Deleted branch
Merge pull request #21415 from maribu/core/msg_queue_capacity
Merge pull request #21415 from maribu/core/msg_queue_capacity
github-merge-queue[bot]created gh-readonly-queue/master/pr-21415-62905163990de23efddcc4fa3317fdc1b3315909 • b71955a • 17 hours ago
Merge pull request #21360 from maribu/cpu/samd5x/can/expose-config
Merge pull request #21360 from maribu/cpu/samd5x/can/expose-config
github-merge-queue[bot]created gh-readonly-queue/master/pr-21360-7ecf028bb23611221ed11bff31ad0ba554ce65a1 • 6290516 • 19 hours ago
Deleted branch
Merge pull request #21416 from Teufelchen1/fix/saul_cmd
Merge pull request #21416 from Teufelchen1/fix/saul_cmd
github-merge-queue[bot]created gh-readonly-queue/master/pr-21416-c362a09428e98a791abe96ccec707f12947744b2 • 7ecf028 • yesterday
Deleted branch
Deleted branch
Merge pull request #20582 from maribu/ztimer_periph_timer_query_freqs
Merge pull request #20582 from maribu/ztimer_periph_timer_query_freqs
github-merge-queue[bot]created gh-readonly-queue/master/pr-20582-852895f1ffe6bc6cbf4706751c95fbfd0c345e3c • c362a09 • yesterday
Merge pull request #21269 from AnnsAnns/picotool
Merge pull request #21269 from AnnsAnns/picotool
github-merge-queue[bot]created gh-readonly-queue/master/pr-21269-55f9d1c9308be09ab8a02730c44804df28fa7d10 • 852895f • yesterday
Deleted branch
Merge pull request #20582 from maribu/ztimer_periph_timer_query_freqs
Merge pull request #20582 from maribu/ztimer_periph_timer_query_freqs
github-merge-queue[bot]created gh-readonly-queue/master/pr-20582-55f9d1c9308be09ab8a02730c44804df28fa7d10 • 88bc0dd • yesterday
Deleted branch
Merge pull request #21405 from JerelJr/fix-core-headers
Merge pull request #21405 from JerelJr/fix-core-headers
github-merge-queue[bot]created gh-readonly-queue/master/pr-21405-a605d05eca857a3660b4a03b133fa41ed98d4d1c • 55f9d1c • yesterday
Deleted branch
Merge pull request #20582 from maribu/ztimer_periph_timer_query_freqs
Merge pull request #20582 from maribu/ztimer_periph_timer_query_freqs
github-merge-queue[bot]created gh-readonly-queue/master/pr-20582-a605d05eca857a3660b4a03b133fa41ed98d4d1c • 31a5619 • 2 days ago