Skip to content
Check Index

gnatprove 13.2.1 #162

Sign in to view logs

gnatprove 13.2.1

gnatprove 13.2.1 #162

Triggered via pull request November 9, 2023 13:53
@Fabien-ChouteauFabien-Chouteau
opened #916
gnatprove-13.2
Status Success
Total duration 58s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

check-index.yml

on: pull_request
build
43s
build
Fit to window
Zoom out
Zoom in