Make

fix: make non-strict orders primitive #106

Sign in to view logs

Triggered via pull request November 27, 2023 03:12

favonia

synchronize #32

worship-the-weak

Status Success

Total duration 12s

Artifacts –

regenerate-everything.yaml

on: pull_request

Everything.agda