Skip to content

Actions: Beluga-lang/McTT

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Prove subtyping case for soundness CI build #150: Pull request #153 synchronize by Ailrun
August 8, 2024 19:13 4m 20s pr-subtyping-lemmas
pr-subtyping-lemmas
August 8, 2024 19:13 4m 20s
Prove subtyping case for soundness CI build #149: Pull request #153 opened by Ailrun
August 8, 2024 19:10 4m 6s pr-subtyping-lemmas
pr-subtyping-lemmas
August 8, 2024 19:10 4m 6s
Prove per escape lemma along gluing (#151) CI build #148: Commit 2c2bca2 pushed by Ailrun
August 7, 2024 14:36 4m 8s main
main
August 7, 2024 14:36 4m 8s
Prove per escape lemma along gluing CI build #147: Pull request #151 synchronize by Ailrun
August 5, 2024 05:54 4m 7s pr-equivalence-lemma
pr-equivalence-lemma
August 5, 2024 05:54 4m 7s
Prove per escape lemma along gluing CI build #146: Pull request #151 synchronize by Ailrun
August 5, 2024 00:57 4m 4s pr-equivalence-lemma
pr-equivalence-lemma
August 5, 2024 00:57 4m 4s
working on subtyping impl CI build #145: Pull request #152 opened by HuStmpHrrr
August 2, 2024 14:56 3m 57s feature/subtyping-impl
feature/subtyping-impl
August 2, 2024 14:56 3m 57s
Prove per escape lemma along gluing CI build #144: Pull request #151 synchronize by Ailrun
August 1, 2024 20:18 4m 18s pr-equivalence-lemma
pr-equivalence-lemma
August 1, 2024 20:18 4m 18s
Prove per escape lemma along gluing CI build #143: Pull request #151 opened by Ailrun
August 1, 2024 19:59 4m 13s pr-equivalence-lemma
pr-equivalence-lemma
August 1, 2024 19:59 4m 13s
Gluing Cumulativity (#150) CI build #142: Commit 07c74cc pushed by Ailrun
August 1, 2024 17:27 3m 56s main
main
August 1, 2024 17:27 3m 56s
Gluing Cumulativity CI build #141: Pull request #150 synchronize by Ailrun
August 1, 2024 17:23 3m 56s pr-add-more-lemmas
pr-add-more-lemmas
August 1, 2024 17:23 3m 56s
add more morphisms (#148) CI build #140: Commit 946b8c4 pushed by HuStmpHrrr
August 1, 2024 15:13 4m 2s main
main
August 1, 2024 15:13 4m 2s
Gluing Cumulativity CI build #139: Pull request #150 synchronize by Ailrun
August 1, 2024 15:11 3m 54s pr-add-more-lemmas
pr-add-more-lemmas
August 1, 2024 15:11 3m 54s
Gluing Cumulativity CI build #138: Pull request #150 synchronize by Ailrun
July 31, 2024 21:35 4m 1s pr-add-more-lemmas
pr-add-more-lemmas
July 31, 2024 21:35 4m 1s
Gluing Cumulativity CI build #137: Pull request #150 synchronize by Ailrun
July 31, 2024 21:30 3m 30s pr-add-more-lemmas
pr-add-more-lemmas
July 31, 2024 21:30 3m 30s
implement monotonicity (#149) CI build #136: Commit 9fa1a23 pushed by HuStmpHrrr
July 31, 2024 17:40 3m 59s main
main
July 31, 2024 17:40 3m 59s
add more morphisms CI build #135: Pull request #148 synchronize by HuStmpHrrr
July 31, 2024 17:36 3m 45s feature/more-morphisms
feature/more-morphisms
July 31, 2024 17:36 3m 45s
implement monotonicity CI build #134: Pull request #149 synchronize by HuStmpHrrr
July 31, 2024 17:33 7m 15s feature/monotonicity
feature/monotonicity
July 31, 2024 17:33 7m 15s
implement monotonicity CI build #133: Pull request #149 synchronize by HuStmpHrrr
July 31, 2024 13:17 3m 49s feature/monotonicity
feature/monotonicity
July 31, 2024 13:17 3m 49s
implement monotonicity CI build #132: Pull request #149 synchronize by HuStmpHrrr
July 31, 2024 13:16 4m 2s feature/monotonicity
feature/monotonicity
July 31, 2024 13:16 4m 2s
implement monotonicity CI build #131: Pull request #149 synchronize by HuStmpHrrr
July 31, 2024 01:53 3m 40s feature/monotonicity
feature/monotonicity
July 31, 2024 01:53 3m 40s
implement monotonicity CI build #130: Pull request #149 opened by HuStmpHrrr
July 31, 2024 01:50 3m 48s feature/monotonicity
feature/monotonicity
July 31, 2024 01:50 3m 48s
add more morphisms CI build #129: Pull request #148 opened by HuStmpHrrr
July 31, 2024 00:40 3m 52s feature/more-morphisms
feature/more-morphisms
July 31, 2024 00:40 3m 52s