Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Docker config #83

Merged
merged 27 commits into from
Nov 17, 2023
Merged

Docker config #83

merged 27 commits into from
Nov 17, 2023

Conversation

griff-rees
Copy link
Collaborator

@griff-rees griff-rees commented Nov 9, 2023

Basic docker config to build

  • A jupyter notebook that replicates the linux server configuration, including a (currently commented out) local mount of vmfileshare as the same path as the linux configuration`
  • A automated local build of quarto documentation
  • Documentation of configuration in docs/contributing.md
  • Continuous Integration (including checking but not rendering documentation for hosting on GitHub)

@griff-rees griff-rees mentioned this pull request Nov 9, 2023
3 tasks
@griff-rees griff-rees linked an issue Nov 9, 2023 that may be closed by this pull request
3 tasks
Copy link

Check out this pull request on  ReviewNB

See visual diffs & provide feedback on Jupyter Notebooks.


Powered by ReviewNB

@griff-rees griff-rees self-assigned this Nov 16, 2023
@griff-rees griff-rees added documentation Improvements or additions to documentation enhancement New feature or request python python code labels Nov 16, 2023
@griff-rees griff-rees added this to the 10 Nov - 23 Nov milestone Nov 16, 2023
@griff-rees griff-rees linked an issue Nov 16, 2023 that may be closed by this pull request
4 tasks
Copy link
Collaborator

@gmingas gmingas left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good! And thanks for bringing all this together.

@griff-rees griff-rees merged commit a772f71 into main Nov 17, 2023
6 checks passed
@griff-rees griff-rees deleted the docker-config branch November 17, 2023 13:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation enhancement New feature or request python python code
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Continuous integration docker continuous integration
3 participants