Skip to content

Enable dpdgraph & HoTT for Coq 8.19 #733632

Enable dpdgraph & HoTT for Coq 8.19

Enable dpdgraph & HoTT for Coq 8.19 #733632

Triggered via pull request March 27, 2024 10:25
@vbglvbgl
labeled #299461
Status Skipped
Total duration 1s
Artifacts

backport.yml

on: pull_request_target
Backport Pull Request
0s
Backport Pull Request
Fit to window
Zoom out
Zoom in