PR builder (sanity check, no deploy)

Update Derivative.md #86

Sign in to view logs

Triggered via pull request January 2, 2024 03:18

tdadadavid

opened #42

tdadadavid:patch-2

Status Success

Total duration 7m 29s

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.6 MB