Skip to content
GitHub macOS CI

Use ltac backtrace in "tactic was not fully applied" error #2377

Sign in to view logs

Use ltac backtrace in "tactic was not fully applied" error

Use ltac backtrace in "tactic was not fully applied" error #2377

Triggered via push October 3, 2023 13:34
@SkySkimmerSkySkimmer
pushed 311de26
tac-of-val-trace
Status Failure
Total duration 35m 40s
Artifacts –

ci-macos.yml

on: push
macOS
35m 24s
macOS
Fit to window
Zoom out
Zoom in

Annotations

1 error
macOS
Process completed with exit code 2.