Back to pull request #986

Conv generic predicates of all items before sortck #1354

Sign in to view logs

Triggered via pull request February 4, 2025 17:56

nilehmann

opened #986

push-sznlpwrulwpy

Status Success

Total duration 2m 55s

Artifacts 1

ci.yml

on: pull_request

Artifacts

Produced during runtime

Name	Size
fixpoint	6.54 MB