default:
  image: tojoqk/acl2:8.3

test:
  stage: test
  script:
    - >
      for source in $(find -type f -name '*.lisp'); do
        echo "--- verify $source ---"
        acl2 < $source | tee result
        if [ -n "$(grep -E '^[*]{8} FAILED [*]{8}' result)" ]; then
          exit 1
        fi
      done