der: fix CI config for path to der_derive
#1460
+1
−1
Merged
der_derive
#1460