Skip to content

Actions: hkust-taco/mlscript

Actions

CI with Nix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix.yml
894 workflow runs
894 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move UCS normalization before lowering CI with Nix #894: Pull request #308 synchronize by LPTK
May 21, 2025 01:10 3m 29s chengluyu:moving-normalization
chengluyu:moving-normalization
May 21, 2025 01:10 3m 29s
Move UCS normalization before lowering CI with Nix #893: Pull request #308 synchronize by chengluyu
May 20, 2025 20:11 3m 29s chengluyu:moving-normalization
chengluyu:moving-normalization
May 20, 2025 20:11 3m 29s
Move UCS normalization before lowering CI with Nix #892: Pull request #308 synchronize by chengluyu
May 20, 2025 19:40 3m 32s chengluyu:moving-normalization
chengluyu:moving-normalization
May 20, 2025 19:40 3m 32s
Record patterns, conjunction, disjunction added to ucs CI with Nix #891: Pull request #306 synchronize by Chronarak
May 20, 2025 11:30 3m 58s Chronarak:pattern-improvements
Chronarak:pattern-improvements
May 20, 2025 11:30 3m 58s
Record patterns, conjunction, disjunction added to ucs CI with Nix #890: Pull request #306 synchronize by Chronarak
May 20, 2025 09:51 3m 25s Chronarak:pattern-improvements
Chronarak:pattern-improvements
May 20, 2025 09:51 3m 25s
Record patterns, conjunction, disjunction added to ucs CI with Nix #889: Pull request #306 synchronize by Chronarak
May 20, 2025 06:29 3m 31s Chronarak:pattern-improvements
Chronarak:pattern-improvements
May 20, 2025 06:29 3m 31s
Fix constraint cache and unexpected generalizations in BbML (#305) CI with Nix #888: Commit c7ad33c pushed by LPTK
May 20, 2025 03:02 3m 42s hkmc2
hkmc2
May 20, 2025 03:02 3m 42s
Fix constraint cache and unexpected generalizations in BbML CI with Nix #887: Pull request #305 synchronize by NeilKleistGao
May 20, 2025 02:38 3m 35s NeilKleistGao:patch🛝
NeilKleistGao:patch🛝
May 20, 2025 02:38 3m 35s
Stack safety overhaul and effect handlers debloating MK1 CI with Nix #886: Pull request #307 synchronize by CAG2Mark
May 19, 2025 13:15 3m 55s CAG2Mark:stack-safety-overhaul
CAG2Mark:stack-safety-overhaul
May 19, 2025 13:15 3m 55s
Stack safety overhaul and effect handlers debloating MK1 CI with Nix #885: Pull request #307 synchronize by CAG2Mark
May 19, 2025 10:52 3m 33s CAG2Mark:stack-safety-overhaul
CAG2Mark:stack-safety-overhaul
May 19, 2025 10:52 3m 33s
Fix constraint cache and unexpected generalizations in BbML CI with Nix #884: Pull request #305 synchronize by NeilKleistGao
May 19, 2025 05:43 3m 45s NeilKleistGao:patch🛝
NeilKleistGao:patch🛝
May 19, 2025 05:43 3m 45s
Fix constraint cache and unexpected generalizations in BbML CI with Nix #883: Pull request #305 synchronize by NeilKleistGao
May 19, 2025 05:28 3m 32s NeilKleistGao:patch🛝
NeilKleistGao:patch🛝
May 19, 2025 05:28 3m 32s
Move UCS normalization before lowering CI with Nix #882: Pull request #308 synchronize by chengluyu
May 18, 2025 11:01 3m 24s chengluyu:moving-normalization
chengluyu:moving-normalization
May 18, 2025 11:01 3m 24s
Move UCS normalization before lowering CI with Nix #881: Pull request #308 synchronize by chengluyu
May 18, 2025 06:44 3m 24s chengluyu:moving-normalization
chengluyu:moving-normalization
May 18, 2025 06:44 3m 24s
Move UCS normalization before lowering CI with Nix #880: Pull request #308 synchronize by chengluyu
May 18, 2025 06:30 3m 28s chengluyu:moving-normalization
chengluyu:moving-normalization
May 18, 2025 06:30 3m 28s
Move UCS normalization before lowering CI with Nix #879: Pull request #308 opened by chengluyu
May 17, 2025 15:00 3m 30s chengluyu:moving-normalization
chengluyu:moving-normalization
May 17, 2025 15:00 3m 30s
Reimplement operator apps, operator splits, and "placeholder shorthand" lambdas CI with Nix #878: Pull request #302 synchronize by LPTK
May 17, 2025 13:38 3m 2s LPTK:hkmc2-op-splits
LPTK:hkmc2-op-splits
May 17, 2025 13:38 3m 2s
Benchmarking subproject CI with Nix #877: Pull request #303 synchronize by AnsonYeung
May 17, 2025 07:42 3m 28s CAG2Mark:benchmark
CAG2Mark:benchmark
May 17, 2025 07:42 3m 28s
Stack safety overhaul and effect handlers debloating MK1 CI with Nix #876: Pull request #307 synchronize by CAG2Mark
May 16, 2025 20:09 3m 49s CAG2Mark:stack-safety-overhaul
CAG2Mark:stack-safety-overhaul
May 16, 2025 20:09 3m 49s
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