aboutsummaryrefslogtreecommitdiff
path: root/jobs/guix-update.run
blob: 5760751744edcd12a76f876630fc84d83b887758 (about) (plain)
1
2
3
4
5
#!/usr/bin/env bash
set -euo pipefail

guix pull
guix environment --ad-hoc acl2 -- echo acl2 ok