search

usethesource / rascal-website

The rascal website hosts the Rascal project, all of its documentation, the news and the presentation of (third-party) libraries and projects written in Rascal.
1 stars 11 forks source link

Update Github Actions to JDK17 #40

Closed JJWTimmer closed 4 months ago

JJWTimmer commented 10 months ago

As part of the effort on https://github.com/usethesource/usethesource.github.io/issues/27 Updated the action to use JDK17 for documentation building.