Ubuntu build

[ add ] Choudhury and Fiore's alternative definition of `Permutation` for `Setoid`s #4969

Sign in to view logs

Triggered via pull request July 21, 2025 20:29

synchronize #2726

jamesmckinna:hinze-permutation

Status Success

Total duration 28m 8s

Artifacts –

ci-ubuntu.yml

on: pull_request