Skip to content

Actions: Beluga-lang/McTT

Actions

CI build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci_build.yaml
450 workflow runs
450 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update build process CI build #225: Pull request #179 synchronize by HuStmpHrrr
September 9, 2024 22:09 6m 38s feature/makefile
feature/makefile
September 9, 2024 22:09 6m 38s
update build process CI build #224: Pull request #179 opened by HuStmpHrrr
September 9, 2024 21:52 6m 24s feature/makefile
feature/makefile
September 9, 2024 21:52 6m 24s
update main file (#178) CI build #223: Commit 63c6d64 pushed by HuStmpHrrr
September 9, 2024 20:49 6m 30s main
main
September 9, 2024 20:49 6m 30s
update main file CI build #222: Pull request #178 opened by HuStmpHrrr
September 9, 2024 20:33 6m 25s feature/change-main
feature/change-main
September 9, 2024 20:33 6m 25s
Add a more "proper" entrypoint with fuller parser (#170) CI build #221: Commit d43ab2c pushed by Ailrun
September 8, 2024 04:11 6m 27s main
main
September 8, 2024 04:11 6m 27s
Add a more "proper" entrypoint with fuller parser CI build #220: Pull request #170 synchronize by Ailrun
September 7, 2024 22:20 6m 23s pr-entrypoint
pr-entrypoint
September 7, 2024 22:20 6m 23s
Add a more "proper" entrypoint with fuller parser CI build #219: Pull request #170 synchronize by Ailrun
September 7, 2024 02:55 6m 24s pr-entrypoint
pr-entrypoint
September 7, 2024 02:55 6m 24s
Add a more "proper" entrypoint with fuller parser CI build #218: Pull request #170 synchronize by Ailrun
September 7, 2024 02:48 6m 38s pr-entrypoint
pr-entrypoint
September 7, 2024 02:48 6m 38s
Add a more "proper" entrypoint with fuller parser CI build #217: Pull request #170 synchronize by Ailrun
September 7, 2024 02:47 6m 11s pr-entrypoint
pr-entrypoint
September 7, 2024 02:47 6m 11s
Add a more "proper" entrypoint with fuller parser CI build #216: Pull request #170 synchronize by Ailrun
September 6, 2024 20:44 6m 33s pr-entrypoint
pr-entrypoint
September 6, 2024 20:44 6m 33s
Add a more "proper" entrypoint with fuller parser CI build #215: Pull request #170 synchronize by Ailrun
September 6, 2024 19:31 6m 26s pr-entrypoint
pr-entrypoint
September 6, 2024 19:31 6m 26s
Add a more "proper" entrypoint with fuller parser CI build #214: Pull request #170 synchronize by Ailrun
September 6, 2024 19:22 6m 24s pr-entrypoint
pr-entrypoint
September 6, 2024 19:22 6m 24s
Update dockerfile (#171) CI build #213: Commit 7bd92e7 pushed by Ailrun
September 6, 2024 19:12 5m 56s main
main
September 6, 2024 19:12 5m 56s
Update Coq CI build #212: Pull request #171 synchronize by Ailrun
September 6, 2024 19:06 5m 56s update-coq
update-coq
September 6, 2024 19:06 5m 56s
Update Coq CI build #211: Pull request #171 opened by Ailrun
September 5, 2024 19:17 6m 15s update-coq
update-coq
September 5, 2024 19:17 6m 15s
Add a more "proper" entrypoint with fuller parser CI build #210: Pull request #170 synchronize by Ailrun
September 5, 2024 19:01 4m 11s pr-entrypoint
pr-entrypoint
September 5, 2024 19:01 4m 11s
Add a more "proper" entrypoint with fuller parser CI build #209: Pull request #170 opened by Ailrun
September 5, 2024 09:44 7s pr-entrypoint
pr-entrypoint
September 5, 2024 09:44 7s
Use consistent naming (#169) CI build #208: Commit 6f9246f pushed by Ailrun
September 4, 2024 22:28 6m 23s main
main
September 4, 2024 22:28 6m 23s
Use consistent naming CI build #207: Pull request #169 opened by Ailrun
September 4, 2024 22:22 6m 21s pr-reorganize
pr-reorganize
September 4, 2024 22:22 6m 21s
Reorganize code (#168) CI build #206: Commit 5bdbc54 pushed by Ailrun
September 1, 2024 04:35 6m 5s main
main
September 1, 2024 04:35 6m 5s
Reorganize code CI build #205: Pull request #168 opened by Ailrun
September 1, 2024 04:28 6m 0s pr-reorganize
pr-reorganize
September 1, 2024 04:28 6m 0s
Optimize soundness a bit (#165) CI build #204: Commit b6657aa pushed by Ailrun
September 1, 2024 03:58 6m 2s main
main
September 1, 2024 03:58 6m 2s
Implement type checker (#164) CI build #203: Commit 599c714 pushed by Ailrun
September 1, 2024 03:52 6m 28s main
main
September 1, 2024 03:52 6m 28s
Implement type checker CI build #202: Pull request #164 synchronize by Ailrun
September 1, 2024 03:46 5m 59s pr-type-checker-impl
pr-type-checker-impl
September 1, 2024 03:46 5m 59s
Implement type checker CI build #201: Pull request #164 synchronize by Ailrun
August 31, 2024 16:37 6m 17s pr-type-checker-impl
pr-type-checker-impl
August 31, 2024 16:37 6m 17s
ProTip! You can narrow down the results and go further in time using created:<2024-08-31 or the other filters available.