Avoiding several concurrent initializations of Isabelle in tests. #183
You are viewing an older attempt in the history of this workflow run.
View latest attempt.
dominique-unruhtest.yml
on: push
Matrix: test-sc-isa
publish-snapshot
0s
Annotations
6 errors
|
test-sc-isa (2020, macos)
Process completed with exit code 1.
|
|
test-sc-isa (2023, macos)
The job was canceled because "_2020_macos" failed.
|
|
test-sc-isa (2022, macos)
The job was canceled because "_2020_macos" failed.
|
|
test-sc-isa (2021-1, macos)
The job was canceled because "_2020_macos" failed.
|
|
test-sc-isa (2021, macos)
The job was canceled because "_2020_macos" failed.
|
|
test-sc-isa (2021, macos)
The operation was canceled.
|