PR builder (sanity check, no deploy)

Increased logo size so that it's bigger than the subtitle #85

Sign in to view logs

Triggered via pull request December 22, 2023 08:15

DavyLandman

opened #41

increase-logo-size

Status Success

Total duration 7m 31s

Artifacts 1

pr-builder.yml

on: pull_request

prepare-website / Prepare the website sources

Sanity check the Rascal website

Artifacts

Produced during runtime

Name	Size
sources Expired	24.2 MB