Skip to content
Check whitespace

Adds unary disjoint relation #1225

Sign in to view logs

Adds unary disjoint relation

Adds unary disjoint relation #1225

Triggered via pull request February 24, 2025 19:45
@bsaulbsaul
synchronize #2595
bsaul:unary-disjoint-relation
Status Success
Total duration 14s
Artifacts –

whitespace.yml

on: pull_request
check-whitespace
4s
check-whitespace
Fit to window
Zoom out
Zoom in