Skip to content
Bootstrap

Fix merge mistakes -- TODO: amend to the appropriate commits instead #25

Sign in to view logs

Fix merge mistakes -- TODO: amend to the appropriate commits instead

Fix merge mistakes -- TODO: amend to the appropriate commits instead #25

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-20.04)
30s
30s