diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-04-16 23:04:24 +0200 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-04-16 23:04:24 +0200 |
| commit | aa7eec02996aca9304187f36d674d5fe898aece6 (patch) | |
| tree | a6b0769f5b7b92c3d79f1b8b5b788bba0fe46fc3 /.github | |
| parent | 8da925647ea1ce47e876526d0bd3d918e782d578 (diff) | |
check task priority at compile time
before we were checking the priority at runtime. The compile time error message
when the priority is too high is kind of awful though.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions