monads: make invariant notation bidirectional #1275
lsf37proof-deploy.yml
on: push
Freeze Code
24s
Freeze MCS Code
Trigger platform branch rebase
4s
Matrix: Proof
Matrix: MCS Proof
Deploy manifest
1m 15s
Deploy MCS manifest
0s