Skip to content
Docker

Rename EMBED_GRIDS_DIRECTORY to EMBED_RESOURCE_DIRECTORY, and also embed .pol files #3252

Sign in to view logs

Rename EMBED_GRIDS_DIRECTORY to EMBED_RESOURCE_DIRECTORY, and also embed .pol files

Rename EMBED_GRIDS_DIRECTORY to EMBED_RESOURCE_DIRECTORY, and also embed .pol files #3252

Run time

Learn about OS pricing on GitHub Actions
Job Run time
proj Container
2m 31s
proj-docs Container
4m 17s
6m 48s