Skip to content
Wrap releases

Reject GAP function definitions containing huge list or record expressions (millions of entries) instead of silently discarding part of the data #4105

Sign in to view logs

Reject GAP function definitions containing huge list or record expressions (millions of entries) instead of silently discarding part of the data

Reject GAP function definitions containing huge list or record expressions (millions of entries) instead of silently discarding part of the data #4105

Triggered via pull request September 23, 2023 09:48
@ChrisJeffersonChrisJefferson
opened #5509
ChrisJefferson:HugeFunction
Status Cancelled
Total duration 1m 32s
Artifacts –

release.yml

on: pull_request
Create Unix archives and data
1m 22s
Create Unix archives and data
Create Windows x86_64 installer
0s
Create Windows x86_64 installer
Send Slack notification on status change
0s
Send Slack notification on status change
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Create Unix archives and data
Canceling since a higher priority waiting request for 'Wrap releases-refs/pull/5509/merge-true' exists
Create Unix archives and data
The operation was canceled.