Skip to content
Update `error-prone.picnic.tech` website content

Require JDK 17 rather than JDK 11 #681

Sign in to view logs

Require JDK 17 rather than JDK 11

Require JDK 17 rather than JDK 11 #681

Triggered via pull request February 11, 2024 15:45
@Stephan202Stephan202
synchronize #603
sschroevers/require-jdk-17
Status Success
Total duration 23s
Artifacts 1

deploy-website.yml

on: pull_request
build
11s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
976 KB