Skip to content

Adds WIP of build-systems-ala-carte example. #93

Adds WIP of build-systems-ala-carte example.

Adds WIP of build-systems-ala-carte example. #93

Annotations

2 warnings

Installing Coq dependencies (ubuntu-latest, 4.07.1, 8.10.2)

succeeded Mar 28, 2024 in 20m 10s