Skip to content

Actions: camshaft/bolero

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
140 workflow runs
140 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

replace with_iterations with with_test_time ci #452: Pull request #206 synchronize by Ekleog
February 25, 2024 04:57 27m 4s Ekleog:with-test-time
Ekleog:with-test-time
February 25, 2024 04:57 27m 4s
replace with_iterations with with_test_time ci #451: Pull request #206 synchronize by Ekleog
February 25, 2024 04:53 28m 37s Ekleog:with-test-time
Ekleog:with-test-time
February 25, 2024 04:53 28m 37s
replace with_iterations with with_test_time ci #450: Pull request #206 synchronize by Ekleog
February 25, 2024 04:50 18m 11s Ekleog:with-test-time
Ekleog:with-test-time
February 25, 2024 04:50 18m 11s
replace with_iterations with with_test_time ci #449: Pull request #206 opened by Ekleog
February 24, 2024 02:40 18m 36s Ekleog:with-test-time
Ekleog:with-test-time
February 24, 2024 02:40 18m 36s
fix(bolero-generator): avoid infinite loop with invalid objects (#205) ci #448: Commit a9dc986 pushed by camshaft
February 21, 2024 00:21 34m 52s master
master
February 21, 2024 00:21 34m 52s
avoid infinite loop with invalid objects ci #447: Pull request #205 opened by Ekleog
February 20, 2024 23:41 26m 8s Ekleog:avoid-infinite-loop
Ekleog:avoid-infinite-loop
February 20, 2024 23:41 26m 8s
allow bolero tests to run on wasm32-unknown-unknown ci #446: Pull request #204 opened by Ekleog
January 19, 2024 15:55 19m 49s Ekleog:test-on-wasm32
Ekleog:test-on-wasm32
January 19, 2024 15:55 19m 49s
fix: actually limit the time taken to shrink (#202) ci #445: Commit c5edc8e pushed by camshaft
January 13, 2024 00:51 28m 15s master
master
January 13, 2024 00:51 28m 15s
fix: actually limit the time taken to shrink ci #444: Pull request #202 opened by Ekleog
January 12, 2024 17:00 11m 23s Ekleog:actually-limit-shrink-time
Ekleog:actually-limit-shrink-time
January 12, 2024 17:00 11m 23s
build(deps): bump model-checking/kani-github-action from 1.0 to 1.1 (… ci #443: Commit 62577a6 pushed by camshaft
January 11, 2024 00:10 28m 55s master
master
January 11, 2024 00:10 28m 55s
build(deps): bump model-checking/kani-github-action from 1.0 to 1.1 ci #442: Pull request #201 opened by dependabot bot
January 11, 2024 00:08 23m 23s dependabot/github_actions/model-checking/kani-github-action-1.1
dependabot/github_actions/model-checking/kani-github-action-1.1
January 11, 2024 00:08 23m 23s
chore(bolero-generator): release 0.10.1 ci #441: Commit 8ec25da pushed by camshaft
December 23, 2023 00:17 16m 28s master
master
December 23, 2023 00:17 16m 28s
fix: use exclusive modulus for uniform samples (#200) ci #440: Commit 488a3ea pushed by camshaft
December 22, 2023 23:42 19m 59s master
master
December 22, 2023 23:42 19m 59s
fix: use exclusive modulus for uniform samples ci #439: Pull request #200 synchronize by camshaft
December 22, 2023 23:07 20m 29s exclusive-mod
exclusive-mod
December 22, 2023 23:07 20m 29s
fix: use exclusive modulus for uniform samples ci #438: Pull request #200 opened by camshaft
December 22, 2023 23:03 7m 33s exclusive-mod
exclusive-mod
December 22, 2023 23:03 7m 33s