Skip to content

Merge pull request #18 from Inria-Prosecco/areitz/cleaning #493

Merge pull request #18 from Inria-Prosecco/areitz/cleaning

Merge pull request #18 from Inria-Prosecco/areitz/cleaning #493

Triggered via push July 10, 2024 20:03
Status Success
Total duration 24s
Artifacts

nix.yml

on: push
Fit to window
Zoom out
Zoom in