Skip to content
Back to pull request #4396

Fix: incorrect pruning of axiom with monomorphization. #14411

Sign in to view logs

Fix: incorrect pruning of axiom with monomorphization.

Fix: incorrect pruning of axiom with monomorphization. #14411

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
9s
singletons
4m 0s
xunit-tests / osx
37m 1s
xunit-tests / win
27m 7s
xunit-tests / ubuntu-20.04
19m 25s
integration-tests / populate-matrix-dimensions
2s
integration-tests / test (ubuntu-20.04, 1)
34m 23s
integration-tests / test (ubuntu-20.04, 2)
20m 7s
integration-tests / test (ubuntu-20.04, 3)
21m 7s
integration-tests / test (ubuntu-20.04, 4)
31m 8s
integration-tests / test (ubuntu-20.04, 5)
23m 51s
test-coverage-analysis
2m 15s
3h 40m 35s