.github/workflows/main.yml

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

Sign in to view logs

Re-run triggered July 24, 2025 06:21

fblanqui

#180

fblanqui:file

Status Failure

Total duration 5m 52s

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