add copyright and license headers to various files #1293
Job | Run time |
---|---|
28s | |
3m 8s | |
2m 12s | |
9m 56s | |
44m 32s | |
34m 40s | |
1h 15m 41s | |
26m 57s | |
8s | |
3h 17m 42s |
Job | Run time |
---|---|
28s | |
3m 8s | |
2m 12s | |
9m 56s | |
44m 32s | |
34m 40s | |
1h 15m 41s | |
26m 57s | |
8s | |
3h 17m 42s |