Lint

small fix for seal5.backends.coredsl2.writer when list of operands is… #45

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Run linters	15s
Check for License headers	7s
	22s