Skip to content
Deploy Extension

[Cider] rename interp to cider (#2376) #280

Sign in to view logs

[Cider] rename interp to cider (#2376)

[Cider] rename interp to cider (#2376) #280

Run time

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