wip
CI / test (push) Successful in 5m6s
CI / build (push) Failing after 29s
CI / deploy (push) Skipped

This commit is contained in:
2026-08-27 22:16:48 +02:00
parent ba35f9eab0
commit 44db1d691a
+1
View File
@@ -4,6 +4,7 @@ on:
push: push:
branches: branches:
- main - main
- proof
workflow_dispatch: workflow_dispatch:
env: env: