local-ci

feat(metamodel)!: @violation becomes @counterexample, in all five ports #490

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
detect	4s
java-slow	3m 25s
ts-fast	3m 37s
ts-slow	1m 29s
java-fast	1m 1s
gates	7s
ts-unit	19s
python	1m 58s
csharp	1m 5s
notify	-1s
	13m 4s