Skip to content
Docker

small cosmetic stuff #38

Sign in to view logs

small cosmetic stuff

small cosmetic stuff #38

Triggered via pull request February 12, 2025 16:32
@PHart3PHart3
opened #12
very_tiny
Status Success
Total duration 57m 23s
Artifacts –

agda.yml

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