Skip to content

Actions: AlloyTools/org.alloytools.alloy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
240 workflow runs
240 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feature/electrod build #60: Pull request #239 opened by pkriens
March 6, 2024 17:04 27s feature/electrod
feature/electrod
March 6, 2024 17:04 27s
Removed gini & lingeling trigger-native #12: Commit 6434eee pushed by pkriens
March 6, 2024 15:00 24m 39s native
native
March 6, 2024 15:00 24m 39s
Presence check threw exception snapshot #35: Commit fb76920 pushed by pkriens
March 4, 2024 09:05 3m 57s master
master
March 4, 2024 09:05 3m 57s
snapshot snapshot #34: by pkriens
March 1, 2024 15:40 14m 5s master
master
March 1, 2024 15:40 14m 5s
Native code changes snapshot #33: Commit e7b19c1 pushed by pkriens
March 1, 2024 14:20 15m 15s master
master
March 1, 2024 14:20 15m 15s
Native code update request snapshot #32: Commit c2f96f8 pushed by pkriens
March 1, 2024 10:49 3m 22s master
master
March 1, 2024 10:49 3m 22s
Divide native builds in triggers and subflow trigger-native #11: Commit b7ecf5c pushed by pkriens
March 1, 2024 10:09 22m 24s native
native
March 1, 2024 10:09 22m 24s
Huge update of native code handling (#218) snapshot #31: Commit cb1bac5 pushed by grayswandyr
February 28, 2024 15:26 4m 5s master
master
February 28, 2024 15:26 4m 5s
Fix name of 'org.alloytools.alloy.lsp' project (in snapshot #30: Commit 7a5fb35 pushed by pkriens
February 8, 2024 14:22 3m 35s master
master
February 8, 2024 14:22 3m 35s
Fix name of 'org.alloytools.alloy.lsp' project. build #59: Pull request #232 opened by anedel
February 7, 2024 14:21 1m 12s anedel:master
anedel:master
February 7, 2024 14:21 1m 12s
Huge update of native code handling build #58: Pull request #218 synchronize by pkriens
November 27, 2023 14:14 1m 15s native
native
November 27, 2023 14:14 1m 15s
Divide native builds in triggers and subflow trigger-native #10: Commit b7ecf5c pushed by pkriens
November 27, 2023 14:14 22m 7s native
native
November 27, 2023 14:14 22m 7s
Fix resource consumption of the alloy visualizer snapshot #29: Commit 654e00b pushed by pkriens
November 27, 2023 14:04 3m 36s master
master
November 27, 2023 14:04 3m 36s
Fix resource consumption of the alloy visualizer build #57: Pull request #224 opened by felix-friedrich
November 26, 2023 21:32 1m 1s felix-friedrich:issue/40-Xorg-cpu-resource-consumption
felix-friedrich:issue/40-Xorg-cpu-resource-consumption
November 26, 2023 21:32 1m 1s
Electrod nuXmv was wrongly defined snapshot #28: Commit b9ad727 pushed by pkriens
July 14, 2023 09:32 5m 6s master
master
July 14, 2023 09:32 5m 6s
ProTip! You can narrow down the results and go further in time using created:<2023-07-14 or the other filters available.