Skip to content
continuous integration

sofia helped me out in my first attempt at some Lean coding :) #41

Sign in to view logs

sofia helped me out in my first attempt at some Lean coding :)

sofia helped me out in my first attempt at some Lean coding :) #41

Run time

Learn about OS pricing on GitHub Actions
Job Run time
publish to docker hub
3m 37s
3m 37s