Skip to content

[experiment] Use ext-lib monads - #1241

Merged
mattam82 merged 8 commits into
MetaRocq:9.1from
4ever2:extlib
Mar 11, 2026
Merged

[experiment] Use ext-lib monads#1241
mattam82 merged 8 commits into
MetaRocq:9.1from
4ever2:extlib

Do not run nix CI for rocq-dev unless PR targets main

2e15ec9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

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