Linux build-test-deploy

Added possibility to read LTL expression into a CFA object, which wor… #164

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	4m 43s
test-docker (theta-cfa-cli)	3m 36s
test-docker (theta-sts-cli)	3m 36s
test-docker (theta-xsts-cli)	3m 35s
deploy-docs	0s
test-docker (theta-xta-cli)	3m 39s
javadoc	2m 54s
test-linux (ubuntu-latest)	2m 46s
test-linux (ubuntu-22.04)	2m 30s
test-linux (ubuntu-20.04)	2m 48s
deploy-maven	0s
deploy-docker	0s
deploy-release	0s
	30m 7s