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 subtyping impl CI build #175: Pull request #152 synchronize by HuStmpHrrr
August 20, 2024 18:41 4m 41s feature/subtyping-impl
feature/subtyping-impl
August 20, 2024 18:41 4m 41s
working on subtyping impl CI build #174: Pull request #152 synchronize by HuStmpHrrr
August 20, 2024 18:20 4m 43s feature/subtyping-impl
feature/subtyping-impl
August 20, 2024 18:20 4m 43s
Prove all easy soundness cases CI build #173: Pull request #158 opened by Ailrun
August 20, 2024 18:19 5m 2s pr-soundness-simple-cases
pr-soundness-simple-cases
August 20, 2024 18:19 5m 2s
Change system rules (#157) CI build #172: Commit 4705a68 pushed by Ailrun
August 20, 2024 18:16 4m 32s main
main
August 20, 2024 18:16 4m 32s
Change system rules CI build #171: Pull request #157 synchronize by Ailrun
August 20, 2024 18:11 4m 30s pr-refactor-system-rules
pr-refactor-system-rules
August 20, 2024 18:11 4m 30s
Change system rules CI build #170: Pull request #157 synchronize by Ailrun
August 20, 2024 18:05 54s pr-refactor-system-rules
pr-refactor-system-rules
August 20, 2024 18:05 54s
working on subtyping impl CI build #169: Pull request #152 synchronize by HuStmpHrrr
August 20, 2024 15:38 2m 36s feature/subtyping-impl
feature/subtyping-impl
August 20, 2024 15:38 2m 36s
working on subtyping impl CI build #168: Pull request #152 synchronize by HuStmpHrrr
August 20, 2024 15:07 4m 32s feature/subtyping-impl
feature/subtyping-impl
August 20, 2024 15:07 4m 32s
working on subtyping impl CI build #167: Pull request #152 synchronize by HuStmpHrrr
August 20, 2024 15:01 4m 23s feature/subtyping-impl
feature/subtyping-impl
August 20, 2024 15:01 4m 23s
working on subtyping impl CI build #166: Pull request #152 synchronize by HuStmpHrrr
August 20, 2024 14:43 4m 35s feature/subtyping-impl
feature/subtyping-impl
August 20, 2024 14:43 4m 35s
Change system rules CI build #165: Pull request #157 opened by Ailrun
August 20, 2024 02:41 4m 31s pr-refactor-system-rules
pr-refactor-system-rules
August 20, 2024 02:41 4m 31s
Provide placeholders for cases (#156) CI build #164: Commit a80aeaa pushed by Ailrun
August 20, 2024 02:26 4m 21s main
main
August 20, 2024 02:26 4m 21s
Provide placeholders for cases CI build #163: Pull request #156 synchronize by Ailrun
August 20, 2024 01:55 4m 34s pr-more-soundness
pr-more-soundness
August 20, 2024 01:55 4m 34s
Provide placeholders for cases CI build #162: Pull request #156 synchronize by Ailrun
August 17, 2024 22:53 4m 34s pr-more-soundness
pr-more-soundness
August 17, 2024 22:53 4m 34s
Rearrange soundness proofs (#155) CI build #161: Commit 1fb5188 pushed by Ailrun
August 17, 2024 22:41 4m 18s main
main
August 17, 2024 22:41 4m 18s
Provide placeholders for cases CI build #160: Pull request #156 opened by Ailrun
August 17, 2024 15:46 4m 30s pr-more-soundness
pr-more-soundness
August 17, 2024 15:46 4m 30s
Rearrange soundness proofs CI build #159: Pull request #155 opened by Ailrun
August 15, 2024 23:16 4m 22s pr-rearrange-soundness-files
pr-rearrange-soundness-files
August 15, 2024 23:16 4m 22s
Prove subtyping case for soundness (#153) CI build #158: Commit 6050e64 pushed by Ailrun
August 15, 2024 23:11 4m 19s main
main
August 15, 2024 23:11 4m 19s
Prove subtyping case for soundness CI build #157: Pull request #153 synchronize by Ailrun
August 15, 2024 16:45 4m 31s pr-subtyping-lemmas
pr-subtyping-lemmas
August 15, 2024 16:45 4m 31s
Prove subtyping case for soundness CI build #156: Pull request #153 synchronize by Ailrun
August 12, 2024 21:57 4m 20s pr-subtyping-lemmas
pr-subtyping-lemmas
August 12, 2024 21:57 4m 20s
Prove subtyping case for soundness CI build #155: Pull request #153 synchronize by Ailrun
August 12, 2024 18:04 4m 6s pr-subtyping-lemmas
pr-subtyping-lemmas
August 12, 2024 18:04 4m 6s
Prove subtyping case for soundness CI build #154: Pull request #153 synchronize by Ailrun
August 11, 2024 04:25 4m 2s pr-subtyping-lemmas
pr-subtyping-lemmas
August 11, 2024 04:25 4m 2s
Prove subtyping case for soundness CI build #153: Pull request #153 synchronize by Ailrun
August 11, 2024 04:19 3m 58s pr-subtyping-lemmas
pr-subtyping-lemmas
August 11, 2024 04:19 3m 58s
Prove subtyping case for soundness CI build #152: Pull request #153 synchronize by Ailrun
August 9, 2024 20:35 4m 12s pr-subtyping-lemmas
pr-subtyping-lemmas
August 9, 2024 20:35 4m 12s
Prove subtyping case for soundness CI build #151: Pull request #153 synchronize by Ailrun
August 8, 2024 19:16 4m 18s pr-subtyping-lemmas
pr-subtyping-lemmas
August 8, 2024 19:16 4m 18s
ProTip! You can narrow down the results and go further in time using created:<2024-08-08 or the other filters available.