path: root/jobs/build-acl2.run

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

laminarc run guix-update
guix build acl2