CI

Merge pull request #203 from MartinMohrmann/fix_docu_build #506

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build (3.8 \| ubuntu-latest)	1m 56s
Build (3.9 \| ubuntu-latest)	2m 15s
Build (3.10 \| ubuntu-latest)	1m 57s
Build (3.11 \| ubuntu-latest)	1m 46s
	7m 54s