Skip to content
Backport

coqPackages.Ordinal: init at 0.5.3 #990778

Sign in to view logs

coqPackages.Ordinal: init at 0.5.3

coqPackages.Ordinal: init at 0.5.3 #990778

Triggered via pull request November 27, 2024 21:58
@wegankwegank
labeled #334904
Status Skipped
Total duration 2s
Artifacts –

backport.yml

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