PR builder (sanity check, no deploy)

the last big bang release #121

Sign in to view logs

Triggered via pull request November 7, 2024 19:09

jurgenvinju

synchronize #59

chore/big-bang-release-0-40-x

Status Success

Total duration 6m 20s

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	17.9 MB