Skip to content

Switches build-systems-ala-carte to use my fork. #94

Switches build-systems-ala-carte to use my fork.

Switches build-systems-ala-carte to use my fork. #94

Annotations

2 warnings

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

succeeded Mar 28, 2024 in 21s