Skip to content
Check Index

gnatprove-13.2.1: GPR_PROJECT_PATH for sparklib #163

Sign in to view logs

gnatprove-13.2.1: GPR_PROJECT_PATH for sparklib

gnatprove-13.2.1: GPR_PROJECT_PATH for sparklib #163

Triggered via pull request November 10, 2023 17:30
@Fabien-ChouteauFabien-Chouteau
opened #917
gnatprove-13.2.1-sparklib
Status Success
Total duration 1m 4s
Artifacts –

check-index.yml

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