diff options
Diffstat (limited to 'dhall')
| -rwxr-xr-x | dhall/dhall-gen.sh | 7 | ||||
| -rw-r--r-- | dhall/repos.txt | 1 | ||||
| -rw-r--r-- | dhall/sr-ht-build.dhall | 47 |
3 files changed, 0 insertions, 55 deletions
diff --git a/dhall/dhall-gen.sh b/dhall/dhall-gen.sh deleted file mode 100755 index 9bba429..0000000 --- a/dhall/dhall-gen.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/usr/bin/env bash - -REPOS_PATH="$HOME/dev/libre" - -for repo in $(cat repos.txt); do - dhall 2> /dev/null <<< "./sr-ht-build.dhall \"$repo\"" | dhall-to-json --pretty > "$REPOS_PATH/$repo/.build.yml" -done diff --git a/dhall/repos.txt b/dhall/repos.txt deleted file mode 100644 index 0154e4c..0000000 --- a/dhall/repos.txt +++ /dev/null @@ -1 +0,0 @@ -website diff --git a/dhall/sr-ht-build.dhall b/dhall/sr-ht-build.dhall deleted file mode 100644 index 41b937b..0000000 --- a/dhall/sr-ht-build.dhall +++ /dev/null @@ -1,47 +0,0 @@ --- let buildTemplate = - λ ( repoName - : Text - ) - → { image = - "debian/stretch" - , packages = - [ "curl" ] - , triggers = - [ { condition = - "failure" - , action = - "email" - , to = - "EuAndreh <eu@euandre.org>" - } - ] - , sources = - [ "https://git.sr.ht/~euandreh/" ++ repoName ] - , secrets = - [ "7159f943-811f-402d-bb6d-37cd764dc728" ] - , tasks = - [ { mapKey = - "setup" - , mapValue = - '' - curl https://nixos.org/nix/install | sh - echo '. $HOME/.nix-profile/etc/profile.d/nix.sh' >> $HOME/.buildenv'' - }, - { mapKey = - "test" - , mapValue = - '' - cd ${repoName}/ - nix-build -A test'' - }, - { mapKey = - "publish" - , mapValue = - '' - cd ${repoName}/ - nix-build -A publishScript - source env.sh - ./result/bin/publish.sh'' - } - ] - } |