Make

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

Sign in to view logs

Triggered via push November 24, 2023 12:15

favonia

main

Status Success

Total duration 14s

Artifacts –

regenerate-everything.yaml

on: push

Everything.agda