Build only after pushing to a branch
All checks were successful
Build / audit (push) Successful in 6s
Build / test (push) Successful in 7m23s
Build / doc (push) Successful in 7m22s

This commit is contained in:
2024-07-26 09:30:38 +02:00
parent 7295681440
commit ce5fa260f4
3 changed files with 22 additions and 0 deletions

3
.gitea/deploy.awk Normal file
View File

@@ -0,0 +1,3 @@
END {
system("cabal upload --username belka --password "ENVIRON["HACKAGE_PASSWORD"]" "$0)
}