PR builder (sanity check, no deploy)

Packages-and-devcontainers #101

Sign in to view logs

Triggered via pull request June 16, 2024 21:06

JJWTimmer

synchronize #54

packages-and-devcontainers

Status Success

Total duration 7m 0s

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