Skip to content
Integration Tests

Merge branch 'devel' of https://github.com/UniFormal/MMT into devel #820

Sign in to view logs

Merge branch 'devel' of https://github.com/UniFormal/MMT into devel

Merge branch 'devel' of https://github.com/UniFormal/MMT into devel #820

Triggered via push July 29, 2023 01:14
@ComFreekComFreek
pushed 464c2de
devel
Status Failure
Total duration 17m 28s
Artifacts 1

CI.yml

on: push
Integration Tests
17m 16s
Integration Tests
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
Integration Tests
Process completed with exit code 2.
Integration Tests
Process completed with exit code 2.
Integration Tests
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, olafurpg/setup-scala@v11, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Artifacts

Produced during runtime
Name Size
mmt.jar Expired
79.5 MB