Skip to content

point to new GitHub wiki #48

point to new GitHub wiki

point to new GitHub wiki #48

Triggered via pull request June 2, 2024 22:01
Status Success
Total duration 15s
Artifacts

build.yml

on: pull_request
Palladio-Editors-Commons  /  build_pre_job
5s
Palladio-Editors-Commons / build_pre_job
Palladio-Editors-Commons  /  Build Palladio Artifact
0s
Palladio-Editors-Commons / Build Palladio Artifact
Fit to window
Zoom out
Zoom in