dev #4

Merged
zxq5 merged 45 commits from dev into main 2025-02-22 21:32:28 +00:00
Showing only changes of commit 494d00c53b - Show all commits
+5 -1
View File
@@ -1,4 +1,8 @@
on: [push, pull_request]
on:
push:
branches: [ main ]
pull-request:
branches: [ main ]
name: Continuous integration