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

Use rewrite-java-17 rather than rewrite-java-11 #1937

Sign in to view logs

Use rewrite-java-17 rather than rewrite-java-11

Use rewrite-java-17 rather than rewrite-java-11 #1937

Triggered via pull request September 14, 2024 16:40
@Stephan202Stephan202
opened #1330
sschroevers/rewrite-java-17
Status Success
Total duration 35s
Artifacts 1

deploy-website.yml

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

Artifacts

Produced during runtime
Name Size
github-pages Expired
976 KB