Skip to content

fix(Dockerfile): proper comments #26

fix(Dockerfile): proper comments

fix(Dockerfile): proper comments #26

Triggered via pull request November 24, 2024 14:05
Status Success
Total duration 1h 12m 36s
Artifacts

agda.yml

on: pull_request
Fit to window
Zoom out
Zoom in