Merge branch 'miscellaneous' into 'derivgrind' #7
release.yml
on: push
Build Derivgrind and update release
6m 26s
Annotations
1 warning
Build Derivgrind and update release
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|