CI build

Update makefile to make extraction cleaner (#41) #85

Sign in to view logs

Triggered via push December 25, 2023 22:57

Ailrun

main

Status Success

Total duration 12m 46s

Artifacts –

ci_build.yml

on: push

Completeness of _CoqProject

Continuous Intergration