Skip to content

Actions: swarm-game/swarm

JSON schema

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
623 workflow runs
623 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Structure browser and recognizer
JSON schema #98: Pull request #1579 synchronize by kostmo
October 18, 2023 04:35 27s feature/structure-previews
October 18, 2023 04:35 27s
Structure browser and recognizer
JSON schema #97: Pull request #1579 synchronize by kostmo
October 18, 2023 01:18 31s feature/structure-previews
October 18, 2023 01:18 31s
Require types to start with an uppercase letter
JSON schema #96: Pull request #1583 synchronize by byorgey
October 17, 2023 18:21 25s feature/uppercase-types
October 17, 2023 18:21 25s
Require types to start with an uppercase letter
JSON schema #95: Pull request #1583 synchronize by byorgey
October 17, 2023 14:45 25s feature/uppercase-types
October 17, 2023 14:45 25s
Structure browser and recognizer
JSON schema #94: Pull request #1579 synchronize by kostmo
October 16, 2023 16:58 24s feature/structure-previews
October 16, 2023 16:58 24s
Structure browser and recognizer
JSON schema #93: Pull request #1579 synchronize by kostmo
October 16, 2023 08:15 24s feature/structure-previews
October 16, 2023 08:15 24s
Structure browser and recognizer
JSON schema #92: Pull request #1579 synchronize by kostmo
October 16, 2023 07:34 26s feature/structure-previews
October 16, 2023 07:34 26s
Structure browser and recognizer
JSON schema #91: Pull request #1579 synchronize by kostmo
October 11, 2023 07:14 26s feature/structure-previews
October 11, 2023 07:14 26s
Structure browser and recognizer
JSON schema #90: Pull request #1579 synchronize by kostmo
October 10, 2023 07:12 28s feature/structure-previews
October 10, 2023 07:12 28s
Structure browser and recognizer
JSON schema #89: Pull request #1579 synchronize by kostmo
October 9, 2023 06:56 34s feature/structure-previews
October 9, 2023 06:56 34s
Structure browser and recognizer
JSON schema #88: Pull request #1579 opened by kostmo
October 9, 2023 06:24 24s feature/structure-previews
October 9, 2023 06:24 24s
Restore the "classic world" background for friend challenge (#1566)
JSON schema #87: Commit 11053c4 pushed by mergify bot
October 7, 2023 19:58 24s main
October 7, 2023 19:58 24s
Restore the "classic world" background for friend challenge
JSON schema #86: Pull request #1566 synchronize by byorgey
October 7, 2023 19:21 20s fix/cat-background
October 7, 2023 19:21 20s
Restore the "classic world" background for friend challenge
JSON schema #85: Pull request #1566 opened by byorgey
October 3, 2023 17:52 23s fix/cat-background
October 3, 2023 17:52 23s
robot wave scenario (#1556)
JSON schema #84: Commit c1d0fdd pushed by mergify bot
October 1, 2023 14:49 31s main
October 1, 2023 14:49 31s
robot wave scenario
JSON schema #83: Pull request #1556 synchronize by kostmo
October 1, 2023 04:54 27s scenarios/wave
October 1, 2023 04:54 27s
robot wave scenario
JSON schema #82: Pull request #1556 synchronize by kostmo
October 1, 2023 04:45 28s scenarios/wave
October 1, 2023 04:45 28s
robot wave scenario
JSON schema #81: Pull request #1556 opened by kostmo
September 30, 2023 05:07 25s scenarios/wave
September 30, 2023 05:07 25s
Require explicit forall on polymorphic types
JSON schema #80: Pull request #1550 synchronize by byorgey
September 26, 2023 16:15 29s feature/disambiguate-typevars
September 26, 2023 16:15 29s
Require explicit forall on polymorphic types
JSON schema #79: Pull request #1550 synchronize by byorgey
September 26, 2023 16:08 43s feature/disambiguate-typevars
September 26, 2023 16:08 43s
Require explicit forall on polymorphic types
JSON schema #78: Pull request #1550 opened by byorgey
September 26, 2023 16:07 29s feature/disambiguate-typevars
September 26, 2023 16:07 29s
ping command (#1541)
JSON schema #77: Commit 93bbbe3 pushed by mergify bot
September 24, 2023 07:49 33s main
September 24, 2023 07:49 33s
ping command
JSON schema #76: Pull request #1541 synchronize by kostmo
September 24, 2023 07:17 40s feature/ping-robots
September 24, 2023 07:17 40s
ping command
JSON schema #75: Pull request #1541 synchronize by kostmo
September 20, 2023 22:43 29s feature/ping-robots
September 20, 2023 22:43 29s
ping command
JSON schema #74: Pull request #1541 synchronize by kostmo
September 20, 2023 07:14 21s feature/ping-robots
September 20, 2023 07:14 21s
ProTip! You can narrow down the results and go further in time using created:<2023-09-20 or the other filters available.