Skip to content

Actions: Beluga-lang/McLTT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
389 workflow runs
389 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
working on algorithmic subtyping (#124) CI build #73: Commit 8f2998a pushed by Ailrun
July 3, 2024 01:19 3m 5s main
main
July 3, 2024 01:19 3m 5s
subtyping in the PER model (#128) CI build #72: Commit 80cfb65 pushed by Ailrun
July 3, 2024 01:15 3m 20s main
main
July 3, 2024 01:15 3m 20s
working on algorithmic subtyping CI build #71: Pull request #124 synchronize by HuStmpHrrr
July 2, 2024 18:51 3m 5s feature/alg-subtyping
feature/alg-subtyping
July 2, 2024 18:51 3m 5s
subtyping in the PER model CI build #70: Pull request #128 synchronize by HuStmpHrrr
June 28, 2024 19:44 3m 1s feature/per_subtyping2
feature/per_subtyping2
June 28, 2024 19:44 3m 1s
subtyping in the PER model CI build #69: Pull request #128 synchronize by HuStmpHrrr
June 28, 2024 14:44 2m 52s feature/per_subtyping2
feature/per_subtyping2
June 28, 2024 14:44 2m 52s
subtyping in the PER model CI build #68: Pull request #128 synchronize by HuStmpHrrr
June 28, 2024 14:03 3m 5s feature/per_subtyping2
feature/per_subtyping2
June 28, 2024 14:03 3m 5s
subtyping in the PER model CI build #67: Pull request #128 synchronize by HuStmpHrrr
June 27, 2024 23:55 2m 59s feature/per_subtyping2
feature/per_subtyping2
June 27, 2024 23:55 2m 59s
subtyping in the PER model CI build #66: Pull request #128 opened by HuStmpHrrr
June 27, 2024 22:58 2m 58s feature/per_subtyping2
feature/per_subtyping2
June 27, 2024 22:58 2m 58s
[WIP] define subtyping for the PER model CI build #65: Pull request #125 synchronize by HuStmpHrrr
June 27, 2024 22:25 3m 1s feature/per_subtyping
feature/per_subtyping
June 27, 2024 22:25 3m 1s
[WIP] define subtyping for the PER model CI build #64: Pull request #125 reopened by HuStmpHrrr
June 27, 2024 22:25 3m 2s feature/per_subtyping
feature/per_subtyping
June 27, 2024 22:25 3m 2s
remove contra-variant subtyping (#127) CI build #63: Commit cfe379e pushed by Ailrun
June 27, 2024 21:10 3m 9s main
main
June 27, 2024 21:10 3m 9s
working on algorithmic subtyping CI build #62: Pull request #124 synchronize by HuStmpHrrr
June 27, 2024 20:49 2m 56s feature/alg-subtyping
feature/alg-subtyping
June 27, 2024 20:49 2m 56s
working on algorithmic subtyping CI build #61: Pull request #124 synchronize by HuStmpHrrr
June 27, 2024 20:41 3m 8s feature/alg-subtyping
feature/alg-subtyping
June 27, 2024 20:41 3m 8s
working on algorithmic subtyping CI build #60: Pull request #124 synchronize by HuStmpHrrr
June 27, 2024 20:33 3m 3s feature/alg-subtyping
feature/alg-subtyping
June 27, 2024 20:33 3m 3s
fix tactics (#126) CI build #59: Commit 82a84fe pushed by HuStmpHrrr
June 27, 2024 19:20 3m 7s main
main
June 27, 2024 19:20 3m 7s
remove contra-variant subtyping CI build #58: Pull request #127 opened by HuStmpHrrr
June 27, 2024 19:19 3m 0s feature/no-contra
feature/no-contra
June 27, 2024 19:19 3m 0s
fix tactics CI build #57: Pull request #126 opened by HuStmpHrrr
June 27, 2024 19:04 3m 6s feature/fix-tactics
feature/fix-tactics
June 27, 2024 19:04 3m 6s
[WIP] define subtyping for the PER model CI build #56: Pull request #125 synchronize by HuStmpHrrr
June 24, 2024 23:53 3m 5s feature/per_subtyping
feature/per_subtyping
June 24, 2024 23:53 3m 5s
[WIP] define subtyping for the PER model CI build #55: Pull request #125 synchronize by HuStmpHrrr
June 24, 2024 17:03 2m 59s feature/per_subtyping
feature/per_subtyping
June 24, 2024 17:03 2m 59s
[WIP] define subtyping for the PER model CI build #54: Pull request #125 synchronize by HuStmpHrrr
June 22, 2024 23:42 2m 57s feature/per_subtyping
feature/per_subtyping
June 22, 2024 23:42 2m 57s
remove unnecessary hints (#123) CI build #53: Commit 53ec0a6 pushed by Ailrun
June 22, 2024 23:22 3m 4s main
main
June 22, 2024 23:22 3m 4s
[WIP] define subtyping for the PER model CI build #52: Pull request #125 opened by HuStmpHrrr
June 22, 2024 22:55 1m 41s feature/per_subtyping
feature/per_subtyping
June 22, 2024 22:55 1m 41s
working on algorithmic subtyping CI build #51: Pull request #124 synchronize by HuStmpHrrr
June 22, 2024 16:17 3m 8s feature/alg-subtyping
feature/alg-subtyping
June 22, 2024 16:17 3m 8s
working on algorithmic subtyping CI build #50: Pull request #124 synchronize by HuStmpHrrr
June 22, 2024 13:26 3m 0s feature/alg-subtyping
feature/alg-subtyping
June 22, 2024 13:26 3m 0s
working on algorithmic subtyping CI build #49: Pull request #124 opened by HuStmpHrrr
June 22, 2024 13:21 2m 52s feature/alg-subtyping
feature/alg-subtyping
June 22, 2024 13:21 2m 52s