kaczmarczyck 94b0beed4b macos-latest for GitHub workflows (#626) ...

Workflows stopped running since we were on old MacOS versions. Using
latest should fix this longer-term.

2023-05-07 04:36:13 +02:00

..

workflows

macos-latest for GitHub workflows (#626)

2023-05-07 04:36:13 +02:00

ISSUE_TEMPLATE.md

Initial commit

2020-01-30 11:47:29 +01:00

PULL_REQUEST_TEMPLATE.md

Bump Tock kernel version (#374)

2021-09-10 08:32:34 +02:00

python_matcher.json

Adjust regexp

2020-04-29 11:46:52 +02:00