Merge pull request #2979 from chvandorp/feature/issue-54-dirichlet-mu… #3756
andrjohns
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
main.yml
on: push
prim and rev tests
2h 24m
fwd tests and non-fun mix tests
39m 37s
mix/fun tests 1
2h 1m
mix/fun tests 2
1h 57m