Skip to content
CI build

Update Makefile #421

Sign in to view logs

Update Makefile

Update Makefile #421

Triggered via pull request November 16, 2024 23:43
@AilrunAilrun
opened #264
pr-fix-missed-name-change
Status Success
Total duration 7m 35s
Artifacts –

ci_build.yaml

on: pull_request
Completeness of _CoqProject
2s
Completeness of _CoqProject
Continuous Intergration
7m 26s
Continuous Intergration
Fit to window
Zoom out
Zoom in