Skip to content

Merge pull request #17 from Inria-Prosecco/areitz/ci-update #490

Merge pull request #17 from Inria-Prosecco/areitz/ci-update

Merge pull request #17 from Inria-Prosecco/areitz/ci-update #490

Triggered via push July 10, 2024 14:16
Status Success
Total duration 25s
Artifacts

nix.yml

on: push
Fit to window
Zoom out
Zoom in