Skip to content

Actions: hkust-taco/mlscript

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
708 workflow runs
708 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add trace functionality CI with Nix #65: Pull request #244 synchronize by CrescentonC
November 30, 2024 16:02 4m 46s CrescentonC:hkmc2-tracelog
CrescentonC:hkmc2-tracelog
November 30, 2024 16:02 4m 46s
Add trace functionality CI with Nix #64: Pull request #244 opened by CrescentonC
November 30, 2024 15:57 4m 36s CrescentonC:hkmc2-tracelog
CrescentonC:hkmc2-tracelog
November 30, 2024 15:57 4m 36s
Add way to refer to Predef symbol in Elab. by declaring it in Prelude CI with Nix #63: Commit 9b359cd pushed by LPTK
November 30, 2024 10:17 4m 41s hkmc2
hkmc2
November 30, 2024 10:17 4m 41s
Fix test CI with Nix #62: Commit 0cc3189 pushed by LPTK
November 29, 2024 09:59 4m 43s hkmc2
hkmc2
November 29, 2024 09:59 4m 43s
Add symbols to selections generated by pattern matching CI with Nix #61: Commit 2d3f76d pushed by LPTK
November 29, 2024 09:44 4m 37s hkmc2
hkmc2
November 29, 2024 09:44 4m 37s