Skip to content
CI

fix duplicate theorem count #59

Sign in to view logs

fix duplicate theorem count

fix duplicate theorem count #59

Triggered via push December 30, 2025 13:18
@durant42040durant42040
pushed 404d7eb
main
Status Failure
Total duration 59s
Artifacts –

push_pr.yml

on: push
Matrix: BuildRelease
Fit to window
Zoom out
Zoom in

Annotations

5 errors
BuildRelease (ubuntu-latest)
Process completed with exit code 1.
BuildRelease (windows-latest)
The strategy configuration was canceled because "build-release.ubuntu-latest" failed
BuildRelease (windows-latest)
The operation was canceled.
BuildRelease (macos-latest)
The strategy configuration was canceled because "build-release.ubuntu-latest" failed
BuildRelease (macos-latest)
The operation was canceled.