Avoid the usage of xmi ids and instead use fragment ids #117
Run time
Learn about OS # on GitHub ActionsJob | Run time |
---|---|
2m 17s | |
4m 39s | |
3m 12s | |
2m 10s | |
8m 41s | |
13m 13s | |
34m 12s |
Job | Run time |
---|---|
2m 17s | |
4m 39s | |
3m 12s | |
2m 10s | |
8m 41s | |
13m 13s | |
34m 12s |