Skip to content

Actions: specs-feup/metafor

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
740 workflow runs
740 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Lara-4 migration (WeaverGen2 + TS toolchain) nightly #770: Pull request #64 synchronize by lm-sousa
5m 36s lara-4
lara-4
5m 36s
Lara-4 migration (WeaverGen2 + TS toolchain) nightly #769: Pull request #64 synchronize by lm-sousa
1m 55s lara-4
lara-4
1m 55s
Lara-4 migration (WeaverGen2 + TS toolchain) nightly #768: Pull request #64 synchronize by lm-sousa
4m 30s lara-4
lara-4
4m 30s
Multi-weaver Copilot Setup Steps #15: Pull request #65 reopened by lm-sousa
31s multi-weaver
multi-weaver
31s
Multi-weaver nightly #767: Pull request #65 reopened by lm-sousa
4m 31s multi-weaver
multi-weaver
4m 31s
Merge branch 'multi-weaver' into lara-4 Copilot Setup Steps #14: Commit 185058d pushed by lm-sousa
30s lara-4
lara-4
30s
Rebase Copilot Setup Steps #13: Pull request #8 synchronize by lm-sousa
26s multi-weaver
multi-weaver
26s
Rebase nightly #766: Pull request #8 synchronize by lm-sousa
5m 1s multi-weaver
multi-weaver
5m 1s
Multi-weaver Copilot Setup Steps #12: Pull request #65 synchronize by lm-sousa
32s multi-weaver
multi-weaver
32s
Multi-weaver nightly #765: Pull request #65 synchronize by lm-sousa
6m 37s multi-weaver
multi-weaver
6m 37s
Fix multi-weaver compilation after rebase onto main Copilot Setup Steps #11: Commit e3061cd pushed by lm-sousa
29s multi-weaver
multi-weaver
29s
Multi-weaver Copilot Setup Steps #10: Pull request #65 opened by lm-sousa
1m 6s multi-weaver
multi-weaver
1m 6s
Multi-weaver nightly #764: Pull request #65 opened by lm-sousa
2m 30s multi-weaver
multi-weaver
2m 30s
Lara-4 migration (WeaverGen2 + TS toolchain) Copilot Setup Steps #9: Pull request #64 opened by lm-sousa
31s lara-4
lara-4
31s
Lara-4 migration (WeaverGen2 + TS toolchain) nightly #763: Pull request #64 opened by lm-sousa
4m 45s lara-4
lara-4
4m 45s
Rebase Copilot Setup Steps #8: Pull request #8 synchronize by lm-sousa
20s multi-weaver
multi-weaver
20s
Rebase nightly #762: Pull request #8 synchronize by lm-sousa
2m 0s multi-weaver
multi-weaver
2m 0s
Update echo statement in copilot setup to reflect 'Weaver branch' Copilot Setup Steps #7: Commit 4a5860c pushed by lm-sousa
25s multi-weaver
multi-weaver
25s
nightly nightly #761: Scheduled
5m 27s main
main
5m 27s
Merge pull request #63 from specs-feup/readme-ack Mirror to GitLab (SSH) #58: Commit 049d3ae pushed by joaobispo
22s main
main
22s
Merge pull request #63 from specs-feup/readme-ack nightly #760: Commit 049d3ae pushed by joaobispo
4m 47s main
main
4m 47s
Merge pull request #63 from specs-feup/readme-ack nightly #759: Commit 049d3ae pushed by joaobispo
4m 34s staging
staging
4m 34s
Add acknowledgments section to README nightly #758: Pull request #63 opened by joaobispo
5m 52s readme-ack
readme-ack
5m 52s
nightly nightly #757: Scheduled
5m 8s main
main
5m 8s
Fix code generation for pointer assignment statement with single bounds nightly #756: Commit 1ce16d8 pushed by Process-ing
1m 34s feature/fujitsu-support
feature/fujitsu-support
1m 34s