Skip to content

Actions: HypothesisWorks/hypothesis

Actions

Hypothesis CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
1,875 workflow runs
1,875 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #4232 from tybug/db-race Hypothesis CI #4937: Commit a1f6888 pushed by tybug
January 9, 2025 18:59 In progress master
master
January 9, 2025 18:59 In progress
Write atomically in DirectoryBasedExampleDatabase Hypothesis CI #4936: Pull request #4232 opened by tybug
January 9, 2025 06:40 16m 14s tybug:db-race
tybug:db-race
January 9, 2025 06:40 16m 14s
Use choices in generate_novel_prefix and cached_test_function_ir Hypothesis CI #4935: Pull request #4231 synchronize by tybug
January 9, 2025 05:17 14m 41s tybug:cached-tf-choices
tybug:cached-tf-choices
January 9, 2025 05:17 14m 41s
Use choices in generate_novel_prefix and cached_test_function_ir Hypothesis CI #4934: Pull request #4231 synchronize by tybug
January 9, 2025 05:08 9m 43s tybug:cached-tf-choices
tybug:cached-tf-choices
January 9, 2025 05:08 9m 43s
Merge pull request #4229 from tybug/for-choices-tests Hypothesis CI #4933: Commit 15fced3 pushed by tybug
January 9, 2025 05:00 17m 38s master
master
January 9, 2025 05:00 17m 38s
Use .for_choices instead of .for_buffer in most tests, drop ir_type from ir_value_key Hypothesis CI #4932: Pull request #4229 synchronize by tybug
January 9, 2025 04:36 5m 39s tybug:for-choices-tests
tybug:for-choices-tests
January 9, 2025 04:36 5m 39s
Merge pull request #4230 from tybug/cannot-proceed-freeze Hypothesis CI #4931: Commit 8d50dbf pushed by Zac-HD
January 8, 2025 23:43 23m 37s master
master
January 8, 2025 23:43 23m 37s
Use choices in generate_novel_prefix and cached_test_function_ir Hypothesis CI #4930: Pull request #4231 synchronize by tybug
January 8, 2025 21:18 17m 16s tybug:cached-tf-choices
tybug:cached-tf-choices
January 8, 2025 21:18 17m 16s
Use choices in generate_novel_prefix and cached_test_function_ir Hypothesis CI #4929: Pull request #4231 opened by tybug
January 8, 2025 20:27 18m 29s tybug:cached-tf-choices
tybug:cached-tf-choices
January 8, 2025 20:27 18m 29s
Freeze in BackendCannotProceed Hypothesis CI #4928: Pull request #4230 opened by tybug
January 8, 2025 18:23 20m 10s tybug:cannot-proceed-freeze
tybug:cannot-proceed-freeze
January 8, 2025 18:23 20m 10s
[experimental] Run crosshair in CI Hypothesis CI #4927: Pull request #4034 synchronize by tybug
January 8, 2025 15:43 6h 14m 49s Zac-HD:crosshair-in-ci
Zac-HD:crosshair-in-ci
January 8, 2025 15:43 6h 14m 49s
Use .for_choices instead of .for_buffer in most tests, drop ir_type from ir_value_key Hypothesis CI #4926: Pull request #4229 synchronize by tybug
January 8, 2025 15:41 25m 9s tybug:for-choices-tests
tybug:for-choices-tests
January 8, 2025 15:41 25m 9s
Use .for_choices instead of .for_buffer in most tests, drop ir_type from ir_value_key Hypothesis CI #4925: Pull request #4229 synchronize by tybug
January 8, 2025 08:04 12m 26s tybug:for-choices-tests
tybug:for-choices-tests
January 8, 2025 08:04 12m 26s
Use .for_choices instead of .for_buffer in most tests, drop ir_type from ir_value_key Hypothesis CI #4924: Pull request #4229 opened by tybug
January 8, 2025 07:51 13m 20s tybug:for-choices-tests
tybug:for-choices-tests
January 8, 2025 07:51 13m 20s
Merge pull request #4225 from tybug/pretty-typing Hypothesis CI #4923: Commit ed95240 pushed by tybug
January 8, 2025 07:21 13m 16s master
master
January 8, 2025 07:21 13m 16s
Add type hints to pretty.py and lark.py Hypothesis CI #4922: Pull request #4225 synchronize by tybug
January 8, 2025 07:01 17m 0s tybug:pretty-typing
tybug:pretty-typing
January 8, 2025 07:01 17m 0s
Merge pull request #4222 from tybug/redistribute-numeric Hypothesis CI #4921: Commit d4ed093 pushed by Zac-HD
January 8, 2025 06:05 19m 17s master
master
January 8, 2025 06:05 19m 17s
Extend redistribute_integer_pairs to floats Hypothesis CI #4920: Pull request #4222 synchronize by Zac-HD
January 8, 2025 05:48 16m 58s tybug:redistribute-numeric
tybug:redistribute-numeric
January 8, 2025 05:48 16m 58s
Extend redistribute_integer_pairs to floats Hypothesis CI #4919: Pull request #4222 synchronize by tybug
January 8, 2025 02:34 19m 51s tybug:redistribute-numeric
tybug:redistribute-numeric
January 8, 2025 02:34 19m 51s
Add type hints to pretty.py and lark.py Hypothesis CI #4918: Pull request #4225 synchronize by tybug
January 7, 2025 20:48 23m 16s tybug:pretty-typing
tybug:pretty-typing
January 7, 2025 20:48 23m 16s
Merge pull request #4223 from tybug/conjecture-typing Hypothesis CI #4917: Commit 5ae00c5 pushed by Zac-HD
January 7, 2025 04:24 16m 43s master
master
January 7, 2025 04:24 16m 43s
More type hinting, move some things to choice.py Hypothesis CI #4916: Pull request #4223 synchronize by tybug
January 7, 2025 03:37 12m 18s tybug:conjecture-typing
tybug:conjecture-typing
January 7, 2025 03:37 12m 18s
More type hinting, move some things to choice.py Hypothesis CI #4915: Pull request #4223 synchronize by tybug
January 7, 2025 03:33 4m 4s tybug:conjecture-typing
tybug:conjecture-typing
January 7, 2025 03:33 4m 4s
More type hinting, move some things to choice.py Hypothesis CI #4914: Pull request #4223 synchronize by tybug
January 7, 2025 03:23 5m 58s tybug:conjecture-typing
tybug:conjecture-typing
January 7, 2025 03:23 5m 58s
Merge pull request #4220 from tybug/reproduce-failure-tcs Hypothesis CI #4913: Commit bcdc66f pushed by tybug
January 7, 2025 01:29 12m 45s master
master
January 7, 2025 01:29 12m 45s