Create devcontainer.json to enable GitHub CodeSpaces

[yvan-sraka]

Changelog

- description: |
    Add VSCode DevContainer / GitHub CodeSpaces configuration
# uncomment types applicable to the change:
  type:
  # - feature        # introduces a new feature
  # - breaking       # the API has changed in a breaking way
  # - compatible     # the API has changed but is non-breaking
  # - optimisation   # measurable performance improvements
  # - improvement    # QoL changes e.g. refactoring
  # - bugfix         # fixes a defect
  # - test           # fixes/modifies tests
  - maintenance    # not directly related to the code
  # - release        # related to a new release preparation
  # - documentation  # change in code docs, haddocks...

How to trust this PR

Checkout the branch in VSCode, then Ctrl+P "Dev Containers: Reopen in Container" (you should have the Docker daemon running on your machine), then build the project from the integrated terminal.

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• New tests are added if needed and existing tests are updated. See Running tests for more details
• Self-reviewed the diff

[github-actions]

This PR is stale because it has been open 45 days with no activity.

[palas]

FYI: Because we now enforce the use of cabal-gild to format cabal files and, in order to reduce the amount of hassle, I have cherry-picked the appropriate commit into your PR. This will make the cabal-gild CI check pass for the PR. The commit should be discarded automatically as soon as you either rebase or merge the PR (since it is already in the main branch). Feel free to discard it if you want, but that will make the new required action to fail until you rebase.

[palas]

FYI: I have rebased your branch because we have done changes to the formatting. I have made a copy of the unrebased branch here: backup/devcontainer

[github-actions]

This PR is stale because it has been open 45 days with no activity.

[github-actions]

This issue was closed because it has been stalled for 60 days with no activity.