Skip to content
Docker

update README #8

Sign in to view logs

update README

update README #8

Triggered via push September 30, 2024 15:05
@PHart3PHart3
pushed 25144b7
main
Status Success
Total duration 1m 18s
Billable time 2m
Artifacts –

agda.yml

on: push
build
1m 7s
build
Fit to window
Zoom out
Zoom in