Skip to content
Bump version and make master job

Fix handling of unary symbol(_) on user syntactic lists (#4036) #767

Sign in to view logs

Fix handling of unary symbol(_) on user syntactic lists (#4036)

Fix handling of unary symbol(_) on user syntactic lists (#4036) #767

Triggered via push February 29, 2024 15:02
@rv-jenkinsrv-jenkins
pushed 10745f2
develop
Status Success
Total duration 1m 4s
Artifacts –

develop.yml

on: push
Version Bump
10s
Version Bump
Performance Tests
58s
Performance Tests
Fit to window
Zoom out
Zoom in

Annotations

1 error
Performance Tests
Process completed with exit code 1.