is_derive/is_diff for matrices
#1525
Triggered via pull request
March 9, 2026 05:52
affeldt-aist
opened
#1891
Status
Success
Total duration
1h 15m 17s
Artifacts
–
nix-action-9.0.yml
on: pull_request_target
rocq-core
50s
mathcomp-analysis-single
19m 39s
ssprove
24m 28s
mathcomp-infotheo
9m 19s