Experiment: use GADT for stat #116
main.yml
on: push
windows
8m 24s
docker
8m 16s
Matrix: build
Annotations
2 errors and 1 warning
windows
Process completed with exit code 1.
|
build (macos-latest, 5.0.x, eio eio_posix eio_main)
Process completed with exit code 31.
|
docker
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|