n/scripts

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

Author	SHA1	Message	Date
n	9976528d86	convert LICENSE to Markdown All checks were successful 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