Added "harmony-lemma-formalization" as a new case study #292
MartyO256build-and-test.yml
on: pull_request
Matrix: Build & Test
Matrix: Linting
Annotations
3 errors
|
Build & Test (4.14.x, ubuntu-latest)
Process completed with exit code 2.
|
|
Build & Test (4.14.x, macOS-latest)
The job was canceled because "_4_14_x_ubuntu-latest" failed.
|
|
Build & Test (4.14.x, macOS-latest)
The operation was canceled.
|