diff options
| author | Eugen Wissner <belka@caraus.de> | 2024-07-26 09:30:38 +0200 |
|---|---|---|
| committer | Eugen Wissner <belka@caraus.de> | 2024-07-26 09:30:38 +0200 |
| commit | ce5fa260f401528c8673132bfc85efbab02a4fa1 (patch) | |
| tree | 2f18f08b32714a7efd91b92323ac1a04657fc369 /.gitea/deploy.awk | |
| parent | 7295681440809103392bd11470dd3e3601dc5c82 (diff) | |
| download | graphql-spice-ce5fa260f401528c8673132bfc85efbab02a4fa1.tar.gz | |
Build only after pushing to a branch
Diffstat (limited to '.gitea/deploy.awk')
| -rw-r--r-- | .gitea/deploy.awk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitea/deploy.awk b/.gitea/deploy.awk new file mode 100644 index 0000000..ed542f0 --- /dev/null +++ b/.gitea/deploy.awk @@ -0,0 +1,3 @@ +END { + system("cabal upload --username belka --password "ENVIRON["HACKAGE_PASSWORD"]" "$0) +} |