Skip to content
Release

Cabal flag to allow embedding Agda 2.6.2.2 instead of 2.6.3 #28

Sign in to view logs

Cabal flag to allow embedding Agda 2.6.2.2 instead of 2.6.3

Cabal flag to allow embedding Agda 2.6.2.2 instead of 2.6.3 #28

Triggered via push November 23, 2023 10:43
@andreasabelandreasabel
pushed 6b0386c
v0.2.6.3.0
Status Success
Total duration 14s
Artifacts –

release.yaml

on: push
Create Github Release
5s
Create Github Release
Fit to window
Zoom out
Zoom in