Skip to content

Update makefile to make extraction cleaner #84

Update makefile to make extraction cleaner

Update makefile to make extraction cleaner #84

Triggered via pull request December 25, 2023 22:47
Status Success
Total duration 9m 31s
Artifacts

ci_build.yml

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