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

remove unnecessary CI jobs #69

Closed
Tracked by #14
franziskuskiefer opened this issue May 11, 2022 · 3 comments
Closed
Tracked by #14

remove unnecessary CI jobs #69

franziskuskiefer opened this issue May 11, 2022 · 3 comments
Assignees
@duesee
Labels
ci 🤖
Milestone
Continuous Integr...

Comments

@franziskuskiefer
Copy link
Member

No description provided.

@franziskuskiefer franziskuskiefer mentioned this issue May 11, 2022
Closed
16 tasks
@duesee
Copy link
Contributor

duesee commented Jul 6, 2022

  • Do not run CI on changes of e.g. README.md?

@franziskuskiefer
Copy link
Member Author

I filed #94 and #95 as follow-ups.

@franziskuskiefer
Copy link
Member Author

fixed in #93

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@duesee duesee

Labels
ci 🤖
Projects
HACL Packages
Status: Done
Milestone
Continuous Integration
Development

No branches or pull requests
2 participants
@franziskuskiefer @duesee