Skip to content

Actions: rust-lang/this-week-in-rust

Actions

Correctness Checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
checks.yml
3,490 workflow runs
3,490 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add blog post: Emjay – a simple JIT that does math Correctness Checks #8795: Pull request #6381 opened by andreabergia
February 14, 2025 16:41 20s andreabergia:andreabergia-post
andreabergia:andreabergia-post
February 14, 2025 16:41 20s
Adding Rust Trends newsletter edition 59 and blog articles Correctness Checks #8794: Pull request #6380 opened by Rust-Trends
February 14, 2025 10:44 15s Rust-Trends:master
Rust-Trends:master
February 14, 2025 10:44 15s
add "crum: Complex Numbers and Complex Matrices in Rust with Frans Slabber" Correctness Checks #8793: Pull request #6379 opened by szabgab
February 14, 2025 08:55 20s szabgab:patch-93
szabgab:patch-93
February 14, 2025 08:55 20s
add event "Creating A Mock Blockchain in Rust with Sourav Mishra" Correctness Checks #8792: Pull request #6378 opened by szabgab
February 14, 2025 08:50 16s szabgab:patch-92
szabgab:patch-92
February 14, 2025 08:50 16s
add event "Ratatui - Terminal User Interfaces in Rust" Correctness Checks #8791: Pull request #6377 opened by szabgab
February 14, 2025 06:48 17s szabgab:patch-91
szabgab:patch-91
February 14, 2025 06:48 17s
Building Integration Libraries and parsing with Winnow in Rust with Kenny Flegal Correctness Checks #8790: Pull request #6376 opened by szabgab
February 14, 2025 06:40 17s szabgab:patch-90
szabgab:patch-90
February 14, 2025 06:40 17s
Merge pull request #6373 from steckes/master Correctness Checks #8789: Commit d24d1cc pushed by bennyvasquez
February 13, 2025 17:47 18s master
master
February 13, 2025 17:47 18s
Merge pull request #6374 from tatetian/formal_verification_for_rust_os Correctness Checks #8788: Commit 7b93044 pushed by bennyvasquez
February 13, 2025 17:09 17s master
master
February 13, 2025 17:09 17s
Add derive-deftly 1.0.0 blog post Correctness Checks #8787: Pull request #6375 opened by ijackson
February 13, 2025 10:56 18s ijackson:deftly
ijackson:deftly
February 13, 2025 10:56 18s
Add blog post: Towards Practical Formal Verification for a General-Purpose OS in Rust Correctness Checks #8786: Pull request #6374 opened by tatetian
February 13, 2025 09:18 16s tatetian:formal_verification_for_rust_os
tatetian:formal_verification_for_rust_os
February 13, 2025 09:18 16s
Add "Rust in Audio: Collections" Video Correctness Checks #8785: Pull request #6373 opened by steckes
February 13, 2025 07:46 21s steckes:master
steckes:master
February 13, 2025 07:46 21s
Add Issue #39 of TER Newsletter Correctness Checks #8784: Pull request #6372 opened by theembeddedrustacean
February 13, 2025 07:01 23s theembeddedrustacean:patch-10
theembeddedrustacean:patch-10
February 13, 2025 07:01 23s
Merge pull request #6371 from rust-lang/publishing_586 Correctness Checks #8783: Commit cb60dcc pushed by bennyvasquez
February 13, 2025 04:04 16s master
master
February 13, 2025 04:04 16s
publishing this week's issue Correctness Checks #8782: Pull request #6371 opened by bennyvasquez
February 13, 2025 04:04 17s publishing_586
publishing_586
February 13, 2025 04:04 17s
publishing this week's issue Correctness Checks #8781: Commit 156b9fd pushed by bennyvasquez
February 13, 2025 04:03 19s publishing_586
publishing_586
February 13, 2025 04:03 19s
Merge pull request #6368 from ericseppanen/community-586 Correctness Checks #8780: Commit f660a15 pushed by bennyvasquez
February 13, 2025 03:47 13s master
master
February 13, 2025 03:47 13s
community links for issue 586 Correctness Checks #8779: Pull request #6368 synchronize by bennyvasquez
February 13, 2025 03:47 15s ericseppanen:community-586
ericseppanen:community-586
February 13, 2025 03:47 15s
community links for issue 586 Correctness Checks #8778: Pull request #6368 synchronize by bennyvasquez
February 13, 2025 03:45 18s ericseppanen:community-586
ericseppanen:community-586
February 13, 2025 03:45 18s
Merge pull request #6367 from drewcapener/jan25-jobs-report Correctness Checks #8777: Commit 17d3e9f pushed by bennyvasquez
February 13, 2025 03:45 14s master
master
February 13, 2025 03:45 14s
Merge pull request #6366 from tyt2y3/master Correctness Checks #8776: Commit 9c74e2c pushed by bennyvasquez
February 13, 2025 03:44 19s master
master
February 13, 2025 03:44 19s
Merge pull request #6365 from njskalski/gladius_beta_release_announce… Correctness Checks #8775: Commit b7efee2 pushed by bennyvasquez
February 13, 2025 03:43 19s master
master
February 13, 2025 03:43 19s
Add Gladius 0.2 release announcement Correctness Checks #8774: Pull request #6365 synchronize by bennyvasquez
February 13, 2025 03:42 15s njskalski:gladius_beta_release_announcement
njskalski:gladius_beta_release_announcement
February 13, 2025 03:42 15s
Merge pull request #6364 from llogiq/twir-586 Correctness Checks #8773: Commit 57e79c5 pushed by bennyvasquez
February 13, 2025 03:41 15s master
master
February 13, 2025 03:41 15s
Merge pull request #6363 from rust-lang/perf Correctness Checks #8772: Commit 0d83b88 pushed by bennyvasquez
February 13, 2025 03:41 18s master
master
February 13, 2025 03:41 18s
Merge pull request #6361 from U007D/master Correctness Checks #8771: Commit 1ff0448 pushed by bennyvasquez
February 13, 2025 03:40 16s master
master
February 13, 2025 03:40 16s