Publish Docs · Workflow runs · fgdorais/lean4-unicode-basic · GitHub

Actions

All workflows
Workflows
- Build Build
- Dependabot Updates Dependabot Updates
- pages-build-deployment pages-build-deployment
- Publish Docs Publish Docs
- Push to Nightly Push to Nightly
- Release Release
- Update Nightly Toolchain Update Nightly Toolchain
- Update Toolchain Update Toolchain
Management
- Caches
- Deployments

Publish Docs

Actions

Loading...
Loading

1 workflow run

1 workflow run

Publish Docs Publish Docs #4: Manually run by fgdorais

8m 38s main

main

8m 38s