Skip to content

Actions: swarm-game/swarm

Actions

Enforce issue references for TODOs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check_todos.yml
361 workflow run results
361 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add footer to goals dialog (#1509) Enforce issue references for TODOs #1062: Commit b014062 pushed by mergify bot
September 10, 2023 11:50 13s main
main
September 10, 2023 11:50 13s
Replace/quarantine uses of head and NE.fromList functions Enforce issue references for TODOs #1061: Pull request #1503 synchronize by byorgey
September 10, 2023 11:37 14s refactor/replace-partial-functions
refactor/replace-partial-functions
September 10, 2023 11:37 14s
Add footer to goals dialog Enforce issue references for TODOs #1060: Pull request #1509 synchronize by byorgey
September 10, 2023 11:35 21s feature/goals-dialog-footer
feature/goals-dialog-footer
September 10, 2023 11:35 21s
Decompose GameState into sub-records Enforce issue references for TODOs #1059: Pull request #1510 opened by kostmo
September 10, 2023 06:56 16s refactor/decompose-gamestate
refactor/decompose-gamestate
September 10, 2023 06:56 16s
Grant RobotIntoWater achievement Enforce issue references for TODOs #1058: Pull request #1504 synchronize by byorgey
September 10, 2023 06:03 23s robot-into-water
robot-into-water
September 10, 2023 06:03 23s
Replace/quarantine uses of head and NE.fromList functions Enforce issue references for TODOs #1057: Pull request #1503 synchronize by kostmo
September 10, 2023 05:55 11s refactor/replace-partial-functions
refactor/replace-partial-functions
September 10, 2023 05:55 11s
Add footer to goals dialog Enforce issue references for TODOs #1056: Pull request #1509 synchronize by mergify bot
September 10, 2023 05:51 14s feature/goals-dialog-footer
feature/goals-dialog-footer
September 10, 2023 05:51 14s
Grant RobotIntoWater achievement Enforce issue references for TODOs #1055: Pull request #1504 synchronize by byorgey
September 10, 2023 05:34 14s robot-into-water
robot-into-water
September 10, 2023 05:34 14s
Grant RobotIntoWater achievement Enforce issue references for TODOs #1054: Pull request #1504 synchronize by byorgey
September 10, 2023 05:20 18s robot-into-water
robot-into-water
September 10, 2023 05:20 18s
Replace/quarantine uses of head and NE.fromList functions Enforce issue references for TODOs #1053: Pull request #1503 synchronize by kostmo
September 10, 2023 05:02 14s refactor/replace-partial-functions
refactor/replace-partial-functions
September 10, 2023 05:02 14s
Support markdown in achievement descriptions (#1508) Enforce issue references for TODOs #1052: Commit 318b939 pushed by mergify bot
September 10, 2023 04:57 12s main
main
September 10, 2023 04:57 12s
Add footer to goals dialog Enforce issue references for TODOs #1051: Pull request #1509 opened by kostmo
September 10, 2023 02:59 15s feature/goals-dialog-footer
feature/goals-dialog-footer
September 10, 2023 02:59 15s
Support markdown in achievement descriptions Enforce issue references for TODOs #1050: Pull request #1508 opened by kostmo
September 10, 2023 02:39 17s feature/markdown-achievements
feature/markdown-achievements
September 10, 2023 02:39 17s
Replace/quarantine uses of head and NE.fromList functions Enforce issue references for TODOs #1049: Pull request #1503 synchronize by kostmo
September 10, 2023 01:49 11s refactor/replace-partial-functions
refactor/replace-partial-functions
September 10, 2023 01:49 11s
Grant RobotIntoWater achievement Enforce issue references for TODOs #1048: Pull request #1504 opened by byorgey
September 10, 2023 00:35 12s robot-into-water
robot-into-water
September 10, 2023 00:35 12s
Replace/quarantine uses of head and NE.fromList functions Enforce issue references for TODOs #1047: Pull request #1503 opened by kostmo
September 10, 2023 00:17 18s refactor/replace-partial-functions
refactor/replace-partial-functions
September 10, 2023 00:17 18s
generalize variables bound by <- (#1501) Enforce issue references for TODOs #1046: Commit 096251d pushed by mergify bot
September 9, 2023 17:36 10s main
main
September 9, 2023 17:36 10s
generalize variables bound by <- Enforce issue references for TODOs #1045: Pull request #1501 synchronize by mergify bot
September 9, 2023 17:24 11s fix/issue-351
fix/issue-351
September 9, 2023 17:24 11s
generalize variables bound by <- Enforce issue references for TODOs #1044: Pull request #1501 synchronize by byorgey
September 9, 2023 17:08 11s fix/issue-351
fix/issue-351
September 9, 2023 17:08 11s
generalize variables bound by <- Enforce issue references for TODOs #1043: Pull request #1501 synchronize by byorgey
September 9, 2023 17:04 14s fix/issue-351
fix/issue-351
September 9, 2023 17:04 14s
Use NonEmpty to eliminate some partial functions (#1499) Enforce issue references for TODOs #1042: Commit ae70790 pushed by mergify bot
September 9, 2023 15:00 15s main
main
September 9, 2023 15:00 15s
Use NonEmpty to eliminate some partial functions Enforce issue references for TODOs #1041: Pull request #1499 synchronize by kostmo
September 9, 2023 14:48 12s refactor/total-functions-with-nonempty
refactor/total-functions-with-nonempty
September 9, 2023 14:48 12s
generalize variables bound by <- Enforce issue references for TODOs #1040: Pull request #1501 opened by byorgey
September 9, 2023 06:54 17s fix/issue-351
fix/issue-351
September 9, 2023 06:54 17s
Add solution for world101 tutorial (#1498) Enforce issue references for TODOs #1039: Commit 8ffd056 pushed by mergify bot
September 9, 2023 05:56 10s main
main
September 9, 2023 05:56 10s
Add solution for world101 tutorial Enforce issue references for TODOs #1038: Pull request #1498 synchronize by mergify bot
September 9, 2023 05:40 11s world101-solution
world101-solution
September 9, 2023 05:40 11s