Skip to content

Actions: hkust-taco/mlscript

Actions

CI with Nix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix.yml
900 workflow runs
900 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stack safety overhaul and effect handlers debloating MK1 CI with Nix #875: Pull request #307 synchronize by CAG2Mark
May 16, 2025 19:55 3m 41s CAG2Mark:stack-safety-overhaul
CAG2Mark:stack-safety-overhaul
May 16, 2025 19:55 3m 41s
Stack safety overhaul and effect handlers debloating MK1 CI with Nix #874: Pull request #307 synchronize by CAG2Mark
May 16, 2025 19:29 3m 29s CAG2Mark:stack-safety-overhaul
CAG2Mark:stack-safety-overhaul
May 16, 2025 19:29 3m 29s
Record patterns, conjunction, disjunction added to ucs CI with Nix #873: Pull request #306 synchronize by Chronarak
May 16, 2025 07:17 3m 36s Chronarak:pattern-improvements
Chronarak:pattern-improvements
May 16, 2025 07:17 3m 36s
Record patterns, conjunction, disjunction added to ucs CI with Nix #872: Pull request #306 synchronize by Chronarak
May 16, 2025 05:06 3m 31s Chronarak:pattern-improvements
Chronarak:pattern-improvements
May 16, 2025 05:06 3m 31s
Stack safety overhaul and effect handlers debloating MK1 CI with Nix #871: Pull request #307 synchronize by CAG2Mark
May 15, 2025 11:14 3m 31s CAG2Mark:stack-safety-overhaul
CAG2Mark:stack-safety-overhaul
May 15, 2025 11:14 3m 31s
Stack safety overhaul and effect handlers debloating MK1 CI with Nix #870: Pull request #307 synchronize by CAG2Mark
May 15, 2025 11:13 3m 31s CAG2Mark:stack-safety-overhaul
CAG2Mark:stack-safety-overhaul
May 15, 2025 11:13 3m 31s
Stack safety overhaul and effect handlers debloating MK1 CI with Nix #869: Pull request #307 opened by CAG2Mark
May 15, 2025 11:12 3m 31s CAG2Mark:stack-safety-overhaul
CAG2Mark:stack-safety-overhaul
May 15, 2025 11:12 3m 31s
Record patterns, conjunction, disjunction added to ucs CI with Nix #868: Pull request #306 synchronize by Chronarak
May 15, 2025 08:04 3m 23s Chronarak:pattern-improvements
Chronarak:pattern-improvements
May 15, 2025 08:04 3m 23s
Record patterns, conjunction, disjunction added to ucs CI with Nix #867: Pull request #306 synchronize by Chronarak
May 15, 2025 04:13 3m 23s Chronarak:pattern-improvements
Chronarak:pattern-improvements
May 15, 2025 04:13 3m 23s
Record patterns, conjunction, disjunction added to ucs CI with Nix #866: Pull request #306 synchronize by Chronarak
May 15, 2025 04:07 3m 34s Chronarak:pattern-improvements
Chronarak:pattern-improvements
May 15, 2025 04:07 3m 34s
Record patterns, conjunction, disjunction added to ucs CI with Nix #865: Pull request #306 synchronize by Chronarak
May 15, 2025 03:25 3m 50s Chronarak:pattern-improvements
Chronarak:pattern-improvements
May 15, 2025 03:25 3m 50s
Record patterns, conjunction, disjunction added to ucs CI with Nix #864: Pull request #306 synchronize by Chronarak
May 15, 2025 03:19 1m 47s Chronarak:pattern-improvements
Chronarak:pattern-improvements
May 15, 2025 03:19 1m 47s
Record patterns, conjunction, disjunction added to ucs CI with Nix #863: Pull request #306 synchronize by Chronarak
May 14, 2025 07:50 4m 6s Chronarak:pattern-improvements
Chronarak:pattern-improvements
May 14, 2025 07:50 4m 6s
Record patterns, conjunction, disjunction added to ucs CI with Nix #862: Pull request #306 synchronize by Chronarak
May 14, 2025 07:41 3m 33s Chronarak:pattern-improvements
Chronarak:pattern-improvements
May 14, 2025 07:41 3m 33s
Record patterns, conjunction, disjunction added to ucs CI with Nix #861: Pull request #306 synchronize by Chronarak
May 13, 2025 10:12 3m 25s Chronarak:pattern-improvements
Chronarak:pattern-improvements
May 13, 2025 10:12 3m 25s
Record patterns, conjunction, disjunction added to ucs CI with Nix #860: Pull request #306 synchronize by Chronarak
May 13, 2025 07:38 3m 24s Chronarak:pattern-improvements
Chronarak:pattern-improvements
May 13, 2025 07:38 3m 24s
Record patterns, conjunction, disjunction added to ucs CI with Nix #859: Pull request #306 synchronize by Chronarak
May 13, 2025 07:25 3m 28s Chronarak:pattern-improvements
Chronarak:pattern-improvements
May 13, 2025 07:25 3m 28s
Record patterns, conjunction, disjunction added to ucs CI with Nix #858: Pull request #306 synchronize by Chronarak
May 13, 2025 07:16 3m 21s Chronarak:pattern-improvements
Chronarak:pattern-improvements
May 13, 2025 07:16 3m 21s
Record patterns, conjunction, disjunction added to ucs CI with Nix #857: Pull request #306 synchronize by Chronarak
May 13, 2025 07:05 3m 24s Chronarak:pattern-improvements
Chronarak:pattern-improvements
May 13, 2025 07:05 3m 24s
Record patterns, conjunction, disjunction added to ucs CI with Nix #856: Pull request #306 synchronize by Chronarak
May 13, 2025 06:54 4m 0s Chronarak:pattern-improvements
Chronarak:pattern-improvements
May 13, 2025 06:54 4m 0s
Fix constraint cache and unexpected generalizations in BbML CI with Nix #855: Pull request #305 synchronize by NeilKleistGao
May 13, 2025 03:51 3m 23s NeilKleistGao:patch🛝
NeilKleistGao:patch🛝
May 13, 2025 03:51 3m 23s
Record patterns, conjunction, disjunction added to ucs CI with Nix #854: Pull request #306 synchronize by Chronarak
May 13, 2025 03:20 3m 25s Chronarak:pattern-improvements
Chronarak:pattern-improvements
May 13, 2025 03:20 3m 25s
Record patterns, conjunction, disjunction added to ucs CI with Nix #853: Pull request #306 synchronize by Chronarak
May 13, 2025 02:47 3m 25s Chronarak:pattern-improvements
Chronarak:pattern-improvements
May 13, 2025 02:47 3m 25s
Record patterns, conjunction, disjunction added to ucs CI with Nix #852: Pull request #306 opened by Chronarak
May 13, 2025 02:08 3m 20s Chronarak:pattern-improvements
Chronarak:pattern-improvements
May 13, 2025 02:08 3m 20s
Reimplement operator apps, operator splits, and "placeholder shorthand" lambdas CI with Nix #851: Pull request #302 synchronize by LPTK
May 12, 2025 14:18 3m 21s LPTK:hkmc2-op-splits
LPTK:hkmc2-op-splits
May 12, 2025 14:18 3m 21s