search

typelevel / jdk-index

A Jabba compatible index of JDK versions
Apache License 2.0
14 stars 5 forks source link

Deploy index to gh-pages? #95

Open armanbilge opened 2 years ago

armanbilge commented 2 years ago

I noticed in the CI logs there's some rate-limiting. I wonder if hosting the index as a static site would help avoid that.

vasilmkd commented 2 years ago

It seems that there are even stricter rate limits in place, the past couple of days. How would a move to gh-pages look like? Can it be handled by sbt-typelevel?

armanbilge commented 2 years ago

I think what we need to do is:

  1. in the settings page, enable GitHub pages on the main branch (not gh-pages) and point it at the index folder. This should be backwards-compatible.
  2. point download-java at the new location
armanbilge commented 2 years ago

That's annoying, seems that only / or docs/ are supported. Using / should be fine I guess.

Screen Shot 2022-04-21 at 15 24 08
armanbilge commented 1 year ago

@vasilmkd I'm seeing some weird issues, maybe we can give this a try?

``` Run JDK_URL=$(curl -L https://raw.githubusercontent.com/typelevel/jdk-index/main/index/Linux/X64/temurin/17/jdk) JDK_URL=$(curl -L https://raw.githubusercontent.com/typelevel/jdk-index/main/index/Linux/X64/temurin/17/jdk) JDK_FILE="/home/runner/work/_temp/$(basename $JDK_URL)" echo "jdkUrl=$JDK_URL" >> $GITHUB_OUTPUT echo "jdkFile=$JDK_FILE" >> $GITHUB_OUTPUT shell: /usr/bin/bash --noprofile --norc -e -o pipefail {0} env: PGP_PASSPHRASE: SONATYPE_PASSWORD: *** SONATYPE_CREDENTIAL_HOST: SONATYPE_USERNAME: *** PGP_SECRET: *** GITHUB_TOKEN: *** % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 curl: (60) SSL certificate problem: certificate has expired More details here: https://curl.se/docs/sslcerts.html curl failed to verify the legitimacy of the server and therefore could not establish a secure connection to it. To learn more about this situation and how to fix it, please visit the web page mentioned above. ```
vasilmkd commented 1 year ago

I heard that today GitHub changed their ssh keys. Could the issues be related to that?

armanbilge commented 1 year ago

Oh, possibly. But still, I wonder if this would be a useful thing to do :) the keys for static site hosting might be managed independently.