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.

Sign up for GitHub

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

Jump to bottom

brew install pandoc github issue failure #3765

Closed
stefan-aws opened this issue Mar 20, 2023 · 1 comment · Fixed by #3764 or #3776
Closed

brew install pandoc github issue failure #3765

stefan-aws opened this issue Mar 20, 2023 · 1 comment · Fixed by #3764 or #3776
Assignees
@stefan-aws
Labels
difficulty: easy Issues that should take a few days at most to fix github_actions Pull requests that update GitHub Actions code kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label

Comments

@stefan-aws
Copy link
Collaborator

stefan-aws commented Mar 20, 2023 •
edited
Loading

Dafny version

4.0.0

Code to produce this issue

Run brew install pandoc

Command to run and resulting output

brew install pandoc
  brew install --cask basictex
  eval "$(/usr/libexec/path_helper)"
  sudo tlmgr update --self
  sudo tlmgr install framed tcolorbox environ trimspaces unicode-math
  pandoc -v
  which latex || echo NOT FOUND latex
  which xelatex || echo NOT FOUND xelatex
  sudo gem install rouge -v 3.30.0
  shell: /bin/bash -e {0}
  env:
    DOTNET_ROOT: /Users/runner/.dotnet
==> Fetching pandoc
==> Downloading https://ghcr.io/v2/homebrew/core/pandoc/manifests/3.1
==> Downloading https://ghcr.io/v2/homebrew/core/pandoc/blobs/sha256:fff25a6f5ada0fd9b18859730b23cb3edfefc01cdc9a6483c726771932084f5d
==> Downloading from https://pkg-containers.githubusercontent.com/ghcr1/blobs/sha256:fff25a6f5ada0fd9b18859730b23cb3edfefc01cdc9a6483c726771932084f5d?se=2023-03-20T18%3A10%3A00Z&sig=y7BOlMP7lb4Yh2eU0%2F5nKs1qXokdIh83x0gRLha24tA%3D&sp=r&spr=https&sr=b&sv=2019-12-12
==> Pouring pandoc--3.1.monterey.bottle.tar.gz
==> Caveats
Bash completion has been installed to:
  /usr/local/etc/bash_completion.d
==> Summary
🍺  /usr/local/Cellar/pandoc/3.1: 10 files, 150.7MB
==> Running `brew cleanup pandoc`...
Disable this behaviour by setting HOMEBREW_NO_INSTALL_CLEANUP.
Hide these hints with HOMEBREW_NO_ENV_HINTS (see `man brew`).
==> Caveats
You must restart your terminal window for the installation of MacTex CLI tools to take effect.
Alternatively, Bash and Zsh users can run the command:

  eval "$(/usr/libexec/path_helper)"

==> Downloading https://mirror.ctan.org/systems/mac/mactex/mactex-basictex-20220314.pkg
==> Downloading from https://ctan.math.utah.edu/ctan/tex-archive/systems/mac/mactex/mactex-basictex-20220314.pkg
curl: (22) The requested URL returned error: 404
Error: Download failed on Cask 'basictex' with message: Download failed: https://mirror.ctan.org/systems/mac/mactex/mactex-basictex-20220314.pkg
Error: Process completed with exit code 1.

What happened?

brew install pandoc github action tries to download https://mirror.ctan.org/systems/mac/mactex/mactex-basictex-20220314.pkg which throws a 404:

https://github.com/dafny-lang/dafny/actions/runs/4471353584/jobs/7856137115?pr=3762

Wrong version 2022.0314 (instead of 2023.0314) is hard-coded here: https://github.com/Homebrew/homebrew-cask/blob/master/Casks/basictex.rb

What type of operating system are you experiencing the problem on?

Mac
@stefan-aws stefan-aws added the kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label label Mar 20, 2023
@stefan-aws stefan-aws linked a pull request Mar 20, 2023 that will close this issue
fix brew install pandoc github action #3764
Merged
@stefan-aws stefan-aws added github_actions Pull requests that update GitHub Actions code difficulty: easy Issues that should take a few days at most to fix labels Mar 20, 2023
@stefan-aws stefan-aws self-assigned this Mar 20, 2023
@stefan-aws stefan-aws mentioned this issue Mar 20, 2023
Merged
@stefan-aws
Copy link
Collaborator Author

stefan-aws commented Mar 20, 2023 •
edited
Loading

We'll have to wait for the fix to get merged, see e.g.

Homebrew/homebrew-cask#143410

@stefan-aws stefan-aws mentioned this issue Mar 20, 2023
Merged
@stefan-aws stefan-aws linked a pull request Mar 21, 2023 that will close this issue
Suspending nightly build of pdf until brew is fixed for pandoc #3776
Merged
stefan-aws added a commit that referenced this issue Mar 21, 2023
@stefan-aws
fix brew install pandoc github action (#3764)
32af8bd 
Fixes #3765 

Caused by wrong-version 2022.0314 (instead of 2023.0314) hardcoded in:
https://github.com/Homebrew/homebrew-cask/blob/master/Casks/basictex.rb

<!-- Is this a user-visible change? Remember to update RELEASE_NOTES.md
-->

<!-- Is this a bug fix? Remember to include a test in Test/git-issues/
-->

<!-- Is this a bug fix for an issue introduced in the latest release?
Mention this in the PR details and ensure a patch release is considered
-->

<!-- Does this PR need tests? Add them to `Test/` or to
`Source/*.Test/…` and run them with `dotnet test` -->

<!-- Are you moving a large amount of code? Read CONTRIBUTING.md to
learn how to do that while maintaining git history -->

<small>By submitting this pull request, I confirm that my contribution
is made under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@stefan-aws stefan-aws

Labels
difficulty: easy Issues that should take a few days at most to fix github_actions Pull requests that update GitHub Actions code kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
Projects
None yet
Milestone
No milestone
1 participant
@stefan-aws