Skip to content
develop

Drop BoolAlg and explicit dom/codom on GaloisConnection. Add Category instance. #1080

Sign in to view logs

Drop BoolAlg and explicit dom/codom on GaloisConnection. Add Category instance.

Drop BoolAlg and explicit dom/codom on GaloisConnection. Add Category instance. #1080

Triggered via pull request September 28, 2023 13:21
@rolyprolyp
opened #777
maybeJoin
Status Success
Total duration 3m 11s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

develop.yml

on: pull_request
test
2m 59s
test
deploy
0s
deploy
Fit to window
Zoom out
Zoom in