Skip to content
Nix Agda CI

Set ft=markdown.agda for *.lagda.md #45

Sign in to view logs

Set ft=markdown.agda for *.lagda.md

Set ft=markdown.agda for *.lagda.md #45

Triggered via push February 19, 2025 15:00
@4e554c4c4e554c4c
pushed fd61ff3
v2.7.0
Status Success
Total duration 2m 20s
Artifacts –

nix-agda.yml

on: push
Matrix: Nix Agda
Fit to window
Zoom out
Zoom in