.github/workflows/deploy-docs.yml

updating submodules and js-slang version (#1676) #623

Sign in to view logs

Summary
Jobs
- deploy
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
deploy	4m 48s
	4m 48s