[hal] Document resource destruction methods, and a few other things. #11605
Job | Run time |
---|---|
54s | |
14m 11s | |
46s | |
7m 0s | |
49s | |
7m 41s | |
7m 19s | |
1m 39s | |
6m 57s | |
42s | |
38s | |
48s | |
7m 19s | |
34s | |
7m 11s | |
14s | |
4m 46s | |
1m 14s | |
1m 53s | |
8m 22s | |
5m 42s | |
5m 48s | |
1h 32m 27s |