Skip to content
test-qrhl-tool

Updated proofgeneral and scala-isabelle. #264

Sign in to view logs

Updated proofgeneral and scala-isabelle.

Updated proofgeneral and scala-isabelle. #264

Triggered via push September 21, 2023 15:44
@dominique-unruhdominique-unruh
pushed 346113e
master
Status Success
Total duration 15m 45s
Artifacts 4

test.yml

on: push
Matrix: test-qrhl
qrhl-zip
2m 3s
qrhl-zip
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
qrhl Expired
40.3 MB
test-reports-html-linux Expired
248 KB
test-reports-html-macos Expired
248 KB
test-reports-html-windows Expired
248 KB