ci-lint

Merge pull request #129 from metanorma/feature/submodules_for_release #124

Sign in to view logs

Summary
Jobs
- Lint sources
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint sources	9s
	9s