Skip to content

Actions: rust-embedded/critical-section

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
126 workflow runs
126 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #56 from rust-embedded/nonsendsync
Test #102: Commit ed0f84c pushed by github-merge-queue bot
October 16, 2024 11:57 21s main
October 16, 2024 11:57 21s
Merge pull request #56 from rust-embedded/nonsendsync
Code formatting check #114: Commit ed0f84c pushed by github-merge-queue bot
October 16, 2024 11:57 12s main
October 16, 2024 11:57 12s
Merge pull request #56 from rust-embedded/nonsendsync
Clippy check #114: Commit ed0f84c pushed by github-merge-queue bot
October 16, 2024 11:57 26s main
October 16, 2024 11:57 26s
Test
Test #101: Merge group checks requested
October 16, 2024 11:56 24s
October 16, 2024 11:56 24s
Clippy check
Clippy check #113: Merge group checks requested
October 16, 2024 11:56 21s
October 16, 2024 11:56 21s
Code formatting check
Code formatting check #113: Merge group checks requested
October 16, 2024 11:56 13s
October 16, 2024 11:56 13s
Fix #55, release v1.2.0.
Test #100: Pull request #56 synchronize by Dirbaio
October 16, 2024 10:57 22s nonsendsync
October 16, 2024 10:57 22s
Fix #55, release v1.2.0.
Clippy check #112: Pull request #56 synchronize by Dirbaio
October 16, 2024 10:57 22s nonsendsync
October 16, 2024 10:57 22s
Fix #55, release v1.2.0.
Code formatting check #112: Pull request #56 synchronize by Dirbaio
October 16, 2024 10:57 14s nonsendsync
October 16, 2024 10:57 14s
October 16, 2024 10:53 22s
Merge pull request #54 from jannic/document-unsafecell-in-mutex
Clippy check #111: Commit 91e8b9e pushed by github-merge-queue bot
October 16, 2024 10:53 19s main
October 16, 2024 10:53 19s
Merge pull request #54 from jannic/document-unsafecell-in-mutex
Code formatting check #111: Commit 91e8b9e pushed by github-merge-queue bot
October 16, 2024 10:53 11s main
October 16, 2024 10:53 11s
Test
Test #98: Merge group checks requested
October 16, 2024 10:53 19s
October 16, 2024 10:53 19s
Code formatting check
Code formatting check #110: Merge group checks requested
October 16, 2024 10:53 14s
October 16, 2024 10:53 14s
Clippy check
Clippy check #110: Merge group checks requested
October 16, 2024 10:53 18s
October 16, 2024 10:53 18s
Merge pull request #46 from Catamantaloedis/miri_fix
Test #97: Commit a5f0c36 pushed by github-merge-queue bot
October 16, 2024 10:53 22s main
October 16, 2024 10:53 22s
Merge pull request #46 from Catamantaloedis/miri_fix
Code formatting check #109: Commit a5f0c36 pushed by github-merge-queue bot
October 16, 2024 10:53 13s main
October 16, 2024 10:53 13s
Merge pull request #46 from Catamantaloedis/miri_fix
Clippy check #109: Commit a5f0c36 pushed by github-merge-queue bot
October 16, 2024 10:53 22s main
October 16, 2024 10:53 22s
Test
Test #96: Merge group checks requested
October 16, 2024 10:52 19s
October 16, 2024 10:52 19s
Clippy check
Clippy check #108: Merge group checks requested
October 16, 2024 10:52 23s
October 16, 2024 10:52 23s
Code formatting check
Code formatting check #108: Merge group checks requested
October 16, 2024 10:52 11s
October 16, 2024 10:52 11s
Mitigate Miri violation
Code formatting check #107: Pull request #46 synchronize by Dirbaio
October 16, 2024 10:51 17s Catamantaloedis:miri_fix
October 16, 2024 10:51 17s
Mitigate Miri violation
Test #95: Pull request #46 synchronize by Dirbaio
October 16, 2024 10:51 22s Catamantaloedis:miri_fix
October 16, 2024 10:51 22s
Mitigate Miri violation
Clippy check #107: Pull request #46 synchronize by Dirbaio
October 16, 2024 10:51 22s Catamantaloedis:miri_fix
October 16, 2024 10:51 22s
Merge pull request #50 from chrysn-pull-requests/fix-usize
Test #94: Commit ce50ebb pushed by github-merge-queue bot
October 16, 2024 10:45 20s main
October 16, 2024 10:45 20s