Build Aeneas user docs and test them

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

Sign in to view logs

Triggered via pull request July 15, 2024 16:26

sonmarcho

synchronize #282

son/scalar_tac

Status Success

Total duration 6m 13s

Artifacts –

build-userdocs.yml

on: pull_request

Test Aeneas user docs