Skip to content

Release ada-mode 8.1.0, gpr-mode 1.0.4 and dependencies #140

Release ada-mode 8.1.0, gpr-mode 1.0.4 and dependencies

Release ada-mode 8.1.0, gpr-mode 1.0.4 and dependencies #140

Triggered via pull request October 6, 2023 16:20
Status Success
Total duration 45s
Artifacts

check-index.yml

on: pull_request
Fit to window
Zoom out
Zoom in