Skip to content
Build and Test

Merge pr #65: added bounds query generalizing inf and sup in one check #249

Sign in to view logs

Merge pr #65: added bounds query generalizing inf and sup in one check

Merge pr #65: added bounds query generalizing inf and sup in one check #249

Run time

Learn about OS pricing on GitHub Actions
Job Run time
format
59s
build-win64
3m 26s
build-macos
1m 54s
build-linux64
2m 45s
9m 4s