.github/workflows/main.yml

update README.md #829

Sign in to view logs

Triggered via push November 19, 2024 09:45

fblanqui

main

Status Success

Total duration 11m 22s

Artifacts –

main.yml

on: push

Matrix: hol-light-to-dedukti