Set up CI #9

Merged
raucao merged 2 commits from dev/3-ci into master 2024-12-03 16:59:51 +00:00
Showing only changes of commit 5e1e249052 - Show all commits

View File

@@ -1,4 +1,4 @@
name: Test and lint
name: CI
on:
push:
pull_request: