Skip to content

Actions: Beluga-lang/McTT

Actions

CI build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci_build.yaml
431 workflow runs
431 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

working on completeness rules for subtyping CI build #81: Pull request #130 synchronize by HuStmpHrrr
July 11, 2024 21:36 4m 27s feature/subtyping-completeness
feature/subtyping-completeness
July 11, 2024 21:36 4m 27s
working on completeness rules for subtyping CI build #80: Pull request #130 synchronize by HuStmpHrrr
July 10, 2024 14:21 3m 13s feature/subtyping-completeness
feature/subtyping-completeness
July 10, 2024 14:21 3m 13s
working on completeness rules for subtyping CI build #79: Pull request #130 synchronize by HuStmpHrrr
July 10, 2024 13:58 3m 6s feature/subtyping-completeness
feature/subtyping-completeness
July 10, 2024 13:58 3m 6s
working on completeness rules for subtyping CI build #78: Pull request #130 synchronize by HuStmpHrrr
July 9, 2024 18:57 3m 17s feature/subtyping-completeness
feature/subtyping-completeness
July 9, 2024 18:57 3m 17s
working on completeness rules for subtyping CI build #77: Pull request #130 synchronize by HuStmpHrrr
July 9, 2024 18:56 3m 11s feature/subtyping-completeness
feature/subtyping-completeness
July 9, 2024 18:56 3m 11s
working on completeness rules for subtyping CI build #76: Pull request #130 synchronize by HuStmpHrrr
July 9, 2024 18:51 2m 10s feature/subtyping-completeness
feature/subtyping-completeness
July 9, 2024 18:51 2m 10s
working on completeness rules for subtyping CI build #75: Pull request #130 synchronize by HuStmpHrrr
July 9, 2024 18:48 2m 29s feature/subtyping-completeness
feature/subtyping-completeness
July 9, 2024 18:48 2m 29s
working on completeness rules for subtyping CI build #74: Pull request #130 opened by HuStmpHrrr
July 9, 2024 17:52 3m 12s feature/subtyping-completeness
feature/subtyping-completeness
July 9, 2024 17:52 3m 12s
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
ProTip! You can narrow down the results and go further in time using created:<2024-06-27 or the other filters available.