Skip to content

Remove conditionals from the symbol when making the hole for concrete syntax #1105

Remove conditionals from the symbol when making the hole for concrete syntax

Remove conditionals from the symbol when making the hole for concrete syntax #1105

Triggered via pull request October 27, 2023 10:47
Status Success
Total duration 18m 43s
Artifacts 1

build.yaml

on: pull_request
Matrix: tests
Fit to window
Zoom out
Zoom in

Annotations

1 warning
tests (buildjet-4vcpu-ubuntu-2204-arm)
Codecov: Failed to properly upload: The process '/home/runner/actions-runner/_work/_actions/codecov/codecov-action/v3/dist/codecov' failed with exit code 2

Artifacts

Produced during runtime
Name Size
rascal-1878-33764178c91f3fdb3094b895aeea76ec65f50318 Expired
96 MB