Build Aeneas user docs and test them

Update `scalar_tac` to use the `aesop` tactic #8

Sign in to view logs

Triggered via pull request July 10, 2024 14:35

sonmarcho

synchronize #282

son/scalar_tac

Status Failure

Total duration 1m 28s

Artifacts –

build-userdocs.yml

on: pull_request

Test Aeneas user docs

Annotations

1 error

Test Aeneas user docs

File was unable to be removed Error: EACCES: permission denied, rmdir '/run/github-runner/aeneas-ci/aeneas/aeneas/gh-pages/lean/tactics'