Skip to content

Actions: mikaelGusse/a-plus

Actions

lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
184 workflow runs
184 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

More student module goal fixes lint #184: Commit 2f99612 pushed by murhum1
October 8, 2024 09:06 2m 32s personalized_points_goal
personalized_points_goal
October 8, 2024 09:06 2m 32s
More student module goal fixes lint #183: Commit 867c68a pushed by murhum1
October 8, 2024 08:36 2m 30s personalized_points_goal
personalized_points_goal
October 8, 2024 08:36 2m 30s
Merge branch 'master' into personalized_points_goal lint #182: Commit a49cf4d pushed by murhum1
October 7, 2024 11:11 8m 21s personalized_points_goal
personalized_points_goal
October 7, 2024 11:11 8m 21s
Fixes for personalized points goal lint #181: Commit 8caddf7 pushed by mikaelGusse
September 25, 2024 09:39 2m 22s personalized_points_goal
personalized_points_goal
September 25, 2024 09:39 2m 22s
Fixes for personalized points goal lint #180: Commit 8326413 pushed by mikaelGusse
September 24, 2024 13:17 8m 30s personalized_points_goal
personalized_points_goal
September 24, 2024 13:17 8m 30s
Add small cookie notice to base.html lint #179: Commit 2f421ae pushed by mikaelGusse
September 3, 2024 10:28 2m 23s cookie_notice
cookie_notice
September 3, 2024 10:28 2m 23s
Add small cookie notice to base.html lint #178: Commit fcc46a2 pushed by mikaelGusse
September 3, 2024 10:22 2m 20s cookie_notice
cookie_notice
September 3, 2024 10:22 2m 20s
Add small cookie notice to base.html lint #177: Commit 3ce8a32 pushed by mikaelGusse
September 3, 2024 09:52 2m 18s cookie_notice
cookie_notice
September 3, 2024 09:52 2m 18s
Release v1.25.0 lint #176: Commit 2eeb8b4 pushed by mikaelGusse
August 30, 2024 12:41 8m 29s master
master
August 30, 2024 12:41 8m 29s
Fix issues with show zero points immediately lint #175: Commit 2bdef55 pushed by mikaelGusse
August 30, 2024 12:00 2m 14s show-zero-points
show-zero-points
August 30, 2024 12:00 2m 14s
Fix issues with show zero points immediately lint #174: Commit 85bb00c pushed by mikaelGusse
August 30, 2024 11:51 8m 33s show-zero-points
show-zero-points
August 30, 2024 11:51 8m 33s
Fix pseudonymization not showing up for TAs lint #173: Commit 187229f pushed by mikaelGusse
August 21, 2024 13:13 2m 26s ta_fix
ta_fix
August 21, 2024 13:13 2m 26s
Add "regrade when notification seen" option lint #172: Commit 5733d53 pushed by mikaelGusse
August 21, 2024 13:12 2m 35s master
master
August 21, 2024 13:12 2m 35s
Fix pseudonymization not showing up for TAs lint #171: Commit d6e29d6 pushed by mikaelGusse
August 21, 2024 12:50 2m 37s master
master
August 21, 2024 12:50 2m 37s
Fix pseudonymization not showing up for TAs lint #170: Commit d6e29d6 pushed by mikaelGusse
August 21, 2024 11:20 2m 31s ta_pseudonymization_fix
ta_pseudonymization_fix
August 21, 2024 11:20 2m 31s
Fix pseudonymization not showing up for TAs lint #169: Commit d5e0e00 pushed by mikaelGusse
August 21, 2024 11:14 2m 22s fix_ta_pseudonymization
fix_ta_pseudonymization
August 21, 2024 11:14 2m 22s
Small fixes to personalized points goal lint #168: Commit 00cb5b4 pushed by mikaelGusse
August 21, 2024 07:56 2m 29s personalized_points_goal
personalized_points_goal
August 21, 2024 07:56 2m 29s
Refinements to delete button and input field in personalized points g… lint #167: Commit 4172f22 pushed by mikaelGusse
August 19, 2024 09:30 2m 23s personalized_points_goal
personalized_points_goal
August 19, 2024 09:30 2m 23s
Show zero points feedback immediately lint #166: Commit b7ac297 pushed by mikaelGusse
August 16, 2024 11:31 2m 22s show-zero-points
show-zero-points
August 16, 2024 11:31 2m 22s
Show zero points feedback immediately lint #165: Commit bad699d pushed by mikaelGusse
August 16, 2024 10:15 2m 23s show-zero-points
show-zero-points
August 16, 2024 10:15 2m 23s
Fix tooltip update on removal lint #164: Commit 67f5158 pushed by mikaelGusse
August 15, 2024 12:15 2m 32s personalized_points_goal
personalized_points_goal
August 15, 2024 12:15 2m 32s
Fix tooltip update on removal lint #163: Commit 7e200b7 pushed by mikaelGusse
August 15, 2024 11:45 2m 19s personalized_points_goal
personalized_points_goal
August 15, 2024 11:45 2m 19s
Added remove option for personalized points goals and fixed issues fr… lint #162: Commit debfa75 pushed by mikaelGusse
August 15, 2024 11:20 2m 27s personalized_points_goal
personalized_points_goal
August 15, 2024 11:20 2m 27s
Added remove option for personalized points goals and fixed issues fr… lint #161: Commit 3a4d0d1 pushed by mikaelGusse
August 15, 2024 11:17 2m 25s personalized_points_goal
personalized_points_goal
August 15, 2024 11:17 2m 25s
Added remove option for personalized points goals and fixed issues fr… lint #160: Commit b93cbd1 pushed by mikaelGusse
August 15, 2024 11:17 2m 23s personalized_points_goal
personalized_points_goal
August 15, 2024 11:17 2m 23s