Skip to content

Actions: swarm-game/swarm

Actions

Restyled

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
restyled.yml
367 workflow runs
367 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use original variable names in error messages about Skolem variables Restyled #367: Pull request #2340 synchronize by mergify bot
March 10, 2025 19:22 20s byorgey/feature/skolem-msgs
byorgey/feature/skolem-msgs
March 10, 2025 19:22 20s
Use MonoidMap.foldrWithKey in wakeWatchingRobots. Restyled #366: Pull request #2342 opened by jonathanknowles
March 10, 2025 00:42 22s use-MonoidMap-foldrWithKey
use-MonoidMap-foldrWithKey
March 10, 2025 00:42 22s
Replace surfaceEmpty with guarded. Restyled #365: Pull request #2338 synchronize by mergify bot
March 9, 2025 23:52 17s replace-surfaceEmpty-with-guarded
replace-surfaceEmpty-with-guarded
March 9, 2025 23:52 17s
Use original variable names in error messages about Skolem variables Restyled #364: Pull request #2340 synchronize by byorgey
March 9, 2025 22:04 19s byorgey/feature/skolem-msgs
byorgey/feature/skolem-msgs
March 9, 2025 22:04 19s
Use original variable names in error messages about Skolem variables Restyled #363: Pull request #2340 opened by byorgey
March 9, 2025 21:01 28s byorgey/feature/skolem-msgs
byorgey/feature/skolem-msgs
March 9, 2025 21:01 28s
Use MonoidMap for waitingRobots. Restyled #362: Pull request #2339 synchronize by jonathanknowles
March 9, 2025 08:10 18s waitingRobots-MonoidMap
waitingRobots-MonoidMap
March 9, 2025 08:10 18s
Use MonoidMap for waitingRobots. Restyled #361: Pull request #2339 synchronize by jonathanknowles
March 9, 2025 08:08 23s waitingRobots-MonoidMap
waitingRobots-MonoidMap
March 9, 2025 08:08 23s
Use MonoidMap for waitingRobots. Restyled #360: Pull request #2339 synchronize by jonathanknowles
March 9, 2025 07:53 24s waitingRobots-MonoidMap
waitingRobots-MonoidMap
March 9, 2025 07:53 24s
Use MonoidMap for waitingRobots. Restyled #359: Pull request #2339 synchronize by jonathanknowles
March 9, 2025 06:25 21s waitingRobots-MonoidMap
waitingRobots-MonoidMap
March 9, 2025 06:25 21s
Use MonoidMap for waitingRobots. Restyled #358: Pull request #2339 synchronize by jonathanknowles
March 9, 2025 05:59 23s waitingRobots-MonoidMap
waitingRobots-MonoidMap
March 9, 2025 05:59 23s
Use MonoidMap for waitingRobots. Restyled #357: Pull request #2339 opened by jonathanknowles
March 9, 2025 05:39 23s waitingRobots-MonoidMap
waitingRobots-MonoidMap
March 9, 2025 05:39 23s
Replace surfaceEmpty with guarded. Restyled #356: Pull request #2338 synchronize by jonathanknowles
March 9, 2025 03:27 22s replace-surfaceEmpty-with-guarded
replace-surfaceEmpty-with-guarded
March 9, 2025 03:27 22s
Use MonoidMap for robotsByLocation. Restyled #355: Pull request #2336 synchronize by mergify bot
March 9, 2025 03:00 19s robotsByLocation-MonoidMap
robotsByLocation-MonoidMap
March 9, 2025 03:00 19s
Replace surfaceEmpty with guarded. Restyled #354: Pull request #2338 opened by jonathanknowles
March 9, 2025 01:19 20s replace-surfaceEmpty-with-guarded
replace-surfaceEmpty-with-guarded
March 9, 2025 01:19 20s
Use MonoidMap for robotsWatching. Restyled #353: Pull request #2337 opened by jonathanknowles
March 9, 2025 00:04 21s robotsWatching-MonoidMap
robotsWatching-MonoidMap
March 9, 2025 00:04 21s
Use MonoidMap for robotsByLocation. Restyled #352: Pull request #2336 opened by jonathanknowles
March 8, 2025 23:54 25s robotsByLocation-MonoidMap
robotsByLocation-MonoidMap
March 8, 2025 23:54 25s
Use MonoidMap for robotsWatching. Restyled #351: Pull request #2335 synchronize by jonathanknowles
March 8, 2025 12:10 48s jonathanknowles:robotsWatching-MonoidMap
jonathanknowles:robotsWatching-MonoidMap
March 8, 2025 12:10 48s
Use MonoidMap for robotsByLocation. Restyled #350: Pull request #2334 synchronize by jonathanknowles
March 8, 2025 12:09 40s jonathanknowles:robotsByLocation-MonoidMap
jonathanknowles:robotsByLocation-MonoidMap
March 8, 2025 12:09 40s
Use MonoidMap for robotsWatching. Restyled #349: Pull request #2335 synchronize by jonathanknowles
March 8, 2025 01:24 40s jonathanknowles:robotsWatching-MonoidMap
jonathanknowles:robotsWatching-MonoidMap
March 8, 2025 01:24 40s
Use MonoidMap for robotsWatching. Restyled #348: Pull request #2335 synchronize by jonathanknowles
March 8, 2025 00:53 34s jonathanknowles:robotsWatching-MonoidMap
jonathanknowles:robotsWatching-MonoidMap
March 8, 2025 00:53 34s
Use MonoidMap for robotsWatching. Restyled #347: Pull request #2335 opened by jonathanknowles
March 8, 2025 00:50 46s jonathanknowles:robotsWatching-MonoidMap
jonathanknowles:robotsWatching-MonoidMap
March 8, 2025 00:50 46s
Use MonoidMap for robotsByLocation. Restyled #346: Pull request #2334 synchronize by jonathanknowles
March 8, 2025 00:43 46s jonathanknowles:robotsByLocation-MonoidMap
jonathanknowles:robotsByLocation-MonoidMap
March 8, 2025 00:43 46s
Use MonoidMap for robotsByLocation. Restyled #345: Pull request #2334 synchronize by jonathanknowles
March 8, 2025 00:04 48s jonathanknowles:robotsByLocation-MonoidMap
jonathanknowles:robotsByLocation-MonoidMap
March 8, 2025 00:04 48s
Use MonoidMap for robotsByLocation. Restyled #344: Pull request #2334 synchronize by jonathanknowles
March 7, 2025 03:31 39s jonathanknowles:robotsByLocation-MonoidMap
jonathanknowles:robotsByLocation-MonoidMap
March 7, 2025 03:31 39s
Use MonoidMap for robotsByLocation. Restyled #343: Pull request #2334 synchronize by jonathanknowles
March 7, 2025 03:27 33s jonathanknowles:robotsByLocation-MonoidMap
jonathanknowles:robotsByLocation-MonoidMap
March 7, 2025 03:27 33s