.github/workflows/main.yml

update to rocq 9.0, lambdapi 3.0.0 and hol_light 3.1.0 (#179) #1102

Sign in to view logs

Triggered via push July 22, 2025 11:58

fblanqui

main

Status Success

Total duration 22m 57s

Artifacts –

main.yml

on: push

Matrix: ci