Skip to content

Actions: hkust-taco/mlscript

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,334 workflow runs
2,334 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge SplitElaborator into Elaborator (close #522) (#535) CI with Nix #3118: Commit 22e50e4 pushed by LPTK
5m 46s hkmc2
hkmc2
5m 46s
Merge SplitElaborator into Elaborator (close #522) CI with Nix #3117: Pull request #535 synchronize by chengluyu
4m 39s chengluyu:issue-522-merge-split-elaborator
chengluyu:issue-522-merge-split-elaborator
4m 39s
Merge SplitElaborator into Elaborator (close #522) CI with Nix #3116: Pull request #535 synchronize by LPTK
3m 56s chengluyu:issue-522-merge-split-elaborator
chengluyu:issue-522-merge-split-elaborator
3m 56s
Merge SplitElaborator into Elaborator (close #522) CI with Nix #3115: Pull request #535 opened by chengluyu
5m 6s chengluyu:issue-522-merge-split-elaborator
chengluyu:issue-522-merge-split-elaborator
5m 6s
Use symbol printer when printing flow-analysis debugging info CI with Nix #3114: Pull request #532 synchronize by LPTK
4m 37s LPTK:use-symbol-printer-for-analysis
LPTK:use-symbol-printer-for-analysis
4m 37s
Remove double lowering (#534) CI with Nix #3113: Commit f95da63 pushed by LPTK
4m 44s hkmc2
hkmc2
4m 44s
Remove double lowering CI with Nix #3112: Pull request #534 synchronize by LPTK
4m 45s AnsonYeung:remove-double-lowering
AnsonYeung:remove-double-lowering
4m 45s
Remove double lowering CI with Nix #3111: Pull request #534 synchronize by LPTK
4m 44s AnsonYeung:remove-double-lowering
AnsonYeung:remove-double-lowering
4m 44s
Implement dead-assignment removal (#531) CI with Nix #3110: Commit 6306b38 pushed by LPTK
5m 3s hkmc2
hkmc2
5m 3s
Remove double lowering CI with Nix #3109: Pull request #534 synchronize by LPTK
4m 32s AnsonYeung:remove-double-lowering
AnsonYeung:remove-double-lowering
4m 32s
Implement dead-assignment removal CI with Nix #3108: Pull request #531 synchronize by LPTK
4m 46s LPTK:dead-ass-rem
LPTK:dead-ass-rem
4m 46s
Remove double lowering CI with Nix #3107: Pull request #534 synchronize by AnsonYeung
3m 34s AnsonYeung:remove-double-lowering
AnsonYeung:remove-double-lowering
3m 34s
Remove double lowering CI with Nix #3106: Pull request #534 synchronize by AnsonYeung
4m 41s AnsonYeung:remove-double-lowering
AnsonYeung:remove-double-lowering
4m 41s
Implement dead-assignment removal CI with Nix #3105: Pull request #531 synchronize by LPTK
4m 58s LPTK:dead-ass-rem
LPTK:dead-ass-rem
4m 58s
Merge HandlerLowering into a single file (#533) CI with Nix #3104: Commit 2224c93 pushed by LPTK
4m 45s hkmc2
hkmc2
4m 45s
Merge HandlerLowering into a single file CI with Nix #3103: Pull request #533 synchronize by AnsonYeung
4m 49s AnsonYeung:handlers-with-safety
AnsonYeung:handlers-with-safety
4m 49s
Merge HandlerLowering into a single file CI with Nix #3102: Pull request #533 synchronize by AnsonYeung
4m 45s AnsonYeung:handlers-with-safety
AnsonYeung:handlers-with-safety
4m 45s
Remove double lowering CI with Nix #3101: Pull request #534 synchronize by LPTK
4m 54s AnsonYeung:remove-double-lowering
AnsonYeung:remove-double-lowering
4m 54s
Remove double lowering CI with Nix #3100: Pull request #534 opened by AnsonYeung
4m 43s AnsonYeung:remove-double-lowering
AnsonYeung:remove-double-lowering
4m 43s
Implement dead-assignment removal CI with Nix #3099: Pull request #531 synchronize by LPTK
4m 24s LPTK:dead-ass-rem
LPTK:dead-ass-rem
4m 24s
Merge HandlerLowering into a single file CI with Nix #3098: Pull request #533 synchronize by LPTK
4m 41s AnsonYeung:handlers-with-safety
AnsonYeung:handlers-with-safety
4m 41s
Implement dead-assignment removal CI with Nix #3097: Pull request #531 synchronize by LPTK
4m 24s LPTK:dead-ass-rem
LPTK:dead-ass-rem
4m 24s
Merge HandlerLowering into a single file CI with Nix #3096: Pull request #533 synchronize by AnsonYeung
4m 29s AnsonYeung:handlers-with-safety
AnsonYeung:handlers-with-safety
4m 29s
Implement dead-assignment removal CI with Nix #3095: Pull request #531 synchronize by LPTK
4m 45s LPTK:dead-ass-rem
LPTK:dead-ass-rem
4m 45s
Implement try/finally CI with Nix #3094: Commit e0c682e pushed by LPTK
5m 14s hkmc2
hkmc2
5m 14s