Skip to content

Actions: josefs/Gradualizer

Actions

Property based tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proptests.yml
13 workflow runs
13 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add bounded type and more constraint solving Property based tests #500: Commit 23533d7 pushed by josefs
25s master
master
25s
Tuple of unions support Property based tests #499: Commit 349c770 pushed by josefs
33s master
master
33s
Adding more known types to the Gradualizer spec database Property based tests #498: Commit f017ddc pushed by josefs
27s master
master
27s
Fix version bounds on some new tests Property based tests #497: Commit 5fc4e8c pushed by josefs
28s master
master
28s
Make sure to install rebar3 when running property-based tests Property based tests #496: Commit bf6e67f pushed by josefs
28s master
master
28s
Fix new tests for earlier OTP versions Property based tests #495: Commit 54331b6 pushed by josefs
14s master
master
14s
Update GitHub workflows to latest checkout action Property based tests #494: Commit 8b836a3 pushed by josefs
17s master
master
17s
Fix errors in GitHub action workflows Property based tests #493: Commit c534888 pushed by josefs
12s master
master
12s
Update GitHub actions so that they work Property based tests #492: Commit 205e00b pushed by josefs
Failure master
master
Failure
Implement better support for maybe blocks Property based tests #491: Commit cf89318 pushed by josefs
Failure master
master
Failure
Add support for zip generators Property based tests #490: Commit 9734788 pushed by josefs
Failure master
master
Failure
A bunch of code simplifications. Noops. Property based tests #489: Commit e22c090 pushed by josefs
Failure master
master
Failure
Support calling variables with union of function types Property based tests #488: Commit c8f7375 pushed by josefs
Failure master
master
Failure