continuous integration

Use `bif` instead #161634

Sign in to view logs

Triggered via push February 2, 2025 05:47

equiv-bool-rec

Status Success

Total duration 45m 52s

Artifacts 1

build.yml

on: push

Artifacts

Produced during runtime

Name	Size
import-graph Expired	194 KB