Skip to content

Merge remote-tracking branch 'parent/main' #93

Merge remote-tracking branch 'parent/main'

Merge remote-tracking branch 'parent/main' #93

Triggered via push February 5, 2024 08:46
Status Success
Total duration 23m 13s
Artifacts 7

ci.yml

on: push
collect-github-api-artifacts
3s
collect-github-api-artifacts
create-splash-image
3s
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
7.07 KB
eclipse-emoflon-linux-user Expired
738 MB
eclipse-emoflon-linux-user-ci Expired
573 MB
eclipse-emoflon-macos-user Expired
738 MB
eclipse-emoflon-windows-user Expired
738 MB
emoflon-headless-updatesite.zip Expired
19.9 KB
splash.bmp Expired
186 KB