Skip to content

Actions: Beluga-lang/McTT

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

(Probably) Last completeness optimization (#104) CI build #322: Commit 276eb8a pushed by Ailrun
June 6, 2024 23:11 7m 40s main
main
June 6, 2024 23:11 7m 40s
(Probably) Last completeness optimization CI build #321: Pull request #104 opened by Ailrun
June 6, 2024 23:03 7m 36s pr-last-completeness-optimization
pr-last-completeness-optimization
June 6, 2024 23:03 7m 36s
need a few lemmas to push through this proof (#99) CI build #320: Commit c6e076b pushed by Ailrun
June 6, 2024 17:26 8m 20s main
main
June 6, 2024 17:26 8m 20s
Optimize completeness proofs (#102) CI build #319: Commit ea9682c pushed by Ailrun
June 6, 2024 07:00 7m 55s main
main
June 6, 2024 07:00 7m 55s
Update ci_build.yml (#103) CI build #318: Commit 0371a75 pushed by Ailrun
June 6, 2024 06:43 16m 13s main
main
June 6, 2024 06:43 16m 13s
Update ci_build.yml CI build #317: Pull request #103 opened by Ailrun
June 6, 2024 06:26 16m 23s pr-update-cache
pr-update-cache
June 6, 2024 06:26 16m 23s
Optimize completeness proofs CI build #316: Pull request #102 opened by Ailrun
June 6, 2024 05:49 10m 23s pr-optimize-completeness
pr-optimize-completeness
June 6, 2024 05:49 10m 23s
Add syntactic judgements for type subsumption CI build #315: Pull request #101 opened by Ailrun
June 6, 2024 02:24 11m 8s pr-conversion-and-cumulativity
pr-conversion-and-cumulativity
June 6, 2024 02:24 11m 8s
need a few lemmas to push through this proof CI build #314: Pull request #99 synchronize by HuStmpHrrr
June 6, 2024 00:48 11m 20s feature/logrel-lemmas2
feature/logrel-lemmas2
June 6, 2024 00:48 11m 20s
need a few lemmas to push through this proof CI build #313: Pull request #99 synchronize by HuStmpHrrr
June 5, 2024 22:27 11m 50s feature/logrel-lemmas2
feature/logrel-lemmas2
June 5, 2024 22:27 11m 50s
need a few lemmas to push through this proof CI build #312: Pull request #99 synchronize by HuStmpHrrr
June 5, 2024 22:12 11m 31s feature/logrel-lemmas2
feature/logrel-lemmas2
June 5, 2024 22:12 11m 31s
need a few lemmas to push through this proof CI build #311: Pull request #99 synchronize by HuStmpHrrr
June 5, 2024 21:25 11m 29s feature/logrel-lemmas2
feature/logrel-lemmas2
June 5, 2024 21:25 11m 29s
need a few lemmas to push through this proof CI build #310: Pull request #99 synchronize by HuStmpHrrr
June 5, 2024 20:11 8m 2s feature/logrel-lemmas2
feature/logrel-lemmas2
June 5, 2024 20:11 8m 2s
need a few lemmas to push through this proof CI build #309: Pull request #99 synchronize by HuStmpHrrr
June 5, 2024 13:31 11m 17s feature/logrel-lemmas2
feature/logrel-lemmas2
June 5, 2024 13:31 11m 17s
need a few lemmas to push through this proof CI build #308: Pull request #99 synchronize by HuStmpHrrr
June 5, 2024 13:22 7m 2s feature/logrel-lemmas2
feature/logrel-lemmas2
June 5, 2024 13:22 7m 2s
need a few lemmas to push through this proof CI build #307: Pull request #99 synchronize by HuStmpHrrr
June 5, 2024 13:13 6m 33s feature/logrel-lemmas2
feature/logrel-lemmas2
June 5, 2024 13:13 6m 33s
need a few lemmas to push through this proof CI build #306: Pull request #99 synchronize by HuStmpHrrr
June 5, 2024 03:09 8m 59s feature/logrel-lemmas2
feature/logrel-lemmas2
June 5, 2024 03:09 8m 59s
need a few lemmas to push through this proof CI build #305: Pull request #99 synchronize by HuStmpHrrr
June 5, 2024 01:46 8m 37s feature/logrel-lemmas2
feature/logrel-lemmas2
June 5, 2024 01:46 8m 37s
need a few lemmas to push through this proof CI build #304: Pull request #99 synchronize by HuStmpHrrr
June 4, 2024 21:43 8m 32s feature/logrel-lemmas2
feature/logrel-lemmas2
June 4, 2024 21:43 8m 32s
need a few lemmas to push through this proof CI build #303: Pull request #99 synchronize by HuStmpHrrr
June 4, 2024 17:10 8m 40s feature/logrel-lemmas2
feature/logrel-lemmas2
June 4, 2024 17:10 8m 40s
need a few lemmas to push through this proof CI build #302: Pull request #99 opened by HuStmpHrrr
June 4, 2024 17:07 6m 36s feature/logrel-lemmas2
feature/logrel-lemmas2
June 4, 2024 17:07 6m 36s
Refactoring and optimizing proofs (#98) CI build #301: Commit 6f4fb0d pushed by Ailrun
June 4, 2024 14:21 8m 46s main
main
June 4, 2024 14:21 8m 46s
Refactoring and optimizing proofs CI build #300: Pull request #98 synchronize by Ailrun
June 4, 2024 03:27 9m 30s pr-proof-refactoring
pr-proof-refactoring
June 4, 2024 03:27 9m 30s
Refactoring and optimizing proofs CI build #299: Pull request #98 synchronize by Ailrun
June 4, 2024 03:23 8m 36s pr-proof-refactoring
pr-proof-refactoring
June 4, 2024 03:23 8m 36s
Refactoring and optimizing proofs CI build #298: Pull request #98 opened by Ailrun
June 3, 2024 21:34 8m 44s pr-proof-refactoring
pr-proof-refactoring
June 3, 2024 21:34 8m 44s