Initial docker image build file which support dev. #177
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
run-tests.yml
on: pull_request
compile
3m 38s
build-tools
1m 5s
core-test
2m 5s
core-formal
2m 27s
sim-test
1m 39s
tester-test
43m 58s
tester-formal
10m 39s
lib-test
1m 49s
lib-formal
1m 42s