Skip to content

Actions: SuperTux/supertux

Actions

Code Linting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
159 workflow run results
159 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improvements to Dart and DartTrap Code Linting #563: Pull request #2554 synchronize by Narre
July 31, 2023 17:31 15m 15s Narre:dart_sprite_from_darttrap
Narre:dart_sprite_from_darttrap
July 31, 2023 17:31 15m 15s
Fix editor not updating direction of badguys, conveyor belts and bumpers Code Linting #562: Pull request #2556 synchronize by Narre
July 31, 2023 17:15 16m 15s Narre:editor_update_direction
Narre:editor_update_direction
July 31, 2023 17:15 16m 15s
Fix buttjump hitbox to not include actual player (#2562) Code Linting #561: Commit 28c4786 pushed by mrkubax10
July 31, 2023 11:01 2m 5s master
master
July 31, 2023 11:01 2m 5s
Pause target timer via scripting Code Linting #560: Pull request #2513 synchronize by tobbi
July 31, 2023 10:12 3m 11s pause_target_timer
pause_target_timer
July 31, 2023 10:12 3m 11s
Pause target timer via scripting Code Linting #559: Pull request #2513 synchronize by tobbi
July 31, 2023 09:45 2m 27s pause_target_timer
pause_target_timer
July 31, 2023 09:45 2m 27s
Pause target timer via scripting Code Linting #558: Pull request #2513 synchronize by tobbi
July 31, 2023 09:26 2m 8s pause_target_timer
pause_target_timer
July 31, 2023 09:26 2m 8s
Update several icons + update missing texture Code Linting #557: Pull request #2493 synchronize by Rusty-Box
July 30, 2023 22:16 2m 32s icon_update
icon_update
July 30, 2023 22:16 2m 32s
Fix buttjump hitbox to not include actual player Code Linting #556: Pull request #2562 synchronize by MatusGuy
July 30, 2023 21:31 10m 7s MatusGuy:patch-2
MatusGuy:patch-2
July 30, 2023 21:31 10m 7s
Fix buttjump hitbox to not include actual player Code Linting #555: Pull request #2562 opened by MatusGuy
July 30, 2023 21:23 2m 28s MatusGuy:patch-2
MatusGuy:patch-2
July 30, 2023 21:23 2m 28s
Update sprites for remaining badguys relevant for v0.7 release [MOVED TO #2568] Code Linting #554: Pull request #2516 synchronize by Rusty-Box
July 29, 2023 01:25 5m 34s badguy-sprites
badguy-sprites
July 29, 2023 01:25 5m 34s
Update sprites for remaining badguys relevant for v0.7 release [MOVED TO #2568] Code Linting #553: Pull request #2516 synchronize by Rusty-Box
July 29, 2023 01:12 2m 5s badguy-sprites
badguy-sprites
July 29, 2023 01:12 2m 5s
Display world screenshot previews and progress Code Linting #552: Pull request #2349 synchronize by Vankata453
July 27, 2023 14:45 14m 23s Vankata453:world-previews
Vankata453:world-previews
July 27, 2023 14:45 14m 23s
Improvements to object type support, object versioning Code Linting #551: Pull request #2542 synchronize by Vankata453
July 27, 2023 11:16 2m 11s Vankata453:object-type-improvements
Vankata453:object-type-improvements
July 27, 2023 11:16 2m 11s
Improvements to object type support, object versioning Code Linting #550: Pull request #2542 synchronize by Vankata453
July 26, 2023 20:24 2m 11s Vankata453:object-type-improvements
Vankata453:object-type-improvements
July 26, 2023 20:24 2m 11s
Improvements to object type support, object versioning Code Linting #549: Pull request #2542 synchronize by Vankata453
July 26, 2023 16:08 7m 1s Vankata453:object-type-improvements
Vankata453:object-type-improvements
July 26, 2023 16:08 7m 1s
Improvements to object type support, object versioning Code Linting #548: Pull request #2542 synchronize by Vankata453
July 26, 2023 15:48 2m 10s Vankata453:object-type-improvements
Vankata453:object-type-improvements
July 26, 2023 15:48 2m 10s
Improvements to object type support, object versioning Code Linting #547: Pull request #2542 synchronize by Vankata453
July 26, 2023 14:21 2m 8s Vankata453:object-type-improvements
Vankata453:object-type-improvements
July 26, 2023 14:21 2m 8s
Fix translation issue with object display names Code Linting #546: Commit 9e13a5a pushed by Vankata453
July 26, 2023 08:52 2m 9s master
master
July 26, 2023 08:52 2m 9s
Prevent propagating movement to statics (#2552) Code Linting #545: Commit d437562 pushed by tobbi
July 25, 2023 21:57 2m 11s master
master
July 25, 2023 21:57 2m 11s
Improvements to trigger objects code Code Linting #544: Commit da38807 pushed by Vankata453
July 25, 2023 12:15 14m 53s master
master
July 25, 2023 12:15 14m 53s
Remove unneeded get_settings() override in Block Code Linting #543: Commit 263ec93 pushed by Vankata453
July 24, 2023 20:43 8m 16s master
master
July 24, 2023 20:43 8m 16s
Fix editor not updating direction of badguys, conveyor belts and bumpers Code Linting #542: Pull request #2556 synchronize by Narre
July 24, 2023 14:07 4m 40s Narre:editor_update_direction
Narre:editor_update_direction
July 24, 2023 14:07 4m 40s
Fix sprite hardcoding issues, convert more objects to MovingSprite Code Linting #541: Commit a09c630 pushed by Vankata453
July 24, 2023 13:51 2m 11s master
master
July 24, 2023 13:51 2m 11s
Implement stop_looping_sounds / play_looping_sounds in AmbientSound Code Linting #540: Commit 81172c3 pushed by tobbi
July 24, 2023 00:00 2m 31s master
master
July 24, 2023 00:00 2m 31s
Fix comment for scripting::Decal::set_action Code Linting #539: Commit 17be3f4 pushed by Vankata453
July 23, 2023 22:28 2m 27s master
master
July 23, 2023 22:28 2m 27s