opam CI

fix: remove redundant check related to option(_) labelled props #451

Triggered via pull request October 21, 2023 00:18

anmonteiro

synchronize #799

Status Cancelled

Total duration 3m 5s

Artifacts –

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

opam.yml

on: pull_request

Matrix: Build

4 errors

Canceling since a higher priority waiting request for 'opam CI-refs/pull/799/merge' exists

The operation was canceled.

Canceling since a higher priority waiting request for 'opam CI-refs/pull/799/merge' exists

The operation was canceled.