Merge pull request #9373 from Leonidas-from-XIV/remove-opam-repositor… · Leonidas-from-XIV/dune@21f64f1

Triggered via push December 6, 2023 13:57

main

Status Cancelled

Total duration 25m 42s

Artifacts –

workflow.yml

on: push

Matrix: Build

Matrix: Coverage

Matrix: Create local opam switch

Matrix: dkml-current

Matrix: Nix

3 errors and 1 warning

Process completed with exit code 1.

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

The operation was canceled.

Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.