comp_simp -> comp_simplify #1867

Sign in to view logs

Triggered via push August 9, 2024 18:11

HanielB

alethe-update-arith

Status Success

Total duration 52m 3s

Artifacts 1

ci.yml

on: push

Matrix: builds

Artifacts

Produced during runtime

Name	Size
documentation	4.8 MB