have removed WrapperCodeML because I have no idea what it does so tha… #261

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ex1 (3.7, ubuntu-latest)	7m 31s
Ex1 (3.8, ubuntu-latest)	6m 5s
Ex1 (3.7, macos-latest)	10m 57s
Ex1 (3.8, macos-latest)	9m 10s
	33m 43s