Make

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

Sign in to view logs

Triggered via pull request November 24, 2023 12:13

favonia

synchronize #30

cleanup-stage4

Status Success

Total duration 15s

Artifacts –

regenerate-everything.yaml

on: pull_request

Everything.agda