Skip to content
Build project

Test files with Coq version 8.18.0 #41

Sign in to view logs

Test files with Coq version 8.18.0

Test files with Coq version 8.18.0 #41

Triggered via push December 25, 2023 19:54
@matthesjhmatthesjh
pushed 59aecd3
master
Status Success
Total duration 1m 24s
Artifacts –

build.yml

on: push
build
1m 15s
build
Fit to window
Zoom out
Zoom in