Skip to content

Actions: TUM-Dev/NavigaTUM

Actions

Linting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linting.yml
3,192 workflow run results
3,192 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(deps): update dependency polars to v1.5.0 - autoclosed Linting #3564: Pull request #1447 synchronize by renovate bot
August 14, 2024 21:18 1m 27s renovate/all-minor-patch
renovate/all-minor-patch
August 14, 2024 21:18 1m 27s
made sure that the bbox argument follows the reverse-engineered schema Linting #3563: Commit ec6d7af pushed by CommanderStorm
August 14, 2024 19:56 1m 32s main
main
August 14, 2024 19:56 1m 32s
fixed an impport having a typo Linting #3562: Commit d03287a pushed by CommanderStorm
August 14, 2024 19:34 2m 7s main
main
August 14, 2024 19:34 2m 7s
fixed the expected requst method for the indoor maps being wrong Linting #3561: Commit 8810747 pushed by CommanderStorm
August 14, 2024 19:15 1m 37s main
main
August 14, 2024 19:15 1m 37s
chore(deps): update dependency polars to v1.5.0 - autoclosed Linting #3560: Pull request #1447 opened by renovate bot
August 14, 2024 19:09 1m 45s renovate/all-minor-patch
renovate/all-minor-patch
August 14, 2024 19:09 1m 45s
made sure that the indoor maps are routed to the server Linting #3559: Commit 3ebd413 pushed by CommanderStorm
August 14, 2024 19:08 1m 37s main
main
August 14, 2024 19:08 1m 37s
fixed the url paramter for RemoteMap not being required in the docs Linting #3558: Commit 391d788 pushed by CommanderStorm
August 14, 2024 17:17 1m 57s main
main
August 14, 2024 17:17 1m 57s
chore(formatting): Fixed formatting mistakes (#1445) Linting #3557: Commit 40ac326 pushed by CommanderStorm
August 14, 2024 17:16 1m 31s main
main
August 14, 2024 17:16 1m 31s
Indoor geodata server (#1442) Linting #3556: Commit 7c9a207 pushed by CommanderStorm
August 14, 2024 17:03 1m 55s main
main
August 14, 2024 17:03 1m 55s
Indoor geodata server Linting #3555: Pull request #1442 synchronize by CommanderStorm
August 14, 2024 16:57 1m 25s indoor-geodata-server
indoor-geodata-server
August 14, 2024 16:57 1m 25s
fix(deps): update rust crate polars to 0.42.0 (#1432) Linting #3554: Commit 002caea pushed by CommanderStorm
August 14, 2024 16:22 1m 28s main
main
August 14, 2024 16:22 1m 28s
fix(deps): update rust crate polars to 0.42.0 Linting #3553: Pull request #1432 synchronize by renovate bot
August 14, 2024 16:03 1m 32s renovate/all-minor-patch
renovate/all-minor-patch
August 14, 2024 16:03 1m 32s
Indoor geodata server Linting #3552: Pull request #1442 synchronize by CommanderStorm
August 14, 2024 16:02 1m 37s indoor-geodata-server
indoor-geodata-server
August 14, 2024 16:02 1m 37s
fixed linting errors Linting #3551: Commit db3c402 pushed by CommanderStorm
August 14, 2024 16:01 1m 25s main
main
August 14, 2024 16:01 1m 25s
migrated from attaching geojsons to adding a MapServerHandler to th… Linting #3550: Commit 3b63101 pushed by CommanderStorm
August 14, 2024 15:53 54s main
main
August 14, 2024 15:53 54s
Indoor geodata server Linting #3549: Pull request #1442 synchronize by CommanderStorm
August 14, 2024 15:47 1m 31s indoor-geodata-server
indoor-geodata-server
August 14, 2024 15:47 1m 31s
fix(deps): update rust crate polars to 0.42.0 Linting #3548: Pull request #1432 synchronize by renovate bot
August 14, 2024 15:39 1m 33s renovate/all-minor-patch
renovate/all-minor-patch
August 14, 2024 15:39 1m 33s
fix(deps): update dependency maplibre-gl-indoor to v0.0.9 (#1444) Linting #3547: Commit 7999a6b pushed by CommanderStorm
August 14, 2024 15:38 1m 43s main
main
August 14, 2024 15:38 1m 43s
chore(formatting): Fixed formatting mistakes (#1443) Linting #3546: Commit 175ee90 pushed by CommanderStorm
August 14, 2024 15:38 1m 42s main
main
August 14, 2024 15:38 1m 42s
fix(deps): update rust crate polars to 0.42.0 Linting #3545: Pull request #1432 synchronize by renovate bot
August 14, 2024 15:30 1m 29s renovate/all-minor-patch
renovate/all-minor-patch
August 14, 2024 15:30 1m 29s
fix(deps): update dependency maplibre-gl-indoor to v0.0.9 Linting #3544: Pull request #1444 opened by renovate bot
August 14, 2024 15:28 1m 36s renovate/maplibre
renovate/maplibre
August 14, 2024 15:28 1m 36s
made sure that the server has to wait before the osm initalisation is… Linting #3543: Commit e86e9a7 pushed by CommanderStorm
August 14, 2024 15:26 1m 48s main
main
August 14, 2024 15:26 1m 48s
made sure that JSONArgsRecommended is followed Linting #3542: Commit 50aebec pushed by CommanderStorm
August 14, 2024 13:55 1m 37s main
main
August 14, 2024 13:55 1m 37s
Indoor geodata server Linting #3541: Pull request #1442 opened by CommanderStorm
August 14, 2024 13:42 1m 46s indoor-geodata-server
indoor-geodata-server
August 14, 2024 13:42 1m 46s
added an sql view to track which indoor feature exists where Linting #3540: Commit 50c6290 pushed by CommanderStorm
August 14, 2024 01:34 6m 41s main
main
August 14, 2024 01:34 6m 41s