mohr_ci #1

Open

mohr wants to merge 13 commits from mohr_ci into main

pull from: mohr_ci

merge into: mohr:main

mohr:main

mohr:mohr/network

mohr:mohr/sd

mohr:nehlich/ffs

mohr:janssen/ba_meeting_2024-06-18

mohr:philipp/docker

mohr:hinkel/readme

mohr:nehlich/jena-compiler-flags

mohr:philipp/test

mohr:paul-better-blinking

mohr:mohr/lwip

mohr:neu

Conversation 0 Commits 13 Files Changed 13 +229 -73

mohr commented 2024-12-18 22:33:40 +01:00

Owner

Copy Link

No description provided.

mohr added 13 commits 2024-12-18 22:33:40 +01:00

ci workflow and docker files e0242e515d

CI 753beba2f4

CI 8cd505dba0

CI c195ea451f

ci a9ff327036

v1 99db0b1420

v1 1b81639b27

v1 22d2e932a1

v1 f904f40f92

v1 c32c018025

v1 86101f42b3

pull 2daf0e89d5

canary cc5c789fc3

All checks were successful

Hide all checks

ROMEO CI Job / Build_Code (push) Successful in 30s

Details

ROMEO Release Job / Build_Code (push) Successful in 31s

Details

ROMEO Pull / Build_Code (pull_request) Successful in 2s

Details

This pull request can be merged automatically.

You are not authorized to merge this pull request.

View command line instructions.

Checkout

From your project repository, check out a new branch and test the changes.

git fetch -u origin mohr_ci:mohr_ci

git checkout mohr_ci

Sign in to join this conversation.

Reviewers

No Reviewers

Labels

No items

No Label

Milestone

No items

No Milestone

Assignees

Clear assignees

mohr

No Assignees

1 Participants

Notifications

Subscribe

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: mohr/obsw#1

No description provided.