Skip to content
Backport

coqPackages.Ordinal: init at 0.5.3 #991011

Sign in to view logs

coqPackages.Ordinal: init at 0.5.3

coqPackages.Ordinal: init at 0.5.3 #991011

Triggered via pull request November 28, 2024 06:30
@vbglvbgl
closed #334904
Status Success
Total duration 20s
Artifacts –

backport.yml

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