Github CI

Merge pull request #837 from ejgallego/init_ocaml #2894

Sign in to view logs

Triggered via push September 28, 2024 16:26

ejgallego

main

Status Cancelled

Total duration 17m 9s

Artifacts –

build.yml

on: push

Opam dev install

Nix Flake Check

Matrix: Nix

Matrix: build

Annotations

2 errors

build (Windows Latest, 4.14, windows-latest, windows-5.0: https://github.com/dra27/opam-repositor...

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

build (Windows Latest, 4.14, windows-latest, windows-5.0: https://github.com/dra27/opam-repositor...

The operation was canceled.