.github/workflows/main.yml

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

Sign in to view logs

Triggered via pull request July 23, 2025 14:47

fblanqui

opened #180

fblanqui:file

Status Failure

Total duration 16m 3s

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 2.