Skip to content

Merge pull request #63 from usethesource/add-raps #196

Merge pull request #63 from usethesource/add-raps

Merge pull request #63 from usethesource/add-raps #196

Triggered via push April 28, 2025 10:40
Status Success
Total duration 11m 0s
Artifacts 1
prepare-website  /  Prepare the website sources
2m 20s
prepare-website / Prepare the website sources
Deploy the Rascal website
8m 7s
Deploy the Rascal website
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
sources Expired
18.1 MB
sha256:7f9e1d8126bfddc965fc96217c7351d14c0d1740c65876a3fbd07d3bc1171358