Skip to content
Tests

Fix the infoview containing a trailing newline in one case. #2071

Sign in to view logs

Fix the infoview containing a trailing newline in one case.

Fix the infoview containing a trailing newline in one case. #2071

Triggered via push October 24, 2023 00:22
@JulianJulian
pushed ad8b73e
oh-whitespace-you-suck
Status Failure
Total duration 3m 39s
Artifacts –

ci.yml

on: push
lean3-version
3s
lean3-version
pre-commit
35s
pre-commit
Matrix: ci
Fit to window
Zoom out
Zoom in

Annotations

4 errors
ci (ubuntu-latest, nightly, leanprover-community/lean:3.51.1)
Process completed with exit code 1.
ci (ubuntu-latest, stable, leanprover-community/lean:3.51.1)
Process completed with exit code 1.
ci (macos-latest, stable, leanprover-community/lean:3.51.1)
Process completed with exit code 1.
ci (macos-latest, nightly, leanprover-community/lean:3.51.1)
Process completed with exit code 1.