Skip to content

Actions: AlloyTools/org.alloytools.alloy

Actions

snapshot

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
snapshot.yml
105 workflow runs
105 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
Allow not-quite-regular files snapshot #55: Commit d4e5880 pushed by pkriens
April 23, 2024 06:50 2m 29s master
master
April 23, 2024 06:50 2m 29s
Updates to the CLI exec command and output snapshot #54: Commit 019f82c pushed by pkriens
April 18, 2024 16:17 2m 0s master
master
April 18, 2024 16:17 2m 0s
Remove long-deprecated menu entry [#260] snapshot #53: Commit c6226bc pushed by pkriens
April 18, 2024 14:58 3m 5s master
master
April 18, 2024 14:58 3m 5s
Make the parser match the syntax highlighter [#259] snapshot #52: Commit 10000af pushed by pkriens
April 18, 2024 14:58 2m 11s master
master
April 18, 2024 14:58 2m 11s
Prevent overriding ctrl+A and ctrl+E [#256] snapshot #51: Commit 061ef78 pushed by pkriens
April 18, 2024 14:58 3m 16s master
master
April 18, 2024 14:58 3m 16s
Better output snapshot #50: Commit d531233 pushed by pkriens
April 4, 2024 15:39 2m 20s master
master
April 4, 2024 15:39 2m 20s
NPE when a transformer (like cnf,elo) was used instead of a solver snapshot #49: Commit 6086af5 pushed by pkriens
March 28, 2024 08:28 1m 57s master
master
March 28, 2024 08:28 1m 57s
minor snapshot #48: Commit 96e8795 pushed by pkriens
March 21, 2024 09:43 2m 35s master
master
March 21, 2024 09:43 2m 35s
Updated tables from cmd line snapshot #47: Commit 247f416 pushed by pkriens
March 21, 2024 09:38 2m 2s master
master
March 21, 2024 09:38 2m 2s
When calling the worker, we must ensure the native code is loaded snapshot #46: Commit bff6ace pushed by pkriens
March 19, 2024 15:46 1m 59s master
master
March 19, 2024 15:46 1m 59s
Requests from David snapshot #45: Commit 0056bf6 pushed by pkriens
March 19, 2024 10:49 2m 51s master
master
March 19, 2024 10:49 2m 51s
Fixed unbounded, -v at electrod snapshot #44: Commit 04a9e93 pushed by pkriens
March 18, 2024 16:57 2m 33s master
master
March 18, 2024 16:57 2m 33s
Native code update request snapshot #43: Commit eac29a2 pushed by pkriens
March 15, 2024 10:26 2m 3s master
master
March 15, 2024 10:26 2m 3s
exe files were ignored snapshot #42: Commit 5165321 pushed by pkriens
March 15, 2024 09:50 2m 11s master
master
March 15, 2024 09:50 2m 11s
Native code update request snapshot #41: Commit 46d5e6e pushed by pkriens
March 15, 2024 08:15 2m 16s master
master
March 15, 2024 08:15 2m 16s
push snapshot #40: Commit a78a3da pushed by pkriens
March 14, 2024 17:22 2m 14s master
master
March 14, 2024 17:22 2m 14s
enable native code build snapshot #39: Commit 56a4ccb pushed by pkriens
March 14, 2024 17:16 2m 11s master
master
March 14, 2024 17:16 2m 11s
Output for electrod,annotation use for services snapshot #38: Commit 78664c5 pushed by pkriens
March 14, 2024 17:09 2m 21s master
master
March 14, 2024 17:09 2m 21s
Native code update request snapshot #37: Commit f5c0972 pushed by pkriens
March 12, 2024 13:42 4m 20s master
master
March 12, 2024 13:42 4m 20s
Diverse fixes snapshot #36: Commit 73892e9 pushed by pkriens
March 6, 2024 17:12 4m 35s master
master
March 6, 2024 17:12 4m 35s
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