Skip to content
Check Author

gnatprove 13.2.1 #158

Sign in to view logs

gnatprove 13.2.1

gnatprove 13.2.1 #158

Triggered via pull request November 9, 2023 13:53
@Fabien-ChouteauFabien-Chouteau
opened #916
gnatprove-13.2
Status Success
Total duration 32s
Artifacts –

authorship.yml

on: pull_request
check
21s
check
Fit to window
Zoom out
Zoom in