.github/workflows/main.yml

remove fourcolor files #832

Sign in to view logs

Triggered via pull request November 23, 2024 18:12

fblanqui

synchronize #138

fblanqui:real

Status Success

Total duration 8m 37s

Artifacts –

main.yml

on: pull_request

Matrix: hol-light-to-dedukti