Skip to content

GitLab

T
Tutorial POPL20

Merge branch 'master' into 'master' 

Fix a typo in compatibility.v

See merge request !3
2 jobs for master in 4 minutes and 23 seconds (queued for 3 seconds)
0671ad01
No related merge requests found.
Status Job ID Name Coverage
  Build
passed #96777
fp
build-coq.8.11.2

00:04:16

passed #96776
fp
build-coq.8.12.0

00:04:23