Skip to content

GitLab

Apply 1 suggestion(s) to 1 file(s)

2 jobs for !306 with robbert/singleton_subseteq in 5 minutes and 1 second (queued for 2 seconds)
latest detached
186412a7
1 related merge request: !306 Make singleton/`⊆` lemmas consistent with Iris's singleton/`≼`
Status Name Job ID Coverage
  Build
passed build-coq.8.10.2 #137117
fp

00:05:00

passed build-coq.8.13.2-mr #137116
fp

00:04:35