Skip to content

Merge pull request #19670 from lazka/gnatcoll-24.0.0 #31735

Merge pull request #19670 from lazka/gnatcoll-24.0.0

Merge pull request #19670 from lazka/gnatcoll-24.0.0 #31735

Triggered via push January 7, 2024 08:04
Status Skipped
Total duration 2s
Artifacts

main.yml

on: push
Matrix: build
Matrix: package-grokker
Fit to window
Zoom out
Zoom in