Skip to content
Sims

Problem: fix of deadlock when close tree is not included (#1725) #13125

Sign in to view logs

Problem: fix of deadlock when close tree is not included (#1725)

Problem: fix of deadlock when close tree is not included (#1725) #13125

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check whether it is triggered by team members with issue_comment or push or pull_request
4s
Check whether it is triggered by team members with issue_comment or push or pull_request
8s
Check whether it is triggered by team members with issue_comment or push or pull_request
8s
build
1s
build
2m 37s
build
2m 37s
install-runsim
1s
install-runsim
25s
install-runsim
25s
test-sim-multi-seed-short
1s
test-sim-multi-seed-short
7m 28s
test-sim-multi-seed-short
29s
test-sim-import-export
1s
test-sim-import-export
7m 29s
test-sim-import-export
31s
test-sim-after-import
1s
test-sim-after-import
7m 29s
test-sim-after-import
30s
test-sim-nondeterminism
1s
test-sim-nondeterminism
4m 49s
test-sim-nondeterminism
4m 49s
report-status-pr
1s
report-status-pr
1s
report-status-pr
1s
40m 7s