Skip to content
This repository has been archived by the owner on Jan 2, 2025. It is now read-only.

Ci/main #138

Merged
merged 142 commits into from
May 19, 2022
Merged

Ci/main #138

merged 142 commits into from
May 19, 2022

Conversation

JonasKruckenberg
Copy link
Contributor

No description provided.

@JonasKruckenberg JonasKruckenberg force-pushed the ci/main branch 4 times, most recently from 0d9d99a to 3f78671 Compare May 18, 2022 17:03
@JonasKruckenberg JonasKruckenberg merged commit b181e4e into master May 19, 2022
@JonasKruckenberg JonasKruckenberg deleted the ci/main branch May 19, 2022 08:46
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants