Skip to content
.github/workflows/main.yml

use maximal sharing for building abbreviation maps #411

Sign in to view logs

use maximal sharing for building abbreviation maps

use maximal sharing for building abbreviation maps #411

Triggered via pull request January 17, 2024 19:59
@fblanquifblanqui
edited #83
fblanqui:sharing
Status Success
Total duration 8m 19s
Artifacts –

main.yml

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