Skip to content

Actions: rust-embedded-community/menu

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump to v0.4.0 Rust #9: Commit f006281 pushed by thejpster
November 15, 2023 21:07 14s release/v0.4.0
release/v0.4.0
November 15, 2023 21:07 14s
Merge pull request #15 from rust-embedded-community/feature/owned-menu Rust #8: Commit bcc2488 pushed by github-merge-queue bot
November 15, 2023 21:04 16s gh-readonly-queue/master/pr-15-71bbeee27625069d3b2f069cef372af5824b6e8b
gh-readonly-queue/master/pr-15-71bbeee27625069d3b2f069cef372af5824b6e8b
November 15, 2023 21:04 16s
Merge pull request #15 from rust-embedded-community/feature/owned-menu Rust #7: Commit bcc2488 pushed by github-merge-queue bot
November 15, 2023 21:04 16s master
master
November 15, 2023 21:04 16s
Taking ownership of menu in runner Rust #6: Pull request #15 synchronize by thejpster
November 15, 2023 21:03 26s feature/owned-menu
feature/owned-menu
November 15, 2023 21:03 26s
Some docs and clippy fixes. Rust #5: Commit 5194c73 pushed by thejpster
November 15, 2023 21:03 19s feature/owned-menu
feature/owned-menu
November 15, 2023 21:03 19s
Taking ownership of menu in runner Rust #4: Pull request #15 synchronize by thejpster
November 15, 2023 20:34 18s feature/owned-menu
feature/owned-menu
November 15, 2023 20:34 18s
Rename menu to menu_mgr Rust #3: Commit 214fb8d pushed by thejpster
November 15, 2023 20:34 25s feature/owned-menu
feature/owned-menu
November 15, 2023 20:34 25s
Taking ownership of menu in runner Rust #2: Pull request #15 synchronize by thejpster
November 15, 2023 20:32 20s feature/owned-menu
feature/owned-menu
November 15, 2023 20:32 20s
Add Github CI. Rust #1: Commit 2c9e0d3 pushed by thejpster
November 15, 2023 20:32 25s feature/owned-menu
feature/owned-menu
November 15, 2023 20:32 25s