path: root/jobs/guix-update.run

#!/usr/bin/env bash
set -euo pipefail

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