Skip to content

Actions: MushroomRL/mushroom-rl

Actions

Continuous Integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
continuous_integration.yml
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Started implementation of vectorized core Continuous Integration #177: Commit 5e74492 pushed by boris-il-forte
October 28, 2023 16:52 4m 48s dev
dev
October 28, 2023 16:52 4m 48s
Merge branch 'dev2.0' into dev Continuous Integration #176: Commit cad5c75 pushed by boris-il-forte
October 26, 2023 17:03 7m 10s dev
dev
October 26, 2023 17:03 7m 10s
Merge branch 'dev' Continuous Integration #175: Commit a265b10 pushed by boris-il-forte
October 26, 2023 14:20 6m 45s dev
dev
October 26, 2023 14:20 6m 45s
Merge branch 'dev' Continuous Integration #174: Commit a265b10 pushed by boris-il-forte
October 26, 2023 14:19 5m 9s master
master
October 26, 2023 14:19 5m 9s
Added missing readthedocs theme Continuous Integration #173: Commit d1f3bef pushed by boris-il-forte
October 26, 2023 14:12 6m 3s dev
dev
October 26, 2023 14:12 6m 3s
Fixing rdt install Continuous Integration #172: Commit 138dae1 pushed by boris-il-forte
October 26, 2023 14:08 5m 3s dev
dev
October 26, 2023 14:08 5m 3s
Trying to fix RTD builds Continuous Integration #171: Commit 17def70 pushed by boris-il-forte
October 26, 2023 13:53 4m 52s dev
dev
October 26, 2023 13:53 4m 52s
Merge branch 'dev' Continuous Integration #170: Commit 71e6de4 pushed by boris-il-forte
October 26, 2023 13:48 6m 21s master
master
October 26, 2023 13:48 6m 21s
Mushroom 1.10 Continuous Integration #169: Commit ce77935 pushed by boris-il-forte
October 26, 2023 13:45 4m 59s dev
dev
October 26, 2023 13:45 4m 59s
Clean-up headless mode Mujoco Viewer. Continuous Integration #168: Commit 656b2db pushed by robfiras
October 25, 2023 13:59 6m 10s dev
dev
October 25, 2023 13:59 6m 10s
Headless (#132) Continuous Integration #167: Commit 544b6a3 pushed by boris-il-forte
October 25, 2023 13:55 5m 42s dev
dev
October 25, 2023 13:55 5m 42s
Merge branch 'dev' of github.com:MushroomRL/mushroom-rl into upstream… Continuous Integration #166: Commit 8ee07d3 pushed by robfiras
October 19, 2023 14:28 6m 36s dev
dev
October 19, 2023 14:28 6m 36s