cmake Ubuntu Sanitizers

Fix #934: segfault when substituting a SubTree node #132

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-22.04, asan_ubsan)	5m 22s
build (ubuntu-22.04, tsan)	4m 24s
	9m 46s