diff options
| -rwxr-xr-x | jobs/infix-to-prefix.run | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jobs/infix-to-prefix.run b/jobs/infix-to-prefix.run index 5ad47b4..54ab853 100755 --- a/jobs/infix-to-prefix.run +++ b/jobs/infix-to-prefix.run @@ -2,7 +2,7 @@ set -euo pipefail git clone https://git.tojo.tokyo/infix-to-prefix.git . -git checkout "${branch:-master}" +git checkout "${branch:-main}" git log -n 1 guix shell --pure -m manifest.scm -- make test |