Skip to content

Actions: open-rmf/rmf_site

ci_web

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
488 workflow runs
488 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Drawing editor mode
ci_web #417: Pull request #132 synchronize by luca-della-vedova
July 10, 2023 02:12 14m 58s luca/drawing_editor
July 10, 2023 02:12 14m 58s
Save with extension
ci_web #416: Pull request #142 synchronize by audrow
July 7, 2023 19:43 15m 20s audrow:audrow/save-with-extension
July 7, 2023 19:43 15m 20s
Add support for spawning robots in locations
ci_web #414: Pull request #123 synchronize by mxgrey
July 7, 2023 09:45 15m 28s feature/spawn_robots
July 7, 2023 09:45 15m 28s
Logging console (#121)
ci_web #413: Commit 3697662 pushed by mxgrey
July 7, 2023 09:44 18m 4s main
July 7, 2023 09:44 18m 4s
Logging console
ci_web #412: Pull request #121 synchronize by mxgrey
July 7, 2023 09:00 17m 36s xiyu/console
July 7, 2023 09:00 17m 36s
Logging console
ci_web #411: Pull request #121 synchronize by mxgrey
July 7, 2023 08:57 14m 53s xiyu/console
July 7, 2023 08:57 14m 53s
Logging console
ci_web #410: Pull request #121 synchronize by mxgrey
July 7, 2023 06:17 18m 6s xiyu/console
July 7, 2023 06:17 18m 6s
Fix panic with new workspaces (#131)
ci_web #409: Commit b5b5ab6 pushed by luca-della-vedova
July 7, 2023 04:52 18m 18s main
July 7, 2023 04:52 18m 18s
Fix panic with new workspaces
ci_web #408: Pull request #131 synchronize by mxgrey
July 7, 2023 03:08 17m 24s luca/empty_world_panic
July 7, 2023 03:08 17m 24s
Use stable toolchain for style CI checks (#144)
ci_web #407: Commit f68041b pushed by luca-della-vedova
July 7, 2023 02:08 15m 24s main
July 7, 2023 02:08 15m 24s
Use stable toolchain for style CI checks
ci_web #406: Pull request #144 opened by luca-della-vedova
July 7, 2023 01:45 17m 1s luca/style_stable
July 7, 2023 01:45 17m 1s
Save with extension
ci_web #404: Pull request #142 opened by audrow
July 6, 2023 20:48 18m 25s audrow:audrow/save-with-extension
July 6, 2023 20:48 18m 25s
ProTip! You can narrow down the results and go further in time using created:<2023-07-06 or the other filters available.