Skip to content

Commit

Permalink
Update build-dev.yaml
Browse files Browse the repository at this point in the history
  • Loading branch information
eeholmes authored Oct 9, 2024
1 parent 3446286 commit e8a9205
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .github/workflows/build-dev.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -46,6 +46,7 @@ jobs:
# Put repo contents in /srv/repo, so they aren't mangled when we put user home in /home/jovyan
REPO_DIR: /srv/repo
# Fix man pages that are disabled by Ubuntu 18 minimal base image
APPENDIX_FILE: "appendix"
REPO2DOCKER_EXTRA_ARGS: "--debug"

# Lets us monitor disks getting full as images get bigger over time
Expand Down

0 comments on commit e8a9205

Please sign in to comment.