Test and deploy on tag

Modify some line and column numbers of Polyspace test tsv file; Corre… #400

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (3.8)	1m 23s
test (3.9)	1m 16s
test (3.10)	1m 24s
test (3.11)	1m 3s
test (3.12)	1m 21s
deploy	0s
	6m 27s