Work around issue with -I · mit-plv/rewriter@3c0618f

Triggered via push January 29, 2025 01:19

JasonGross

master

Status Failure

Total duration 6h 0m 25s

Artifacts –

coq-opam-package.yml

on: push

Matrix: install

8 errors and 4 warnings

Process completed with exit code 31.

Process completed with exit code 31.

Process completed with exit code 31.

Process completed with exit code 31.

The job running on runner GitHub Actions 13 has exceeded the maximum execution time of 360 minutes.

The operation was canceled.

The job running on runner GitHub Actions 19 has exceeded the maximum execution time of 360 minutes.

The operation was canceled.

pkgconf 2.3.0_1 is already installed, it's just not linked. To link this version, run: brew link pkgconf

pkgconf 2.3.0_1 is already installed, it's just not linked. To link this version, run: brew link pkgconf

pkgconf 2.3.0_1 is already installed, it's just not linked. To link this version, run: brew link pkgconf

pkgconf 2.3.0_1 is already installed, it's just not linked. To link this version, run: brew link pkgconf