aboutsummaryrefslogtreecommitdiff
path: root/jobs/build-acl2.run
blob: 00b163d514f547c408fdf9276c3f9bc2f575b997 (about) (plain)
1
2
3
4
#!/usr/bin/env bash
set -euo pipefail

guix build acl2