Skip to content
scala-isabelle

CHANGELOG: changed links from latest/ to 0.4.2/. #179

Sign in to view logs

CHANGELOG: changed links from latest/ to 0.4.2/.

CHANGELOG: changed links from latest/ to 0.4.2/. #179

Triggered via push September 25, 2023 14:49
@dominique-unruhdominique-unruh
pushed 545fe4e
master
Status Cancelled
Total duration 7m 49s
Artifacts 5

test.yml

on: push
Matrix: test-sc-isa
publish-snapshot
0s
publish-snapshot
Fit to window
Zoom out
Zoom in

Annotations

17 errors
test-sc-isa (2021-1, linux)
The run was canceled by @dominique-unruh.
test-sc-isa (2021, windows)
The run was canceled by @dominique-unruh.
test-sc-isa (2019, macos)
The run was canceled by @dominique-unruh.
test-sc-isa (2021-1, windows)
The run was canceled by @dominique-unruh.
test-sc-isa (2023, linux)
The run was canceled by @dominique-unruh.
test-sc-isa (2021-1, macos)
The run was canceled by @dominique-unruh.
test-sc-isa (2021, macos)
The run was canceled by @dominique-unruh.
test-sc-isa (2022, linux)
The run was canceled by @dominique-unruh.
test-sc-isa (2023, windows)
The run was canceled by @dominique-unruh.
test-sc-isa (2023, macos)
The run was canceled by @dominique-unruh.
test-sc-isa (2022, macos)
The run was canceled by @dominique-unruh.
test-sc-isa (2020, macos)
The run was canceled by @dominique-unruh.
test-sc-isa (2022, windows)
The run was canceled by @dominique-unruh.
test-sc-isa (2021, linux)
The run was canceled by @dominique-unruh.
test-sc-isa (2021, linux)
The operation was canceled.
test-sc-isa (2020, windows)
The run was canceled by @dominique-unruh.
test-sc-isa (2020, windows)
The operation was canceled.

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-linux Expired
151 KB