Skip to content

Actions: ocadaruma/tlaplus-intellij-plugin

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
11 workflow runs
11 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Release 0.9.3 CI #182: Commit 8ccf190 pushed by ocadaruma
March 19, 2024 23:14 5m 48s master
master
March 19, 2024 23:14 5m 48s
Merge pull request #37 from ocadaruma/prepare-24 CI #181: Commit 281c25b pushed by ocadaruma
March 19, 2024 23:14 7m 47s master
master
March 19, 2024 23:14 7m 47s
prepare for intellij 2024 CI #180: Pull request #37 synchronize by ocadaruma
March 19, 2024 23:07 5m 26s prepare-24
prepare-24
March 19, 2024 23:07 5m 26s
prepare for intellij 2024 CI #179: Pull request #37 opened by ocadaruma
March 18, 2024 14:20 4m 11s prepare-24
prepare-24
March 18, 2024 14:20 4m 11s
Release 0.9.2 CI #178: Commit 178a481 pushed by ocadaruma
March 17, 2024 14:39 6m 4s master
master
March 17, 2024 14:39 6m 4s
Merge pull request #36 from ocadaruma/fix-junction-parsing CI #177: Commit 9b0bb9a pushed by ocadaruma
March 17, 2024 14:34 5m 45s master
master
March 17, 2024 14:34 5m 45s
fix junction parsing logic fixes #35 CI #176: Pull request #36 synchronize by ocadaruma
March 17, 2024 14:28 5m 43s fix-junction-parsing
fix-junction-parsing
March 17, 2024 14:28 5m 43s
fix junction parsing logic fixes #35 CI #175: Pull request #36 opened by ocadaruma
March 17, 2024 14:22 2m 57s fix-junction-parsing
fix-junction-parsing
March 17, 2024 14:22 2m 57s
Release 0.9.1 CI #174: Commit c836b49 pushed by ocadaruma
July 31, 2023 09:43 6m 58s master
master
July 31, 2023 09:43 6m 58s
Merge pull request #34 from ocadaruma/support-233 CI #173: Commit 7feba12 pushed by ocadaruma
July 31, 2023 09:39 8m 52s master
master
July 31, 2023 09:39 8m 52s
support 233 CI #172: Pull request #34 opened by ocadaruma
July 31, 2023 09:32 6m 38s support-233
support-233
July 31, 2023 09:32 6m 38s