Skip to content
Docker

small changes #11

Sign in to view logs

small changes

small changes #11

Triggered via pull request October 8, 2024 02:25
@PHart3PHart3
opened #1
clean-up
Status Success
Total duration 57m 14s
Artifacts –

agda.yml

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