Skip to content

Actions: SuperTux/supertux

Actions

Code Linting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
86 workflow run results
86 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix set_bonus infinite loop oversight Code Linting #1119: Commit 5b8cabf pushed by tobbi
December 25, 2023 22:32 6m 1s master
master
December 25, 2023 22:32 6m 1s
Check if BUILD_CONFIG_DATA_DIR exists before mounting Code Linting #1118: Commit efb8ccd pushed by tobbi
December 25, 2023 22:25 1m 14s master
master
December 25, 2023 22:25 1m 14s
Add convenience method Player::get_bonus() Code Linting #1117: Commit 3941d49 pushed by tobbi
December 25, 2023 22:08 1m 15s master
master
December 25, 2023 22:08 1m 15s
Revert "remove unused variables" Code Linting #1115: Commit 4dfd706 pushed by MatusGuy
December 25, 2023 14:40 1m 19s master
master
December 25, 2023 14:40 1m 19s
remove unused variables Code Linting #1114: Commit 6992c41 pushed by MatusGuy
December 25, 2023 14:34 1m 15s master
master
December 25, 2023 14:34 1m 15s
Prevent igel weird freeze behaviour Code Linting #1113: Commit 96682c1 pushed by MatusGuy
December 22, 2023 07:37 1m 15s master
master
December 22, 2023 07:37 1m 15s
Determine sector size only by solid tilemaps Code Linting #1106: Commit 293d6ac pushed by Vankata453
December 19, 2023 21:25 1m 25s master
master
December 19, 2023 21:25 1m 25s
Do not prevent death, if restarting from checkpoint Code Linting #1098: Commit 85274f0 pushed by Vankata453
December 16, 2023 11:20 1m 16s master
master
December 16, 2023 11:20 1m 16s
Prevent climbing while rock tux Code Linting #1097: Commit e7b0cc9 pushed by MatusGuy
December 14, 2023 20:59 3m 46s master
master
December 14, 2023 20:59 3m 46s
World-specific custom title screen levels (#2667) Code Linting #1096: Commit 41356f0 pushed by Vankata453
December 14, 2023 20:48 1m 23s master
master
December 14, 2023 20:48 1m 23s
Editor toolbox scrollbar, adjusted scroll speed (#2678) Code Linting #1095: Commit 2272053 pushed by Vankata453
December 14, 2023 19:06 1m 20s master
master
December 14, 2023 19:06 1m 20s
Fix #2670 (#2702) Code Linting #1093: Commit f6a2de5 pushed by Rusty-Box
December 14, 2023 17:44 1m 30s master
master
December 14, 2023 17:44 1m 30s
Make light block use it's texture before being used Code Linting #1092: Pull request #2702 opened by Miner34dev
December 14, 2023 12:12 12m 40s master
master
December 14, 2023 12:12 12m 40s
Fix wait() segfaulting on the worldmap. (#2695) Code Linting #1088: Commit c304d19 pushed by MatusGuy
December 13, 2023 07:43 1m 16s master
master
December 13, 2023 07:43 1m 16s
Do not offset empty tilegroup tiles Code Linting #1084: Commit 3e60fd7 pushed by Vankata453
December 12, 2023 22:04 1m 31s master
master
December 12, 2023 22:04 1m 31s
Editor tile converter "author" field Code Linting #1078: Commit be6850f pushed by Vankata453
December 11, 2023 17:32 13m 29s master
master
December 11, 2023 17:32 13m 29s
GameSession: Check whether only start position is available after d… Code Linting #1070: Commit 5341491 pushed by Vankata453
December 10, 2023 14:13 11m 38s master
master
December 10, 2023 14:13 11m 38s
Fix LevelTime drawing issue Code Linting #1069: Commit 4522424 pushed by Vankata453
December 10, 2023 14:03 1m 23s master
master
December 10, 2023 14:03 1m 23s
Profile manager, general profile info (#2666) Code Linting #1068: Commit 898e867 pushed by Vankata453
December 10, 2023 13:33 1m 23s master
master
December 10, 2023 13:33 1m 23s
Backwards-compatible tile mappings, tile converters, tile and texture… Code Linting #1066: Commit 517005b pushed by Vankata453
December 10, 2023 11:07 12m 26s master
master
December 10, 2023 11:07 12m 26s
Improve DrawingRequest API (#2690) Code Linting #1046: Commit 56ae0b8 pushed by Vankata453
December 2, 2023 19:52 14m 24s master
master
December 2, 2023 19:52 14m 24s
Modifying bonus block custom object from editor (#2681) Code Linting #1036: Commit bc10f43 pushed by Vankata453
December 1, 2023 21:32 1m 16s master
master
December 1, 2023 21:32 1m 16s
Changing some display names for a couple of badguys (#2687) Code Linting #1032: Commit ea58eb2 pushed by Vankata453
November 29, 2023 20:45 1m 23s master
master
November 29, 2023 20:45 1m 23s
Fix smart badguy might_fall behaviour (#2683) Code Linting #1018: Commit 9b05a8f pushed by tobbi
November 25, 2023 20:36 14m 7s master
master
November 25, 2023 20:36 14m 7s
Fix incorrect OpenGL cliprect Y position Code Linting #1011: Commit 4f25f0a pushed by Vankata453
November 25, 2023 14:29 1m 25s master
master
November 25, 2023 14:29 1m 25s