Skip to content
Back to pull request #1630

Fix ignoring no_disconnect flag in post game #4798

Sign in to view logs

Fix ignoring no_disconnect flag in post game

Fix ignoring no_disconnect flag in post game #4798

Triggered via pull request February 12, 2025 17:08
@julianschulerjulianschuler
opened #1630
julianschuler:fix-no-disconnect
Status Success
Total duration 3m 28s
Artifacts –

pull-request.yml

on: pull_request
Check with clippy
23s
Check with clippy
Check parameters
14s
Check parameters
Format
13s
Format
Format TOML files
14s
Format TOML files
Test
31s
Test
Build mkdocs
15s
Build mkdocs
Check Mujoco
23s
Check Mujoco
Test Mujoco
22s
Test Mujoco
Format Mujoco
13s
Format Mujoco
Check Mujoco uv.lock
17s
Check Mujoco uv.lock
Matrix: Build
Matrix: Build
Matrix: Build
Fit to window
Zoom out
Zoom in