Skip to content
Release Build CI

Added ProofSystem find #88

Sign in to view logs

Added ProofSystem find

Added ProofSystem find #88

Triggered via push October 25, 2024 11:33
@henriqueakleinhenriqueaklein
pushed 83fbccf
main
Status Cancelled
Total duration 25s
Artifacts –

cmake.yml

on: push
Windows
0s
Windows
Linux
10s
Linux
Android
17s
Android
MacOS
0s
MacOS
iOS
0s
iOS
Fit to window
Zoom out
Zoom in

Annotations

8 errors
iOS
The run was canceled by @henriqueaklein.
MacOS
The run was canceled by @henriqueaklein.
Windows
The run was canceled by @henriqueaklein.
Windows
A task was canceled.
Linux
The run was canceled by @henriqueaklein.
Linux
The operation was canceled.
Android
The run was canceled by @henriqueaklein.
Android
The operation was canceled.