suggesting a pull-request-template. #1694
Triggered via pull request
November 10, 2023 12:03
WolframPfeifer
Status
Cancelled
Total duration
5m 48s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
tests.yml
on: pull_request
Matrix: integration-tests
Matrix: unit-tests
Annotations
5 errors
|
unit-tests (ubuntu-latest, 17)
The run was canceled by @WolframPfeifer.
|
|
integration-tests (testRunAllInfProofs, ubuntu-latest, 17)
The run was canceled by @WolframPfeifer.
|
|
integration-tests (testProveRules, ubuntu-latest, 17)
The run was canceled by @WolframPfeifer.
|
|
integration-tests (testRunAllFunProofs, ubuntu-latest, 17)
The run was canceled by @WolframPfeifer.
|
|
unit-tests (windows-latest, 17)
The run was canceled by @WolframPfeifer.
|