Skip to content

Problem: websocket refactoring not used (backport #1239) #4372

Problem: websocket refactoring not used (backport #1239)

Problem: websocket refactoring not used (backport #1239) #4372

Triggered via pull request November 15, 2023 01:24
Status Success
Total duration 23s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

sims.yml

on: pull_request
Check whether it is triggered by team members with issue_comment or push or pull_request
10s
Check whether it is triggered by team members with issue_comment or push or pull_request
install-runsim
0s
install-runsim
test-sim-nondeterminism
0s
test-sim-nondeterminism
test-sim-import-export
0s
test-sim-import-export
test-sim-after-import
0s
test-sim-after-import
test-sim-multi-seed-short
0s
test-sim-multi-seed-short
report-status-pr
0s
report-status-pr
Fit to window
Zoom out
Zoom in