Skip to content

Update scalar_tac to use the aesop tactic #1195

Update scalar_tac to use the aesop tactic

Update scalar_tac to use the aesop tactic #1195

Triggered via pull request July 5, 2024 12:46
Status Failure
Total duration 13m 24s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
lean
Process completed with exit code 2.