Skip to content
Docker

fix(NearlyConstant): major rewrite and cleanup: stage 4 #107

Sign in to view logs

fix(NearlyConstant): major rewrite and cleanup: stage 4

fix(NearlyConstant): major rewrite and cleanup: stage 4 #107

Triggered via pull request November 24, 2023 12:13
@favoniafavonia
synchronize #30
cleanup-stage4
Status Success
Total duration 3m 18s
Artifacts –

agda.yml

on: pull_request
build
3m 8s
build
Fit to window
Zoom out
Zoom in