doc: update RELEASES for rcases using the custom Nat eliminator
#1937
| Job | Run time |
|---|---|
| 4s | |
| 4s |
rcases using the custom Nat eliminator
#1937
| Job | Run time |
|---|---|
| 4s | |
| 4s |