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

Feature/logrel lemmas (#93) CI build #297: Commit f49a361 pushed by Ailrun
June 3, 2024 18:05 9m 50s main
main
June 3, 2024 18:05 9m 50s
Improve parallelism CI build #296: Pull request #97 opened by Ailrun
June 3, 2024 06:58 10m 6s pr-more-parallelism
pr-more-parallelism
June 3, 2024 06:58 10m 6s
Add build time check to CI (#96) CI build #295: Commit 22c9055 pushed by Ailrun
June 3, 2024 06:02 16m 15s main
main
June 3, 2024 06:02 16m 15s
Add build time check to CI CI build #294: Pull request #96 synchronize by Ailrun
June 3, 2024 05:53 8m 48s pr-add-timed-compile
pr-add-timed-compile
June 3, 2024 05:53 8m 48s
Add build time check to CI CI build #293: Pull request #96 synchronize by Ailrun
June 3, 2024 05:30 13m 9s pr-add-timed-compile
pr-add-timed-compile
June 3, 2024 05:30 13m 9s
Add build time check to CI CI build #292: Pull request #96 synchronize by Ailrun
June 3, 2024 03:29 12m 38s pr-add-timed-compile
pr-add-timed-compile
June 3, 2024 03:29 12m 38s
Add build time check to CI CI build #291: Pull request #96 synchronize by Ailrun
June 3, 2024 03:14 12m 17s pr-add-timed-compile
pr-add-timed-compile
June 3, 2024 03:14 12m 17s
Add build time check to CI CI build #290: Pull request #96 opened by Ailrun
June 3, 2024 03:09 7m 52s pr-add-timed-compile
pr-add-timed-compile
June 3, 2024 03:09 7m 52s
Performance Check CI build #289: Pull request #95 opened by Ailrun
June 3, 2024 02:34 12m 9s pr-check-perf
pr-check-perf
June 3, 2024 02:34 12m 9s
improve presup performance (#94) CI build #288: Commit f8feff0 pushed by Ailrun
June 3, 2024 01:43 11m 21s main
main
June 3, 2024 01:43 11m 21s
Feature/logrel lemmas CI build #287: Pull request #93 synchronize by HuStmpHrrr
June 3, 2024 00:26 12m 24s feature/logrel-lemmas
feature/logrel-lemmas
June 3, 2024 00:26 12m 24s
improve presup performance CI build #286: Pull request #94 opened by HuStmpHrrr
June 2, 2024 18:28 11m 49s feature/improve-presup
feature/improve-presup
June 2, 2024 18:28 11m 49s
add lemmas for weakenings (#92) CI build #285: Commit b8e6de0 pushed by Ailrun
June 2, 2024 15:58 12m 37s main
main
June 2, 2024 15:58 12m 37s
add lemmas for weakenings CI build #284: Pull request #92 synchronize by HuStmpHrrr
June 2, 2024 13:04 12m 18s feature/weakening-lemmas
feature/weakening-lemmas
June 2, 2024 13:04 12m 18s
Feature/logrel lemmas CI build #283: Pull request #93 opened by HuStmpHrrr
June 1, 2024 23:47 12m 2s feature/logrel-lemmas
feature/logrel-lemmas
June 1, 2024 23:47 12m 2s
add lemmas for weakenings CI build #282: Pull request #92 opened by HuStmpHrrr
June 1, 2024 21:00 12m 14s feature/weakening-lemmas
feature/weakening-lemmas
June 1, 2024 21:00 12m 14s
Add some templates (#91) CI build #281: Commit 0cf0b62 pushed by Ailrun
May 29, 2024 22:00 12m 9s main
main
May 29, 2024 22:00 12m 9s
Add some templates CI build #280: Pull request #91 opened by Ailrun
May 29, 2024 20:19 12m 34s pr-type-checker
pr-type-checker
May 29, 2024 20:19 12m 34s
Finish completeness (#90) CI build #279: Commit d142ef3 pushed by Ailrun
May 28, 2024 22:45 9m 55s main
main
May 28, 2024 22:45 9m 55s
Finish completeness CI build #278: Pull request #90 synchronize by Ailrun
May 28, 2024 22:35 9m 56s pr-finish-completeness
pr-finish-completeness
May 28, 2024 22:35 9m 56s
Finish completeness CI build #277: Pull request #90 synchronize by Ailrun
May 28, 2024 18:43 9m 51s pr-finish-completeness
pr-finish-completeness
May 28, 2024 18:43 9m 51s
working on the logrel for soundness proof (#86) CI build #276: Commit 3164d9d pushed by Ailrun
May 28, 2024 18:29 9m 22s main
main
May 28, 2024 18:29 9m 22s
working on the logrel for soundness proof CI build #275: Pull request #86 synchronize by HuStmpHrrr
May 28, 2024 18:10 9m 19s feature/logrel-soundness
feature/logrel-soundness
May 28, 2024 18:10 9m 19s
Finish completeness CI build #274: Pull request #90 synchronize by Ailrun
May 28, 2024 01:23 9m 23s pr-finish-completeness
pr-finish-completeness
May 28, 2024 01:23 9m 23s
Finish completeness CI build #273: Pull request #90 synchronize by Ailrun
May 27, 2024 20:39 9m 25s pr-finish-completeness
pr-finish-completeness
May 27, 2024 20:39 9m 25s