Skip to content
CI

Arrabiata/constraints: activate gadget and remove "permutation argument gadget" #426

Sign in to view logs

Arrabiata/constraints: activate gadget and remove "permutation argument gadget"

Arrabiata/constraints: activate gadget and remove "permutation argument gadget" #426

Triggered via pull request October 10, 2024 09:50
@dannywillemsdannywillems
opened #2696
dw/constraints-activate-gadget-arrabiata
Status Success
Total duration 34m 39s
Artifacts –

ci.yml

on: pull_request
Matrix: Run checks and tests
Matrix: Formatting
Matrix: Building MDBook
Fit to window
Zoom out
Zoom in