Skip to content

Coq generic printer #2924

Coq generic printer

Coq generic printer #2924

Triggered via pull request October 29, 2024 11:24
Status Skipped
Total duration 4s
Artifacts

test_installs.yml

on: pull_request
Matrix: setup_sh
setup_sh_status
0s
setup_sh_status
Fit to window
Zoom out
Zoom in