ci

do not warn about arity issues on refinement of rules #434

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint-ocamlformat	3m 23s
python	5m 2s
webapp-macos	10m 43s
cli-and-doc (4.13.x)	8m 36s
cli-and-doc (4.13.x, labltk)	7m 48s
webapp-ubuntu	6m 57s
webapp-windows	19m 26s
cli-and-doc (4.14.x)	7m 53s
cli-and-doc (4.14.x, labltk)	7m 51s
deploy (doc)	1m 0s
deploy (online-ui)	36s
deploy (linux)	19s
deploy (macos)	16s
deploy (windows)	15s
	1h 20m 5s