Skip to content

Merge branch 'main' into feature/update-eclipse-2023-12 #388

Merge branch 'main' into feature/update-eclipse-2023-12

Merge branch 'main' into feature/update-eclipse-2023-12 #388

Triggered via push December 5, 2023 11:42
Status Success
Total duration 42m 43s
Artifacts 14

ci.yml

on: push
collect-github-api-artifacts
5s
collect-github-api-artifacts
create-splash-image
6s
create-splash-image
create-release
0s
create-release
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
com.seeq.eclipse.importprojects.jar Expired
8.29 KB
eclipse-emoflon-linux-dev Expired
887 MB
eclipse-emoflon-linux-dev-ci Expired
704 MB
eclipse-emoflon-linux-dev-hipe Expired
861 MB
eclipse-emoflon-linux-user Expired
913 MB
eclipse-emoflon-linux-user-ci Expired
729 MB
eclipse-emoflon-macos-dev Expired
886 MB
eclipse-emoflon-macos-dev-hipe Expired
861 MB
eclipse-emoflon-macos-user Expired
913 MB
eclipse-emoflon-windows-dev Expired
887 MB
eclipse-emoflon-windows-dev-hipe Expired
861 MB
eclipse-emoflon-windows-user Expired
913 MB
emoflon-headless-updatesite.zip Expired
20.6 KB
splash.bmp Expired
533 KB