Skip to content
Build and Deploy to GitHub Pages

Make bosatsu.tool package, move some items from MainModule (#1321) #159

Sign in to view logs

Make bosatsu.tool package, move some items from MainModule (#1321)

Make bosatsu.tool package, move some items from MainModule (#1321) #159

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-deploy
3m 36s
3m 36s