Skip to content

Actions: mbeddr/mbeddr.formal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
614 workflow runs
614 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bugfix/update dependencies CI #1562: Pull request #224 opened by btakim
3m 3s bugfix/update-dependencies
bugfix/update-dependencies
3m 3s
CI CI #1561: Manually run by danielratiu
3m 42s master
master
3m 42s
feature/cosmetic improvements of SPIs CI #1560: Pull request #223 synchronize by danielratiu
3m 15s feature/spis_improvements_2
feature/spis_improvements_2
3m 15s
feature/cosmetic improvements of SPIs CI #1559: Pull request #223 synchronize by danielratiu
2m 29s feature/spis_improvements_2
feature/spis_improvements_2
2m 29s
feature/cosmetic improvements of SPIs CI #1558: Pull request #223 synchronize by danielratiu
1m 33s feature/spis_improvements_2
feature/spis_improvements_2
1m 33s
feature/cosmetic improvements of SPIs CI #1557: Pull request #223 synchronize by danielratiu
3m 23s feature/spis_improvements_2
feature/spis_improvements_2
3m 23s
feature/cosmetic improvements of SPIs CI #1556: Pull request #223 synchronize by danielratiu
2m 59s feature/spis_improvements_2
feature/spis_improvements_2
2m 59s
feature/cosmetic improvements of SPIs CI #1555: Pull request #223 opened by danielratiu
4m 23s feature/spis_improvements_2
feature/spis_improvements_2
4m 23s
Migration/to mps 2025 1 CI #1554: Pull request #204 synchronize by danielratiu
18m 51s migration/to_mps_2025_1
migration/to_mps_2025_1
18m 51s
Migration/to mps 2025 1 CI #1553: Pull request #204 synchronize by danielratiu
11m 59s migration/to_mps_2025_1
migration/to_mps_2025_1
11m 59s
feature/gsn improvements (#221) CI #1552: Commit 1b283e4 pushed by danielratiu
27m 3s master
master
27m 3s
pages build and deployment pages-build-deployment #192: by danielratiu
1m 2s master
master
1m 2s
feature/gsn improvements CI #1551: Pull request #221 synchronize by danielratiu
18m 48s feature/gsn_improvements
feature/gsn_improvements
18m 48s
feature/gsn improvements CI #1550: Pull request #221 synchronize by danielratiu
20m 9s feature/gsn_improvements
feature/gsn_improvements
20m 9s
feature/gsn improvements CI #1549: Pull request #221 synchronize by danielratiu
18m 21s feature/gsn_improvements
feature/gsn_improvements
18m 21s
Migration/to mps 2025 1 CI #1548: Pull request #204 synchronize by danielratiu
11m 59s migration/to_mps_2025_1
migration/to_mps_2025_1
11m 59s
Migration/to mps 2025 1 CI #1547: Pull request #204 synchronize by danielratiu
19m 22s migration/to_mps_2025_1
migration/to_mps_2025_1
19m 22s
Migration/to mps 2025 1 CI #1546: Pull request #204 synchronize by danielratiu
19m 20s migration/to_mps_2025_1
migration/to_mps_2025_1
19m 20s
Migration/to mps 2025 1 CI #1545: Pull request #204 synchronize by danielratiu
19m 37s migration/to_mps_2025_1
migration/to_mps_2025_1
19m 37s
Migration/to mps 2025 1 CI #1544: Pull request #204 synchronize by danielratiu
1m 33s migration/to_mps_2025_1
migration/to_mps_2025_1
1m 33s
Updating jira-rest-java-client-core to get rid of the vulnerabilities… CI #1543: Commit 0709b87 pushed by danielratiu
26m 6s master
master
26m 6s
pages build and deployment pages-build-deployment #191: by danielratiu
6m 33s master
master
6m 33s
Updating jira-rest-java-client-core to get rid of the vulnerabilities CI #1542: Pull request #222 synchronize by btakim
18m 8s btakim:patch-1
btakim:patch-1
18m 8s
Updating jira-rest-java-client-core to get rid of the vulnerabilities CI #1541: Pull request #222 synchronize by btakim
18m 30s btakim:patch-1
btakim:patch-1
18m 30s
Updating jira-rest-java-client-core to get rid of the vulnerabilities CI #1540: Pull request #222 synchronize by btakim
4m 5s btakim:patch-1
btakim:patch-1
4m 5s