Skip to content
Ubuntu build

[ refactor ] generalise inclusion between Propositional permutation, and arbitrary Setoid-based version on same carrier #4667

Sign in to view logs

[ refactor ] generalise inclusion between Propositional permutation, and arbitrary Setoid-based version on same carrier

[ refactor ] generalise inclusion between Propositional permutation, and arbitrary Setoid-based version on same carrier #4667

Triggered via pull request April 24, 2025 18:22
@jamesmckinnajamesmckinna
opened #2709
jamesmckinna:issue2708
Status Success
Total duration 38m 26s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-stdlib
38m 22s
test-stdlib
Fit to window
Zoom out
Zoom in