.github/workflows/main.yml

split opam statements into several files following HOL-Light filenames #1112

Sign in to view logs

Triggered via pull request July 24, 2025 07:37

fblanqui

synchronize #180

fblanqui:file

Status Failure

Total duration 2m 14s

Artifacts –

main.yml

on: pull_request

Matrix: ci

Annotations

1 error

ci (5.3.0, 3.19.1, 8.03.06, 3.1.0, master, master, 2.7, mappings_N)

Process completed with exit code 100.