Skip to content
Deploy Jekyll site to Pages

Chore: Not generate boogie translation if not verifying (#6067) #476

Sign in to view logs

Chore: Not generate boogie translation if not verifying (#6067)

Chore: Not generate boogie translation if not verifying (#6067) #476

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
13s
deploy
7s
20s