Skip to content

remove fourcolor files #830

remove fourcolor files

remove fourcolor files #830

Triggered via pull request November 23, 2024 17:57
Status Success
Total duration 8m 42s
Artifacts

main.yml

on: pull_request
Matrix: hol-light-to-dedukti
Fit to window
Zoom out
Zoom in