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

VERSION: Add version file #20095

Merged
merged 1 commit into from
Nov 20, 2023
Merged

VERSION: Add version file #20095

merged 1 commit into from
Nov 20, 2023

Conversation

MrKevinWeiss
Copy link
Contributor

Contribution description

...Adds the version file

Testing procedure

Issues/PRs references

@MrKevinWeiss MrKevinWeiss added CI: skip compile test If set, CI server will run only non-compile jobs, but no compile jobs or their dependent jobs CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR labels Nov 20, 2023
kaspar030
kaspar030 approved these changes Nov 20, 2023
View reviewed changes
Copy link
Contributor

@kaspar030 kaspar030 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ACK

@riot-ci
Copy link

riot-ci commented Nov 20, 2023

Murdock results

✔️ PASSED

8c0b172 VERSION: Add version file

Success Failures Total Runtime
1 0 1 54s

Artifacts

@kaspar030 kaspar030 enabled auto-merge November 20, 2023 13:51
@kaspar030 kaspar030 added this pull request to the merge queue Nov 20, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 20, 2023
@maribu maribu added this pull request to the merge queue Nov 20, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 20, 2023
@MrKevinWeiss MrKevinWeiss added this pull request to the merge queue Nov 20, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 20, 2023
@MrKevinWeiss MrKevinWeiss added this pull request to the merge queue Nov 20, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 20, 2023
@benpicco benpicco added this pull request to the merge queue Nov 20, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 20, 2023
@maribu maribu added this pull request to the merge queue Nov 20, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 20, 2023
@bergzand bergzand added this pull request to the merge queue Nov 20, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 20, 2023
@MrKevinWeiss
Copy link
Contributor Author

Now it seems like we have rust failing?

@MrKevinWeiss MrKevinWeiss added this pull request to the merge queue Nov 20, 2023
Merged via the queue into RIOT-OS:2023.10-branch with commit 648e293 Nov 20, 2023
28 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@kaspar030 kaspar030 kaspar030 approved these changes

Assignees
No one assigned
Labels
CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR CI: skip compile test If set, CI server will run only non-compile jobs, but no compile jobs or their dependent jobs
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@MrKevinWeiss @riot-ci @kaspar030