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

Fix CODESPACE_TOKEN: unbound variable #152

Merged
merged 1 commit into from
Apr 13, 2024
Merged

Fix CODESPACE_TOKEN: unbound variable #152

merged 1 commit into from
Apr 13, 2024

Conversation

yvan-sraka
Copy link
Contributor

Revision (input-output-hk/devx): 0a5cefb55c8c41cbc6119370dfdb8d8f78832633. /nix/store/2nigzj6x6d0qkzqvvyf5604g0581r8z6-ghc810-env.sh: line 1937: CODESPACE_TOKEN: unbound variable CABAL_DIR set to /Users/runner/.cabal-devx

Notice: Hint: to reproduce this environment locally, use either: `nix develop github:input-output-hk/devx#ghc8107`, or `docker run -it -v $(pwd):/workspaces ghcr.io/input-output-hk/devx-devcontainer:x86_64-linux.ghc8107`

@yvan-sraka yvan-sraka requested a review from angerman April 13, 2024 12:48
@yvan-sraka yvan-sraka self-assigned this Apr 13, 2024
Copy link
Collaborator

@angerman angerman left a comment

Choose a reason for hiding this comment

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

Let's see :-)

@yvan-sraka yvan-sraka force-pushed the fix-devx-shell branch 6 times, most recently from f907484 to e316bb5 Compare April 13, 2024 13:32
Revision (input-output-hk/devx): 0a5cefb.
/nix/store/2nigzj6x6d0qkzqvvyf5604g0581r8z6-ghc810-env.sh: line 1937: CODESPACE_TOKEN: unbound variable
CABAL_DIR set to /Users/runner/.cabal-devx

Notice: Hint: to reproduce this environment locally, use either: `nix develop github:input-output-hk/devx#ghc8107`, or `docker run -it -v $(pwd):/workspaces ghcr.io/input-output-hk/devx-devcontainer:x86_64-linux.ghc8107`
@yvan-sraka yvan-sraka added this pull request to the merge queue Apr 13, 2024
Merged via the queue into main with commit 82eb2a0 Apr 13, 2024
12 of 60 checks passed
@yvan-sraka yvan-sraka deleted the fix-devx-shell branch April 13, 2024 15:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants