opam CI

fix: new PPX name in the error messages (#800) #442

Triggered via push October 20, 2023 07:18

anmonteiro

main

Status Cancelled

Total duration 4m 11s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

opam.yml

on: push

Matrix: Build

4 errors

Canceling since a higher priority waiting request for 'opam CI-refs/heads/main' exists

The operation was canceled.

Canceling since a higher priority waiting request for 'opam CI-refs/heads/main' exists

The operation was canceled.