Skip to content

Actions: hkust-taco/mlscript

Actions

CI with Nix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix.yml
940 workflow runs
940 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add code generation for bbml CI with Nix #90: Pull request #245 synchronize by NeilKleistGao
December 4, 2024 08:09 4m 47s NeilKleistGao:bbml-codegen🧃
NeilKleistGao:bbml-codegen🧃
December 4, 2024 08:09 4m 47s
Support for annotations CI with Nix #89: Pull request #247 opened by chengluyu
December 4, 2024 08:01 4m 41s chengluyu:hkmc2-ucs/annotations
chengluyu:hkmc2-ucs/annotations
December 4, 2024 08:01 4m 41s
Add code generation for bbml CI with Nix #88: Pull request #245 synchronize by NeilKleistGao
December 4, 2024 06:20 4m 45s NeilKleistGao:bbml-codegen🧃
NeilKleistGao:bbml-codegen🧃
December 4, 2024 06:20 4m 45s
Support the use of do as a connective in UCS CI with Nix #87: Pull request #246 synchronize by chengluyu
December 4, 2024 03:34 4m 47s chengluyu:hkmc2-ucs/do-keyword
chengluyu:hkmc2-ucs/do-keyword
December 4, 2024 03:34 4m 47s
Add trace functionality (#244) CI with Nix #86: Commit 76b129a pushed by LPTK
December 4, 2024 03:34 4m 41s hkmc2
hkmc2
December 4, 2024 03:34 4m 41s
Add trace functionality CI with Nix #85: Pull request #244 synchronize by CrescentonC
December 3, 2024 18:40 4m 36s CrescentonC:hkmc2-tracelog
CrescentonC:hkmc2-tracelog
December 3, 2024 18:40 4m 36s
Add trace functionality CI with Nix #84: Pull request #244 synchronize by CrescentonC
December 3, 2024 17:34 4m 42s CrescentonC:hkmc2-tracelog
CrescentonC:hkmc2-tracelog
December 3, 2024 17:34 4m 42s
Support the use of do as a connective in UCS CI with Nix #83: Pull request #246 opened by chengluyu
December 3, 2024 17:28 4m 43s chengluyu:hkmc2-ucs/do-keyword
chengluyu:hkmc2-ucs/do-keyword
December 3, 2024 17:28 4m 43s
Add trace functionality CI with Nix #82: Pull request #244 synchronize by CrescentonC
December 3, 2024 08:16 4m 41s CrescentonC:hkmc2-tracelog
CrescentonC:hkmc2-tracelog
December 3, 2024 08:16 4m 41s
Add trace functionality CI with Nix #81: Pull request #244 synchronize by CrescentonC
December 3, 2024 06:32 4m 46s CrescentonC:hkmc2-tracelog
CrescentonC:hkmc2-tracelog
December 3, 2024 06:32 4m 46s
Amend a TODO comment CI with Nix #80: Commit 9986302 pushed by LPTK
December 3, 2024 05:23 4m 51s hkmc2
hkmc2
December 3, 2024 05:23 4m 51s
Naïve compilation of refining patterns CI with Nix #79: Pull request #242 synchronize by chengluyu
December 3, 2024 04:39 4m 37s chengluyu:hkmc2-ucs2
chengluyu:hkmc2-ucs2
December 3, 2024 04:39 4m 37s
Naïve compilation of refining patterns CI with Nix #78: Pull request #242 synchronize by chengluyu
December 2, 2024 20:18 4m 45s chengluyu:hkmc2-ucs2
chengluyu:hkmc2-ucs2
December 2, 2024 20:18 4m 45s
Add trace functionality CI with Nix #77: Pull request #244 synchronize by CrescentonC
December 2, 2024 19:17 4m 34s CrescentonC:hkmc2-tracelog
CrescentonC:hkmc2-tracelog
December 2, 2024 19:17 4m 34s
Add trace functionality CI with Nix #76: Pull request #244 synchronize by CrescentonC
December 2, 2024 19:11 4m 32s CrescentonC:hkmc2-tracelog
CrescentonC:hkmc2-tracelog
December 2, 2024 19:11 4m 32s
Naïve compilation of refining patterns CI with Nix #75: Pull request #242 synchronize by chengluyu
December 2, 2024 08:59 4m 51s chengluyu:hkmc2-ucs2
chengluyu:hkmc2-ucs2
December 2, 2024 08:59 4m 51s
Add trace functionality CI with Nix #74: Pull request #244 synchronize by CrescentonC
December 2, 2024 07:17 4m 30s CrescentonC:hkmc2-tracelog
CrescentonC:hkmc2-tracelog
December 2, 2024 07:17 4m 30s
Add trace functionality CI with Nix #73: Pull request #244 synchronize by CrescentonC
December 2, 2024 05:46 4m 37s CrescentonC:hkmc2-tracelog
CrescentonC:hkmc2-tracelog
December 2, 2024 05:46 4m 37s
Naïve compilation of refining patterns CI with Nix #72: Pull request #242 synchronize by chengluyu
December 1, 2024 15:42 4m 46s chengluyu:hkmc2-ucs2
chengluyu:hkmc2-ucs2
December 1, 2024 15:42 4m 46s
Add code generation for bbml CI with Nix #71: Pull request #245 opened by NeilKleistGao
December 1, 2024 14:47 4m 50s NeilKleistGao:bbml-codegen🧃
NeilKleistGao:bbml-codegen🧃
December 1, 2024 14:47 4m 50s
Add trace functionality CI with Nix #70: Pull request #244 synchronize by CrescentonC
November 30, 2024 19:51 4m 37s CrescentonC:hkmc2-tracelog
CrescentonC:hkmc2-tracelog
November 30, 2024 19:51 4m 37s
Add trace functionality CI with Nix #69: Pull request #244 synchronize by CrescentonC
November 30, 2024 18:46 4m 34s CrescentonC:hkmc2-tracelog
CrescentonC:hkmc2-tracelog
November 30, 2024 18:46 4m 34s
Add trace functionality CI with Nix #68: Pull request #244 synchronize by CrescentonC
November 30, 2024 16:05 4m 38s CrescentonC:hkmc2-tracelog
CrescentonC:hkmc2-tracelog
November 30, 2024 16:05 4m 38s
Add trace functionality CI with Nix #67: Pull request #244 synchronize by CrescentonC
November 30, 2024 16:04 4m 30s CrescentonC:hkmc2-tracelog
CrescentonC:hkmc2-tracelog
November 30, 2024 16:04 4m 30s
Add trace functionality CI with Nix #66: Pull request #244 synchronize by CrescentonC
November 30, 2024 16:02 4m 21s CrescentonC:hkmc2-tracelog
CrescentonC:hkmc2-tracelog
November 30, 2024 16:02 4m 21s
ProTip! You can narrow down the results and go further in time using created:<2024-11-30 or the other filters available.