Avoiding error message in log output for Isabelle 2021 when invoking … #182
dominique-unruhtest.yml
on: push
Matrix: test-sc-isa
publish-snapshot
0s
Annotations
7 errors and 1 warning
|
test-sc-isa (2022, linux)
Process completed with exit code 1.
|
|
test-sc-isa (2020, macos)
The job was canceled because "_2022_linux" failed.
|
|
test-sc-isa (2019, macos)
The job was canceled because "_2022_linux" failed.
|
|
test-sc-isa (2021-1, macos)
The job was canceled because "_2022_linux" failed.
|
|
test-sc-isa (2022, macos)
The job was canceled because "_2022_linux" failed.
|
|
test-sc-isa (2023, macos)
The job was canceled because "_2022_linux" failed.
|
|
test-sc-isa (2021, macos)
The job was canceled because "_2022_linux" failed.
|
|
test-sc-isa (2020, windows)
Unable to clean or reset the repository. The repository will be recreated instead.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
test-reports-html-2019-linux
Expired
|
244 KB |
|
|
test-reports-html-2019-windows
Expired
|
244 KB |
|
|
test-reports-html-2020-linux
Expired
|
244 KB |
|
|
test-reports-html-2020-windows
Expired
|
244 KB |
|
|
test-reports-html-2021-1-linux
Expired
|
244 KB |
|
|
test-reports-html-2021-1-windows
Expired
|
244 KB |
|
|
test-reports-html-2021-linux
Expired
|
244 KB |
|
|
test-reports-html-2021-windows
Expired
|
244 KB |
|
|
test-reports-html-2022-linux
Expired
|
827 KB |
|
|
test-reports-html-2022-windows
Expired
|
244 KB |
|
|
test-reports-html-2023-linux
Expired
|
249 KB |
|
|
test-reports-html-2023-windows
Expired
|
244 KB |
|