Skip to content
Make

fix: make non-strict orders primitive #105

Sign in to view logs

fix: make non-strict orders primitive

fix: make non-strict orders primitive #105

Triggered via pull request November 27, 2023 02:42
@favoniafavonia
synchronize #32
worship-the-weak
Status Success
Total duration 15s
Artifacts –

regenerate-everything.yaml

on: pull_request
Everything.agda
4s
Everything.agda
Fit to window
Zoom out
Zoom in