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

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
Add inversion theorems CI build #25: Pull request #112 opened by Ailrun
June 12, 2024 20:02 2m 45s pr-inversion-theorems
pr-inversion-theorems
June 12, 2024 20:02 2m 45s
Add helper lemmas (#107) CI build #24: Commit 18ce183 pushed by HuStmpHrrr
June 10, 2024 13:10 2m 59s main
main
June 10, 2024 13:10 2m 59s
Add helper lemmas CI build #23: Pull request #107 synchronize by Ailrun
June 10, 2024 03:43 2m 53s pr-helper-lemmas
pr-helper-lemmas
June 10, 2024 03:43 2m 53s
Add helper lemmas CI build #22: Pull request #107 synchronize by Ailrun
June 9, 2024 08:42 2m 46s pr-helper-lemmas
pr-helper-lemmas
June 9, 2024 08:42 2m 46s
Add helper lemmas CI build #21: Pull request #107 opened by Ailrun
June 9, 2024 08:40 2m 22s pr-helper-lemmas
pr-helper-lemmas
June 9, 2024 08:40 2m 22s
Add syntactic judgements for type subsumption (#101) CI build #20: Commit 7a1777d pushed by Ailrun
June 9, 2024 00:46 2m 45s main
main
June 9, 2024 00:46 2m 45s
Add syntactic judgements for type subsumption CI build #19: Pull request #101 synchronize by Ailrun
June 8, 2024 23:16 2m 53s pr-conversion-and-cumulativity
pr-conversion-and-cumulativity
June 8, 2024 23:16 2m 53s
Add syntactic judgements for type subsumption CI build #18: Pull request #101 synchronize by Ailrun
June 8, 2024 06:48 2m 57s pr-conversion-and-cumulativity
pr-conversion-and-cumulativity
June 8, 2024 06:48 2m 57s
Add syntactic judgements for type subsumption CI build #17: Pull request #101 synchronize by Ailrun
June 8, 2024 06:45 2m 42s pr-conversion-and-cumulativity
pr-conversion-and-cumulativity
June 8, 2024 06:45 2m 42s
Add syntactic judgements for type subsumption CI build #16: Pull request #101 synchronize by Ailrun
June 8, 2024 05:20 2m 56s pr-conversion-and-cumulativity
pr-conversion-and-cumulativity
June 8, 2024 05:20 2m 56s
Add syntactic judgements for type subsumption CI build #15: Pull request #101 synchronize by Ailrun
June 7, 2024 20:49 2m 53s pr-conversion-and-cumulativity
pr-conversion-and-cumulativity
June 7, 2024 20:49 2m 53s
Add syntactic judgements for type subsumption CI build #14: Pull request #101 synchronize by Ailrun
June 7, 2024 09:20 2m 46s pr-conversion-and-cumulativity
pr-conversion-and-cumulativity
June 7, 2024 09:20 2m 46s
Try container-based CI (#106) CI build #13: Commit cc2ed3c pushed by Ailrun
June 7, 2024 09:20 2m 46s main
main
June 7, 2024 09:20 2m 46s
Try container-based CI CI build #12: Pull request #106 synchronize by Ailrun
June 7, 2024 09:17 3m 0s pr-update-actions
pr-update-actions
June 7, 2024 09:17 3m 0s
Try container-based CI CI build #11: Pull request #106 synchronize by Ailrun
June 7, 2024 09:10 3m 2s pr-update-actions
pr-update-actions
June 7, 2024 09:10 3m 2s
Try container-based CI CI build #10: Pull request #106 synchronize by Ailrun
June 7, 2024 09:05 2m 46s pr-update-actions
pr-update-actions
June 7, 2024 09:05 2m 46s
Try container-based CI CI build #9: Pull request #106 synchronize by Ailrun
June 7, 2024 09:00 3m 0s pr-update-actions
pr-update-actions
June 7, 2024 09:00 3m 0s
Try container-based CI CI build #8: Pull request #106 synchronize by Ailrun
June 7, 2024 08:55 20s pr-update-actions
pr-update-actions
June 7, 2024 08:55 20s
Try container-based CI CI build #7: Pull request #106 synchronize by Ailrun
June 7, 2024 08:43 22s pr-update-actions
pr-update-actions
June 7, 2024 08:43 22s
ProTip! You can narrow down the results and go further in time using created:<2024-06-07 or the other filters available.