Prioritized Labels
Other Labels
State::blocked
Blocked by something
Programming Languages and Formal Methods / Public / Demos_2021-FS
State::done
completed
Programming Languages and Formal Methods / Public / Demos_2021-FS
State::planned
planned in this week/iteration
Programming Languages and Formal Methods / Public / Demos_2021-FS
State::upcoming
planned for next week/iteration
Programming Languages and Formal Methods / Public / Demos_2021-FS
State::urgent
Tasks which should be completed before even starting others
Programming Languages and Formal Methods / Public / Demos_2021-FS
State::working
currently working on
Programming Languages and Formal Methods / Public / Demos_2021-FS
Prioritized label