Skip to content
CI (macOS)

Change versioning scheme to x.agda-version.y #95

Sign in to view logs

Change versioning scheme to x.agda-version.y

Change versioning scheme to x.agda-version.y #95

Triggered via pull request November 21, 2023 05:51
@andreasabelandreasabel
opened #18
release-0.2.6.2.2
Status Success
Total duration 3m 26s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

test-mac.yaml

on: pull_request
build
2m 57s
build
Fit to window
Zoom out
Zoom in