Skip to content

Change ci_test_dependants to require an explicit allow-list - #139

Merged
liyishuai merged 2 commits into
rocq-community:masterfrom
Lysxia:test-dependants
Mar 19, 2026
Merged

Change ci_test_dependants to require an explicit allow-list#139
liyishuai merged 2 commits into
rocq-community:masterfrom
Lysxia:test-dependants

Add -t flag to opam install --deps-only for dependants

23868a9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.