Skip to content

Actions: WatForm/org.alloytools.alloy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implemented deep copy of DashModule object build #183: Pull request #67 opened by AdityaShankarNarayanan
January 6, 2025 00:08 10s dashcopy
dashcopy
January 6, 2025 00:08 10s
made Alloy Expr class and other related classes implement Serializable build #182: Pull request #66 opened by AdityaShankarNarayanan
October 4, 2024 11:54 12s serializable-alloy
serializable-alloy
October 4, 2024 11:54 12s
Made Alloy classes implement serializable interface build #181: Pull request #65 opened by AdityaShankarNarayanan
October 3, 2024 14:36 18s serializable-alloy
serializable-alloy
October 3, 2024 14:36 18s
Merging serializable branch with main dashplus branch build #180: Pull request #64 opened by AdityaShankarNarayanan
September 24, 2024 14:09 15s serializable
serializable
September 24, 2024 14:09 15s
Made DashModule and all the classes in its field implement the Serial… build #179: Pull request #63 opened by AdityaShankarNarayanan
September 17, 2024 19:58 10s serializable
serializable
September 17, 2024 19:58 10s
Flat states and transitions build #178: Pull request #62 synchronize by MathewKJ2048
October 10, 2023 17:07 2m 14s dashtotla
dashtotla
October 10, 2023 17:07 2m 14s
Flat states and transitions build #177: Pull request #62 synchronize by MathewKJ2048
October 10, 2023 17:06 1m 49s dashtotla
dashtotla
October 10, 2023 17:06 1m 49s