Merge pull request #1 from usethesource/cdt-11-4-0 · usethesource/rascal-cdt-repackaged@7130aa9

Triggered via push December 14, 2023 08:57

main

Status Success

Total duration 1m 37s

Artifacts 1

build.yaml

on: push

1 warning

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1, actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Produced during runtime

Name	Size
rascal-cdt-repackaged-main-7130aa98a5359d45b977ff8c7a77c88d4a4f4ae4 Expired	10.2 MB