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.

Sign up for GitHub

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

Jump to bottom

Fix contiguous integration #57

Open
Algiane opened this issue Dec 1, 2022 · 0 comments
Open

Fix contiguous integration #57

Algiane opened this issue Dec 1, 2022 · 0 comments
Labels
kind: ci-failure unexpected ci failure priority: high linked to blocking behaviour or to a close deadline

Comments

@Algiane
Copy link
Member

Algiane commented Dec 1, 2022 •
edited
Loading

Migration from Inria solution (Jenkins + Inria VM) onto github actions for reduced maintenance and access to external users.
@Algiane Algiane converted this from a draft issue Dec 1, 2022
@Algiane Algiane self-assigned this Dec 1, 2022
@Algiane Algiane added the kind: ci-failure unexpected ci failure label Dec 1, 2022
@Algiane Algiane changed the title Fix contiguous integration: migration from Inria solution (Jenkins + Inria VM) onto github actions for reduced maintenance and access to external users Fix contiguous integration Dec 1, 2022
@Algiane Algiane added the priority: high linked to blocking behaviour or to a close deadline label Dec 1, 2022
@Algiane Algiane removed their assignment Dec 1, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
kind: ci-failure unexpected ci failure priority: high linked to blocking behaviour or to a close deadline
Projects
Fix and improve continuous integration
Status: Todo
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Algiane