Skip to content
Nix CI for bundle 8.17

generalize derE to eqType, add mem_der language inclusion check (#74) #45

Sign in to view logs

generalize derE to eqType, add mem_der language inclusion check (#74)

generalize derE to eqType, add mem_der language inclusion check (#74) #45

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
32s
mathcomp
36s
reglang
31s
1m 39s