Skip to content
CI

remove disjunctions by default #14

Sign in to view logs

remove disjunctions by default

remove disjunctions by default #14

Triggered via pull request July 20, 2024 11:54
@KenSakayoriKenSakayori
opened #8
no-remove-disjunction
Status Success
Total duration 8m 45s
Artifacts –

ci.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in