Replace Jenkinsfile with GitHub Actions CI, release and lint tooling

This commit is contained in:
2026-10-20 20:47:44 +00:00
parent 222877a847
commit 74f0a2f5ab
15 changed files with 337 additions and 122 deletions
+1
View File
@@ -0,0 +1 @@
v2.15.0