Add modular splitting · flintlib/flint@1d2c4aa

Triggered via pull request October 23, 2023 10:35

synchronize #1542

Status Cancelled

Total duration 2m 46s

Artifacts 1

release.yml

on: pull_request

2 errors

Canceling since a higher priority waiting request for 'Wrap releases-refs/pull/1542/merge-true' exists

The operation was canceled.

Produced during runtime

Name	Size
flint Expired	27.1 MB