Skip to content
Github CI

[goals] Allow command to process several Coq commands. #2970

Sign in to view logs

[goals] Allow command to process several Coq commands.

[goals] Allow command to process several Coq commands. #2970

build (Windows Latest, 4.14, windows-latest, windows-5.0: https://github.com/dra27/opam-repositor...

build (Windows Latest, 4.14, windows-latest, windows-5.0: https://github.com/dra27/opam-repositor...
succeeded Oct 3, 2024 in 18m 37s