Skip to content
Snippets Groups Projects

declare scopes before using them

Passed
Ralf Jung created pipeline for commit 620b66ff
, finished
1 related merge request: !190 Drop support for Coq 8.8 and 8.9
branch
4 jobs 10 minutes 15 seconds, queued for 2 seconds