Continuous Integration

Merge pull request #1967 from tpolecat/opt_in_derivation #707

Sign in to view logs

Triggered via push December 20, 2023 11:55

jatcwang

main

Status Success

Total duration 9m 11s

Artifacts –

ci.yml

on: push

Matrix: Build and Test

Matrix: Submit Dependencies

Matrix: Publish Artifacts