Make

refactor: introduce 'strict-or' and upgrade 1lab #132

Sign in to view logs

Triggered via pull request November 30, 2023 17:03

favonia

synchronize #46

strict-invariant

Status Success

Total duration 13s

Artifacts –

regenerate-everything.yaml

on: pull_request

Everything.agda