Build, test, release EUDSL

[eudsl] factor out `eudsl-nbgen` #322

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build eudsl ubuntu_x86_64	32m 11s
Build eudsl windows_x86_64	6m 9s
Build eudsl macos_arm64	27m 50s
Build eudsl macos_x86_64	32m 19s
Test eudsl-py ${{ matrix.name }}	1s
Test eudsl ${{ matrix.name }}	1s
Release eudsl	1s
	1h 38m 32s