Skip to content
opam CI

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

Sign in to view logs

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

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

Triggered via pull request October 21, 2023 00:23
@anmonteiroanmonteiro
synchronize #799
anmonteiro/rm-untrue-check
Status Success
Total duration 21m 10s
Artifacts –

opam.yml

on: pull_request
Matrix: Build
Fit to window
Zoom out
Zoom in