Skip to content

Actions: proptest-rs/proptest

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
295 workflow runs
295 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update message-io requirement from 0.17.0 to 0.18.0 Rust #311: Pull request #384 opened by dependabot bot
October 16, 2023 01:11 13m 49s dependabot/cargo/message-io-0.18.0
dependabot/cargo/message-io-0.18.0
October 16, 2023 01:11 13m 49s
Update message-io requirement from 0.17.0 to 0.18.0 Rust #310: Commit 7ca3897 pushed by dependabot bot
October 16, 2023 01:11 10m 23s dependabot/cargo/message-io-0.18.0
dependabot/cargo/message-io-0.18.0
October 16, 2023 01:11 10m 23s
Update compiletest_rs requirement from 0.9 to 0.10 Rust #309: Pull request #383 opened by dependabot bot
October 16, 2023 01:11 10m 39s dependabot/cargo/compiletest_rs-0.10
dependabot/cargo/compiletest_rs-0.10
October 16, 2023 01:11 10m 39s
Update compiletest_rs requirement from 0.9 to 0.10 Rust #308: Commit 2af5c8b pushed by dependabot bot
October 16, 2023 01:11 10m 15s dependabot/cargo/compiletest_rs-0.10
dependabot/cargo/compiletest_rs-0.10
October 16, 2023 01:11 10m 15s
Enable Dependabot (#380) Rust #307: Commit 539bd55 pushed by matthew-russo
October 16, 2023 01:03 12m 10s master
master
October 16, 2023 01:03 12m 10s
chore(.github/workflows): fix typo (#250) Rust #306: Commit c22f2c6 pushed by matthew-russo
October 14, 2023 23:20 10m 23s master
master
October 14, 2023 23:20 10m 23s
Build : updates MSRV to 1.65 and update CI to use rust 1.65 (#382) Rust #305: Commit afc7c7c pushed by matthew-russo
October 14, 2023 23:07 10m 23s master
master
October 14, 2023 23:07 10m 23s
Build : updates MSRV to 1.65 and update CI to use rust 1.65 Rust #304: Pull request #382 opened by matthew-russo
October 14, 2023 18:46 13m 26s matthew-russo:master
matthew-russo:master
October 14, 2023 18:46 13m 26s
Depend on regex-syntax 0.7 or 0.8 Rust #303: Pull request #381 opened by sjackman
October 12, 2023 17:12 4m 21s sjackman:sj/regex
sjackman:sj/regex
October 12, 2023 17:12 4m 21s
Enable Dependabot Rust #302: Pull request #380 opened by sjackman
October 12, 2023 16:58 5m 23s sjackman:sj/dependabot
sjackman:sj/dependabot
October 12, 2023 16:58 5m 23s
Fix prop_state_machine cannot find value config Rust #301: Pull request #377 opened by sameer
October 9, 2023 21:47 4m 35s sameer:master
sameer:master
October 9, 2023 21:47 4m 35s
Follow new lint rule in macro generation (#376) Rust #300: Commit bf55628 pushed by matthew-russo
October 7, 2023 01:28 12m 40s master
master
October 7, 2023 01:28 12m 40s
Follow new lint rule in macro generation Rust #299: Pull request #376 opened by hamiltop
October 5, 2023 23:23 15m 11s hamiltop:avoid_ignored_unit_patterns_lint
hamiltop:avoid_ignored_unit_patterns_lint
October 5, 2023 23:23 15m 11s
[Release] 1.3.1 -- fix for incompatible bit-set/bit-vec versions (#375) Rust #298: Commit 0b4ffe8 pushed by matthew-russo
October 1, 2023 19:33 15m 36s v1.3.1
v1.3.1
October 1, 2023 19:33 15m 36s
[Release] 1.3.1 -- fix for incompatible bit-set/bit-vec versions (#375) Rust #297: Commit 0b4ffe8 pushed by matthew-russo
October 1, 2023 19:32 12m 35s master
master
October 1, 2023 19:32 12m 35s
[Release] 1.3.1 -- fix for incompatible bit-set/bit-vec versions Rust #296: Pull request #375 opened by matthew-russo
October 1, 2023 17:12 13m 2s matthew-russo:master
matthew-russo:master
October 1, 2023 17:12 13m 2s
[Release] 1.3.0 (#373) Rust #295: Commit 99bdf24 pushed by matthew-russo
September 30, 2023 20:59 12m 28s v1.3.0
v1.3.0
September 30, 2023 20:59 12m 28s
[Release] 1.3.0 (#373) Rust #294: Commit 99bdf24 pushed by matthew-russo
September 30, 2023 20:55 14m 23s master
master
September 30, 2023 20:55 14m 23s
[Release] 1.3.0 Rust #293: Pull request #373 opened by matthew-russo
September 30, 2023 01:36 12m 33s matthew-russo:master
matthew-russo:master
September 30, 2023 01:36 12m 33s
Merge pull request #357 from tzemanovic/tomas/clear-break-dead-code Rust #292: Commit 7bfc889 pushed by rex-remind101
September 28, 2023 21:47 12m 46s master
master
September 28, 2023 21:47 12m 46s
ProTip! You can narrow down the results and go further in time using created:<2023-09-28 or the other filters available.