ci: separate dev deployment, main checks and GitHub mirroring
GitHub Git mirror / mirror (push) Skipped
Development CI / check-and-package (push) Successful in 4m3s
Development CI / image (push) Successful in 28s
Development CI / deploy-development (push) Successful in 11s

This commit is contained in:
root committed 2026-10-29 21:03:01 +08:00
1 parent da4b1e3b18
commit 469af15045
20 files changed
+360 -121

No files matched your search

+3 -1
View File
@@ -18,7 +18,9 @@ import urllib.request
binary = str(Path(sys.argv[1]).resolve())
version = Path('VERSION').read_text().strip()
from release import build_version
version = build_version()
assert subprocess.check_output([binary, '--version'], text=True).strip() == f'RawMark {version}'