Skip to content

Merge pull request #402 from Remi-Gau/res_in_derivative #12

Merge pull request #402 from Remi-Gau/res_in_derivative

Merge pull request #402 from Remi-Gau/res_in_derivative #12

Triggered via push August 31, 2023 19:59
Status Success
Total duration 46s
Artifacts

deploy.yml

on: push
build-and-deploy
36s
build-and-deploy
Fit to window
Zoom out
Zoom in