Skip to content
Linux build

Merge branch 'trace-generation' of github.com:ftsrg/theta into trace-… #798

Sign in to view logs

Merge branch 'trace-generation' of github.com:ftsrg/theta into trace-…

Merge branch 'trace-generation' of github.com:ftsrg/theta into trace-… #798

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-linux (ubuntu-latest)
2m 58s
build-linux (ubuntu-20.04)
2m 53s
build-linux (ubuntu-18.04)
1s
5m 52s