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

Finish completeness CI build #272: Pull request #90 opened by Ailrun
May 27, 2024 20:26 9m 5s pr-finish-completeness
pr-finish-completeness
May 27, 2024 20:26 9m 5s
working on the logrel for soundness proof CI build #271: Pull request #86 synchronize by HuStmpHrrr
May 26, 2024 01:18 9m 20s feature/logrel-soundness
feature/logrel-soundness
May 26, 2024 01:18 9m 20s
working on the logrel for soundness proof CI build #270: Pull request #86 synchronize by HuStmpHrrr
May 25, 2024 12:30 10m 6s feature/logrel-soundness
feature/logrel-soundness
May 25, 2024 12:30 10m 6s
More cases for completeness (#88) CI build #269: Commit 1f26aef pushed by HuStmpHrrr
May 23, 2024 17:30 9m 20s main
main
May 23, 2024 17:30 9m 20s
Remove depedence on axioms for PER lemmas (#89) CI build #268: Commit 8dda0c7 pushed by Ailrun
May 22, 2024 21:00 9m 17s main
main
May 22, 2024 21:00 9m 17s
More cases for completeness CI build #267: Pull request #88 synchronize by Ailrun
May 22, 2024 20:56 9m 22s pr-completeness
pr-completeness
May 22, 2024 20:56 9m 22s
Remove depedence on axioms for PER lemmas CI build #266: Pull request #89 opened by Ailrun
May 22, 2024 20:51 8m 58s pr-remove-axiom
pr-remove-axiom
May 22, 2024 20:51 8m 58s
More cases for completeness CI build #265: Pull request #88 synchronize by Ailrun
May 22, 2024 20:39 9m 7s pr-completeness
pr-completeness
May 22, 2024 20:39 9m 7s
More cases for completeness CI build #264: Pull request #88 synchronize by Ailrun
May 21, 2024 22:59 9m 8s pr-completeness
pr-completeness
May 21, 2024 22:59 9m 8s
working on the logrel for soundness proof CI build #263: Pull request #86 synchronize by HuStmpHrrr
May 21, 2024 21:21 9m 19s feature/logrel-soundness
feature/logrel-soundness
May 21, 2024 21:21 9m 19s
working on the logrel for soundness proof CI build #262: Pull request #86 synchronize by HuStmpHrrr
May 21, 2024 21:08 9m 19s feature/logrel-soundness
feature/logrel-soundness
May 21, 2024 21:08 9m 19s
More cases for completeness CI build #261: Pull request #88 synchronize by Ailrun
May 21, 2024 20:25 6m 36s pr-completeness
pr-completeness
May 21, 2024 20:25 6m 36s
working on the logrel for soundness proof CI build #260: Pull request #86 synchronize by HuStmpHrrr
May 21, 2024 16:05 15m 15s feature/logrel-soundness
feature/logrel-soundness
May 21, 2024 16:05 15m 15s
working on the logrel for soundness proof CI build #259: Pull request #86 synchronize by HuStmpHrrr
May 21, 2024 15:51 12m 48s feature/logrel-soundness
feature/logrel-soundness
May 21, 2024 15:51 12m 48s
working on the logrel for soundness proof CI build #258: Pull request #86 synchronize by HuStmpHrrr
May 21, 2024 12:45 35m 8s feature/logrel-soundness
feature/logrel-soundness
May 21, 2024 12:45 35m 8s
working on the logrel for soundness proof CI build #257: Pull request #86 synchronize by HuStmpHrrr
May 21, 2024 12:20 1h 30m 38s feature/logrel-soundness
feature/logrel-soundness
May 21, 2024 12:20 1h 30m 38s
More cases for completeness CI build #256: Pull request #88 opened by Ailrun
May 21, 2024 08:25 6m 47s pr-completeness
pr-completeness
May 21, 2024 08:25 6m 47s
working on the logrel for soundness proof CI build #255: Pull request #86 synchronize by HuStmpHrrr
May 21, 2024 00:48 9m 1s feature/logrel-soundness
feature/logrel-soundness
May 21, 2024 00:48 9m 1s
working on the logrel for soundness proof CI build #254: Pull request #86 synchronize by HuStmpHrrr
May 21, 2024 00:42 9m 17s feature/logrel-soundness
feature/logrel-soundness
May 21, 2024 00:42 9m 17s
working on the logrel for soundness proof CI build #253: Pull request #86 synchronize by HuStmpHrrr
May 21, 2024 00:33 6m 46s feature/logrel-soundness
feature/logrel-soundness
May 21, 2024 00:33 6m 46s
working on the logrel for soundness proof CI build #252: Pull request #86 synchronize by HuStmpHrrr
May 21, 2024 00:32 6m 0s feature/logrel-soundness
feature/logrel-soundness
May 21, 2024 00:32 6m 0s
working on the logrel for soundness proof CI build #251: Pull request #86 opened by HuStmpHrrr
May 21, 2024 00:32 5m 58s feature/logrel-soundness
feature/logrel-soundness
May 21, 2024 00:32 5m 58s
More completeness cases (#84) CI build #250: Commit bc58326 pushed by Ailrun
May 20, 2024 23:02 9m 28s main
main
May 20, 2024 23:02 9m 28s
More completeness cases CI build #249: Pull request #84 synchronize by Ailrun
May 20, 2024 21:11 9m 7s pr-more-completeness
pr-more-completeness
May 20, 2024 21:11 9m 7s
More completeness cases CI build #248: Pull request #84 synchronize by Ailrun
May 20, 2024 20:51 9m 58s pr-more-completeness
pr-more-completeness
May 20, 2024 20:51 9m 58s