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
220 workflow run results
220 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Use NonEmpty to eliminate some partial functions Enforce issue references for TODOs #1037: Pull request #1499 opened by kostmo
September 8, 2023 16:23 16s refactor/total-functions-with-nonempty
refactor/total-functions-with-nonempty
September 8, 2023 16:23 16s
Use raw (unelaborated) AST for pretty-printing in Markdown (#1497) Enforce issue references for TODOs #1036: Commit 008f062 pushed by mergify bot
September 8, 2023 14:37 12s main
main
September 8, 2023 14:37 12s
Add solution for world101 tutorial Enforce issue references for TODOs #1035: Pull request #1498 opened by byorgey
September 8, 2023 00:31 12s world101-solution
world101-solution
September 8, 2023 00:31 12s
Use raw (unelaborated) AST for pretty-printing in Markdown Enforce issue references for TODOs #1034: Pull request #1497 opened by byorgey
September 8, 2023 00:00 12s fix/issue-1496
fix/issue-1496
September 8, 2023 00:00 12s
more documentation tweaks (#1493) Enforce issue references for TODOs #1033: Commit 98ebf74 pushed by mergify bot
September 7, 2023 07:00 10s main
main
September 7, 2023 07:00 10s
more documentation tweaks Enforce issue references for TODOs #1032: Pull request #1493 synchronize by kostmo
September 7, 2023 06:26 16s feature/more-docs
feature/more-docs
September 7, 2023 06:26 16s
use Int64 for time Enforce issue references for TODOs #1031: Pull request #1491 synchronize by kostmo
September 7, 2023 06:02 11s feature/word64-ticks
feature/word64-ticks
September 7, 2023 06:02 11s
more documentation tweaks Enforce issue references for TODOs #1030: Pull request #1493 synchronize by kostmo
September 7, 2023 06:00 14s feature/more-docs
feature/more-docs
September 7, 2023 06:00 14s
Robot activity counts in F2 menu (#1484) Enforce issue references for TODOs #1029: Commit 1aa92d0 pushed by mergify bot
September 7, 2023 06:00 14s main
main
September 7, 2023 06:00 14s
more documentation tweaks Enforce issue references for TODOs #1028: Pull request #1493 synchronize by kostmo
September 7, 2023 05:57 16s feature/more-docs
feature/more-docs
September 7, 2023 05:57 16s
more documentation tweaks Enforce issue references for TODOs #1027: Pull request #1493 opened by kostmo
September 7, 2023 02:23 13s feature/more-docs
feature/more-docs
September 7, 2023 02:23 13s
use Int64 for time Enforce issue references for TODOs #1026: Pull request #1491 synchronize by kostmo
September 7, 2023 00:15 16s feature/word64-ticks
feature/word64-ticks
September 7, 2023 00:15 16s
use Int64 for time Enforce issue references for TODOs #1025: Pull request #1491 synchronize by kostmo
September 7, 2023 00:15 17s feature/word64-ticks
feature/word64-ticks
September 7, 2023 00:15 17s
use Int64 for time Enforce issue references for TODOs #1024: Pull request #1491 opened by kostmo
September 7, 2023 00:12 18s feature/word64-ticks
feature/word64-ticks
September 7, 2023 00:12 18s
Robot activity counts in F2 menu Enforce issue references for TODOs #1023: Pull request #1484 synchronize by kostmo
September 6, 2023 20:46 15s feature/command-count
feature/command-count
September 6, 2023 20:46 15s
Robot activity counts in F2 menu Enforce issue references for TODOs #1022: Pull request #1484 synchronize by kostmo
September 6, 2023 20:41 14s feature/command-count
feature/command-count
September 6, 2023 20:41 14s