diff options
| author | Dario Nieuwenhuis <[email protected]> | 2022-04-25 22:19:40 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2022-04-25 22:19:40 +0200 |
| commit | 2b0e8a330b0f2be7a8943a9e5acadf8fc7f92275 (patch) | |
| tree | 77db234bb173a5da49e1815e82f3dd29402db79d /ci.sh | |
| parent | c4cecec10ce262d605e65b47a4772d3b7ec3a543 (diff) | |
examples/nrf: add self_spawn example.
This serves as a compile-test of possible typecheck loops due to
TAIT shenanigans.
Diffstat (limited to 'ci.sh')
0 files changed, 0 insertions, 0 deletions