Skip to content

Merge pull request #1967 from tpolecat/opt_in_derivation #279

Merge pull request #1967 from tpolecat/opt_in_derivation

Merge pull request #1967 from tpolecat/opt_in_derivation #279

Triggered via push December 20, 2023 11:55
Status Success
Total duration 13s
Artifacts

clean.yml

on: push
Delete Artifacts
3s
Delete Artifacts
Fit to window
Zoom out
Zoom in