switch GarageDoor to LeakageSemantics #4745
Run time
Learn about OS # on GitHub Actions| Job | Run time |
|---|---|
| 3h 16m 34s | |
| 2h 1m 40s | |
| 12s | |
| 15s | |
| 19s | |
| 13s | |
| 12s | |
| 15s | |
| 11s | |
| 15s | |
| 16s | |
| 14s | |
| 11s | |
| 12s | |
| 1s | |
| 5h 21m 0s |
| Job | Run time |
|---|---|
| 3h 16m 34s | |
| 2h 1m 40s | |
| 12s | |
| 15s | |
| 19s | |
| 13s | |
| 12s | |
| 15s | |
| 11s | |
| 15s | |
| 16s | |
| 14s | |
| 11s | |
| 12s | |
| 1s | |
| 5h 21m 0s |