update_ci_and_friends #11

Merged
n merged 2 commits from update_ci_and_friends into main 2024-02-03 22:29:50 +01:00

2 Commits

Author SHA1 Message Date
n 9976528d86
convert LICENSE to Markdown
check / check (push) Successful in 5s Details
2024-02-03 22:28:14 +01:00
n c3aa95b829
use actions/checkout@v3 in CI 2024-02-03 22:26:48 +01:00