Use checked_sub/checked_div in meta/header.rs #410
Run and billable time
Learn about OS pricing on GitHub Actions| Job | Run time | Billable time |
|---|---|---|
| 7m 6s | 0s | |
| 7m 46s | 0s | |
| 12m 50s | 0s | |
| 6m 45s | 0s | |
| 6m 50s | 0s | |
| 41m 17s | 0s |
| Job | Run time | Billable time |
|---|---|---|
| 7m 6s | 0s | |
| 7m 46s | 0s | |
| 12m 50s | 0s | |
| 6m 45s | 0s | |
| 6m 50s | 0s | |
| 41m 17s | 0s |