[except.terminate] Better describe the function terminate
#7720
Run time
Learn about OS # on GitHub Actions| Job | Run time |
|---|---|
| 7m 31s | |
| 16m 39s | |
| 24m 10s |
terminate
#7720
| Job | Run time |
|---|---|
| 7m 31s | |
| 16m 39s | |
| 24m 10s |