ci: use sh instead of bash · 70b07dfabf - conduit - EhrenGit

currently in a re-setup stage, see the status page for updates. Not like I'm doing anything right now, but I did disable registration due to spammers.

ci: use sh instead of bash

merge-requests/638/head

Matthias Ahouansou

parent d97f5aa3b8

commit 70b07dfabf

No known key found for this signature in database

1 changed files with 1 additions and 1 deletions

2

bin/nix-build-and-cache

Unescape Escape View File

 @ -1,4 +1,4 @@
 #!/usr/bin/env bash
 #!/usr/bin/env sh
 set -euo pipefail

Loading…

Cancel

Save