Ubuntu build

De Morgan's laws for Pred #5155

Sign in to view logs

Triggered via pull request October 27, 2025 12:38

Taneb

synchronize #2832

not-inhabited-implies-never

Status Success

Total duration 27m 19s

Artifacts –

ci-ubuntu.yml

on: pull_request