chore: remove term from ci workflow (seems unneeded), ignore /dev/ptm… #578
| Job | Run time |
|---|---|
| 43s | |
| 28s | |
| 50s | |
| 49s | |
| 56s | |
| 1m 4s | |
| 1m 13s | |
| 1m 30s | |
| 1m 24s | |
| 2m 10s | |
| 1m 43s | |
| 1m 43s | |
| 3m 6s | |
| 1m 22s | |
| 2m 33s | |
| 21m 34s |
| Job | Run time |
|---|---|
| 43s | |
| 28s | |
| 50s | |
| 49s | |
| 56s | |
| 1m 4s | |
| 1m 13s | |
| 1m 30s | |
| 1m 24s | |
| 2m 10s | |
| 1m 43s | |
| 1m 43s | |
| 3m 6s | |
| 1m 22s | |
| 2m 33s | |
| 21m 34s |