Skip to content

Actions: Beluga-lang/McTT

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
334 workflow run results
334 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
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
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
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
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
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
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
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
June 22, 2024 13:21 2m 52s
remove unnecessary hints
CI build #48: Pull request #123 opened by HuStmpHrrr
June 22, 2024 12:01 3m 7s feature/remove-hints
June 22, 2024 12:01 3m 7s
Working on subtyping (#122)
CI build #47: Commit f8f5a84 pushed by Ailrun
June 22, 2024 05:58 3m 0s main
June 22, 2024 05:58 3m 0s
Working on subtyping
CI build #46: Pull request #122 synchronize by HuStmpHrrr
June 22, 2024 00:07 3m 2s feature/subtyping
June 22, 2024 00:07 3m 2s
Working on subtyping
CI build #45: Pull request #122 synchronize by HuStmpHrrr
June 21, 2024 23:57 2m 58s feature/subtyping
June 21, 2024 23:57 2m 58s
Working on subtyping
CI build #44: Pull request #122 synchronize by HuStmpHrrr
June 21, 2024 23:53 2m 41s feature/subtyping
June 21, 2024 23:53 2m 41s
Working on subtyping
CI build #43: Pull request #122 synchronize by HuStmpHrrr
June 21, 2024 23:52 2m 46s feature/subtyping
June 21, 2024 23:52 2m 46s
Working on subtyping
CI build #42: Pull request #122 synchronize by HuStmpHrrr
June 21, 2024 23:48 2m 37s feature/subtyping
June 21, 2024 23:48 2m 37s
Working on subtyping
CI build #41: Pull request #122 synchronize by HuStmpHrrr
June 21, 2024 23:25 2m 38s feature/subtyping
June 21, 2024 23:25 2m 38s
Working on subtyping
CI build #40: Pull request #122 synchronize by HuStmpHrrr
June 21, 2024 23:21 2m 46s feature/subtyping
June 21, 2024 23:21 2m 46s
Working on subtyping
CI build #39: Pull request #122 synchronize by HuStmpHrrr
June 21, 2024 22:48 2m 36s feature/subtyping
June 21, 2024 22:48 2m 36s
Working on subtyping
CI build #38: Pull request #122 synchronize by HuStmpHrrr
June 21, 2024 22:43 2m 36s feature/subtyping
June 21, 2024 22:43 2m 36s
Working on subtyping
CI build #37: Pull request #122 synchronize by HuStmpHrrr
June 21, 2024 03:12 2m 8s feature/subtyping
June 21, 2024 03:12 2m 8s
Working on subtyping
CI build #36: Pull request #122 synchronize by HuStmpHrrr
June 20, 2024 15:24 2m 32s feature/subtyping
June 20, 2024 15:24 2m 32s
Working on subtyping
CI build #35: Pull request #122 opened by HuStmpHrrr
June 20, 2024 15:06 1m 50s feature/subtyping
June 20, 2024 15:06 1m 50s
Prove more lemmas (#119)
CI build #34: Commit d4f9271 pushed by Ailrun
June 16, 2024 04:58 2m 49s main
June 16, 2024 04:58 2m 49s
Prove more lemmas
CI build #33: Pull request #119 opened by Ailrun
June 16, 2024 04:55 2m 46s pr-prove-more-lemmas
June 16, 2024 04:55 2m 46s
Fix inversion lemmas (#117)
CI build #32: Commit 1b83366 pushed by Ailrun
June 14, 2024 20:20 2m 53s main
June 14, 2024 20:20 2m 53s