Skip to content

Actions: Beluga-lang/McTT

Actions

CI build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci_build.yaml
450 workflow runs
450 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
remove unnecessary hints CI build #48: Pull request #123 opened by HuStmpHrrr
June 22, 2024 12:01 3m 7s feature/remove-hints
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
main
June 14, 2024 20:20 2m 53s
Fix inversion lemmas CI build #31: Pull request #117 opened by Ailrun
June 14, 2024 20:17 2m 48s pr-fix-inversions
pr-fix-inversions
June 14, 2024 20:17 2m 48s
Additional lemmas (#115) CI build #30: Commit 8c3dea4 pushed by Ailrun
June 13, 2024 07:53 2m 41s main
main
June 13, 2024 07:53 2m 41s
Update inversion theorems (#114) CI build #29: Commit 9d9c133 pushed by Ailrun
June 13, 2024 07:52 2m 41s main
main
June 13, 2024 07:52 2m 41s
Prove some additional lemmas CI build #28: Pull request #115 opened by Ailrun
June 13, 2024 07:50 2m 43s pr-additional-subsumption-lemmas
pr-additional-subsumption-lemmas
June 13, 2024 07:50 2m 43s
Update inversion theorems CI build #27: Pull request #114 opened by Ailrun
June 13, 2024 07:49 3m 0s pr-inversion-theorems
pr-inversion-theorems
June 13, 2024 07:49 3m 0s
Add inversion theorems (#112) CI build #26: Commit 20baa1e pushed by Ailrun
June 13, 2024 01:18 2m 45s main
main
June 13, 2024 01:18 2m 45s
ProTip! You can narrow down the results and go further in time using created:<2024-06-13 or the other filters available.