github-starred/awesome-embedded-rust
2
0
Fork 0
mirror of https://github.com/rust-embedded/awesome-embedded-rust.git synced 2026-03-09 07:12:05 -05:00
Code Issues 6 Packages Projects Releases Wiki Activity

[PR #154] [MERGED] set up CI #176

New Issue
Closed
opened 2025-11-06 08:20:11 -06:00 by GiteaMirror · 0 comments
GiteaMirror commented 2025-11-06 08:20:11 -06:00
Owner
Copy Link

📋 Pull Request Information

Original PR: https://github.com/rust-embedded/awesome-embedded-rust/pull/154
Author: @japaric
Created: 3/6/2019
Status: ✅ Merged
Merged: 3/7/2019
Merged by: @berkus

Base: master ← Head: ci

📝 Commits (1)

📊 Changes

2 files changed (+14 additions, -0 deletions)

View changed files

📝 .github/bors.toml (+0 -0)
➕ .travis.yml (+14 -0)

📄 Description

this sets up a CI that always passes so we can use bors in this repository

It would be best if the CI ran a markdown checker. If someone is interested they
can send a follow-up PR

note that using bors will not be mandatory (it's not checking anything!) so
you can continue merging PRs manually

🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/rust-embedded/awesome-embedded-rust/pull/154 **Author:** [@japaric](https://github.com/japaric) **Created:** 3/6/2019 **Status:** ✅ Merged **Merged:** 3/7/2019 **Merged by:** [@berkus](https://github.com/berkus) **Base:** `master` ← **Head:** `ci` --- ### 📝 Commits (1) - [`3303377`](https://github.com/rust-embedded/awesome-embedded-rust/commit/330337743e41447392fec9c06af9a5de35c525e0) set up CI ### 📊 Changes **2 files changed** (+14 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `.github/bors.toml` (+0 -0) ➕ `.travis.yml` (+14 -0) </details> ### 📄 Description this sets up a CI that always passes so we can use bors in this repository It would be best if the CI ran a markdown checker. If someone is interested they can send a follow-up PR note that using bors will *not* be mandatory (it's not checking anything!) so you can continue merging PRs manually --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
GiteaMirror added the pull-request label 2025-11-06 08:20:11 -06:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
bug
C-enhancement
enhancement
help wanted
On hold
pull-request
Mirrored from GitHub Pull Request
 question
T-resources
No Label pull-request
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
GiteaMirror ninjasurge
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/awesome-embedded-rust#176
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?