| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | give name to workflow | johannst | 2020-10-05 | 1 | -0/+1 |
| | | |||||
| * | fix indent & use long option names in scripting | johannst | 2020-10-05 | 1 | -3/+3 |
| | | |||||
| * | Enable ci (#1) | Johannes Stölp | 2020-10-04 | 1 | -0/+23 |
| * added github push/pull_request action to build and run the demo1 example * gh action print start header before running each example | |||||
 |
index : matcha-threads | |
| cooperative scheduling studies | johannst |
| aboutsummaryrefslogtreecommitdiff |