Skip to content
Docker

build: update Dockerfile #76

Sign in to view logs

build: update Dockerfile

build: update Dockerfile #76

Triggered via push November 19, 2023 16:52
@favoniafavonia
pushed a9a5fdc
main
Status Success
Total duration 4m 10s
Artifacts –

agda.yml

on: push
build
4m 3s
build
Fit to window
Zoom out
Zoom in