build & test

[WIP] Poly rewrites #568

Sign in to view logs

Triggered via pull request October 19, 2023 17:58

bollu

synchronize #104

poly_rewrites

Status Success

Total duration 9m 41s

Artifacts –

ci.yml

on: pull_request

build and test code