Skip to content

Actions: AlloyTools/org.alloytools.alloy

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
161 workflow runs
161 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Proper use of conveyor release #34: Commit f01aacf pushed by pkriens
May 20, 2024 15:31 3m 56s release
release
May 20, 2024 15:31 3m 56s
Proper use of conveyor release #33: Commit 4a727d8 pushed by pkriens
May 20, 2024 15:26 23s release
release
May 20, 2024 15:26 23s
Runner linux release #32: Commit 47dfa03 pushed by pkriens
May 20, 2024 15:17 22s release
release
May 20, 2024 15:17 22s
Signing release #31: Commit 2e4086c pushed by pkriens
May 20, 2024 15:15 29s release
release
May 20, 2024 15:15 29s
Added key release #30: Commit dfad7e6 pushed by pkriens
May 20, 2024 15:13 44s release
release
May 20, 2024 15:13 44s
Fixed yaml release #29: Commit c5a2084 pushed by pkriens
May 20, 2024 14:49 28s release
release
May 20, 2024 14:49 28s
Release draft release #28: Commit 3cb04c6 pushed by pkriens
May 20, 2024 14:45 Failure release
release
May 20, 2024 14:45 Failure
Release work trigger-native #26: Commit 297bb41 pushed by pkriens
May 20, 2024 14:40 13m 9s master
master
May 20, 2024 14:40 13m 9s
Release work snapshot #60: Commit 297bb41 pushed by pkriens
May 20, 2024 14:40 1m 27s master
master
May 20, 2024 14:40 1m 27s
Release work release #27: Commit 297bb41 pushed by pkriens
May 20, 2024 14:40 Failure master
master
May 20, 2024 14:40 Failure
Preparation for release, moved to Java 17 build #93: Pull request #281 synchronize by pkriens
May 20, 2024 14:38 59s pkriens:feature/release
pkriens:feature/release
May 20, 2024 14:38 59s
Preparation for release, moved to Java 17 release #26: Pull request #281 by pkriens
May 20, 2024 14:38 Failure pkriens:feature/release
pkriens:feature/release
May 20, 2024 14:38 Failure
Preparation for release, moved to Java 17 build #92: Pull request #281 synchronize by pkriens
May 20, 2024 14:37 1m 0s pkriens:feature/release
pkriens:feature/release
May 20, 2024 14:37 1m 0s
Preparation for release, moved to Java 17 release #25: Pull request #281 by pkriens
May 20, 2024 14:37 Failure pkriens:feature/release
pkriens:feature/release
May 20, 2024 14:37 Failure
Preparation for release, moved to Java 17 build #91: Pull request #281 synchronize by pkriens
May 20, 2024 08:06 56s pkriens:feature/release
pkriens:feature/release
May 20, 2024 08:06 56s
Preparation for release, moved to Java 17 build #90: Pull request #281 opened by pkriens
May 17, 2024 15:57 50s pkriens:feature/release
pkriens:feature/release
May 17, 2024 15:57 50s
Diagnosis for commands when the output is a transformer snapshot #59: Commit 00ffda1 pushed by pkriens
May 16, 2024 09:25 2m 14s master
master
May 16, 2024 09:25 2m 14s
Diagnosis for commands when the output is a transformer build #89: Pull request #280 opened by pkriens
May 16, 2024 09:19 1m 3s pkriens:issue/cmd-diagnosis-with-execute-all-and-fileoutput
pkriens:issue/cmd-diagnosis-with-execute-all-and-fileoutput
May 16, 2024 09:19 1m 3s
Fixes 255, now wrapping text and no wrapping for tables snapshot #58: Commit 052abd9 pushed by pkriens
May 14, 2024 13:24 2m 4s master
master
May 14, 2024 13:24 2m 4s
Fixes 255, now wrapping text and no wrapping for tables build #88: Pull request #277 opened by pkriens
May 14, 2024 13:22 1m 1s pkriens:issue/255-wrapping-table+text-views
pkriens:issue/255-wrapping-table+text-views
May 14, 2024 13:22 1m 1s
Quite horrendous code. snapshot #57: Commit 52a0527 pushed by pkriens
May 14, 2024 13:10 2m 10s master
master
May 14, 2024 13:10 2m 10s
Fixes file out and show latest build #87: Pull request #276 opened by pkriens
May 14, 2024 13:08 1m 7s pkriens:issue/273-fileoutput-show-latest
pkriens:issue/273-fileoutput-show-latest
May 14, 2024 13:08 1m 7s
Make exit code conditional on non-0 to keep the GUI alive. snapshot #56: Commit d1b71cf pushed by pkriens
April 24, 2024 06:49 4m 22s master
master
April 24, 2024 06:49 4m 22s
Make exit code conditional on non-0 to keep the GUI alive. build #86: Pull request #271 opened by pkriens
April 24, 2024 06:48 1m 2s pkriens:issue/exit-code
pkriens:issue/exit-code
April 24, 2024 06:48 1m 2s
Disable system exit so that GUI will work again build #85: Pull request #270 opened by awwaiid
April 24, 2024 02:40 1m 5s awwaiid:no-early-exit
awwaiid:no-early-exit
April 24, 2024 02:40 1m 5s