Skip to content

Actions: Beluga-lang/McTT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
886 workflow runs
886 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add semantic CI build #101: Pull request #44 synchronize by Ailrun
January 21, 2024 08:48 8m 41s pr-domain-definition
pr-domain-definition
January 21, 2024 08:48 8m 41s
Add semantic CI build #100: Pull request #44 synchronize by Ailrun
January 19, 2024 20:33 14m 17s pr-domain-definition
pr-domain-definition
January 19, 2024 20:33 14m 17s
Add semantic CI build #99: Pull request #44 synchronize by Ailrun
January 19, 2024 08:26 9m 24s pr-domain-definition
pr-domain-definition
January 19, 2024 08:26 9m 24s
Add semantic CI build #98: Pull request #44 synchronize by Ailrun
January 19, 2024 08:25 8m 34s pr-domain-definition
pr-domain-definition
January 19, 2024 08:25 8m 34s
Add semantic CI build #97: Pull request #44 synchronize by Ailrun
January 18, 2024 21:34 9m 13s pr-domain-definition
pr-domain-definition
January 18, 2024 21:34 9m 13s
Add semantic CI build #96: Pull request #44 synchronize by Ailrun
January 18, 2024 15:55 8m 59s pr-domain-definition
pr-domain-definition
January 18, 2024 15:55 8m 59s
Add semantic CI build #95: Pull request #44 synchronize by Ailrun
January 16, 2024 07:36 9m 12s pr-domain-definition
pr-domain-definition
January 16, 2024 07:36 9m 12s
Add semantic CI build #94: Pull request #44 opened by Ailrun
January 16, 2024 05:36 8m 57s pr-domain-definition
pr-domain-definition
January 16, 2024 05:36 8m 57s
Add natural number recursor (#43) CI build #93: Commit 62b5086 pushed by Ailrun
January 15, 2024 13:50 15m 46s main
main
January 15, 2024 13:50 15m 46s
Add natural number recursor CI build #92: Pull request #43 synchronize by Ailrun
January 15, 2024 12:10 12m 36s pr-rec
pr-rec
January 15, 2024 12:10 12m 36s
Add natural number recursor CI build #91: Pull request #43 synchronize by Ailrun
January 15, 2024 11:42 9m 11s pr-rec
pr-rec
January 15, 2024 11:42 9m 11s
Add natural number recursor CI build #90: Pull request #43 synchronize by Ailrun
January 13, 2024 13:17 14m 47s pr-rec
pr-rec
January 13, 2024 13:17 14m 47s
Add natural number recursor CI build #89: Pull request #43 opened by Ailrun
January 13, 2024 13:17 1m 2s pr-rec
pr-rec
January 13, 2024 13:17 1m 2s
Update Makefile (#42) CI build #88: Commit 517bc5a pushed by Ailrun
December 26, 2023 02:45 6m 8s main
main
December 26, 2023 02:45 6m 8s
Update Makefile CI build #87: Pull request #42 synchronize by Ailrun
December 26, 2023 02:39 6m 15s pr-fix-mli
pr-fix-mli
December 26, 2023 02:39 6m 15s
Update Makefile CI build #86: Pull request #42 opened by Ailrun
December 26, 2023 02:25 6m 24s pr-fix-mli
pr-fix-mli
December 26, 2023 02:25 6m 24s
Update makefile to make extraction cleaner (#41) CI build #85: Commit 77bc9bb pushed by Ailrun
December 25, 2023 22:57 12m 46s main
main
December 25, 2023 22:57 12m 46s
Update makefile to make extraction cleaner CI build #84: Pull request #41 synchronize by Ailrun
December 25, 2023 22:47 9m 31s pr-update-action
pr-update-action
December 25, 2023 22:47 9m 31s
Update makefile to make extraction cleaner CI build #83: Pull request #41 synchronize by Ailrun
December 25, 2023 21:47 9m 18s pr-update-action
pr-update-action
December 25, 2023 21:47 9m 18s
Update makefile to make extraction cleaner CI build #82: Pull request #41 synchronize by Ailrun
December 25, 2023 21:02 8m 53s pr-update-action
pr-update-action
December 25, 2023 21:02 8m 53s
Update makefile to make extraction cleaner CI build #81: Pull request #41 synchronize by Ailrun
December 25, 2023 20:59 8m 35s pr-update-action
pr-update-action
December 25, 2023 20:59 8m 35s
Update makefile to make extraction cleaner CI build #80: Pull request #41 synchronize by Ailrun
December 25, 2023 05:13 9m 56s pr-update-action
pr-update-action
December 25, 2023 05:13 9m 56s
Update makefile to make extraction cleaner CI build #79: Pull request #41 opened by Ailrun
December 25, 2023 04:07 12m 33s pr-update-action
pr-update-action
December 25, 2023 04:07 12m 33s
Update project structure (#40) CI build #78: Commit c8c79c2 pushed by Ailrun
December 17, 2023 12:21 7m 13s main
main
December 17, 2023 12:21 7m 13s
Update project structure CI build #77: Pull request #40 synchronize by Ailrun
December 16, 2023 09:03 5m 55s PR-update-structure
PR-update-structure
December 16, 2023 09:03 5m 55s
ProTip! You can narrow down the results and go further in time using created:<2023-12-16 or the other filters available.