Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Build in obs #173

Merged
merged 4 commits into from
Jan 23, 2023
Merged

Build in obs #173

merged 4 commits into from
Jan 23, 2023

Conversation

nelsonkopliku
Copy link
Member

@nelsonkopliku nelsonkopliku commented Jan 20, 2023

Description

This PR adds submission of wanda to OBS.

More in detail

  • a hack directory added with necessary scripts for CI
  • added suse Docker packaging files
  • vendored rhai rustler cargo deps

Reminder to self: before merging update obs meta and merge web bci base update trento-project/web#1130

@coveralls
Copy link
Collaborator

coveralls commented Jan 20, 2023

Coverage Status

Coverage: 96.029%. Remained the same when pulling 8a1590b on build_in_obs into 95f1140 on main.

.github/workflows/ci.yaml Outdated Show resolved Hide resolved
.github/workflows/ci.yaml Show resolved Hide resolved
packaging/suse/Dockerfile Show resolved Hide resolved
packaging/suse/Dockerfile Show resolved Hide resolved
@rtorrero rtorrero merged commit 05309af into main Jan 23, 2023
@rtorrero rtorrero deleted the build_in_obs branch January 23, 2023 14:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Development

Successfully merging this pull request may close these issues.

5 participants