Skip to content
Check Index

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

Sign in to view logs

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 #137

Triggered via pull request October 5, 2023 16:46
@stephe-ada-gurustephe-ada-guru
opened #905
stable-1.2.1
Status Success
Total duration 1m 6s
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
55s
build
Fit to window
Zoom out
Zoom in