Skip to content

Merge pull request #4582 from jozic/functor.alter #894

Merge pull request #4582 from jozic/functor.alter

Merge pull request #4582 from jozic/functor.alter #894

Triggered via push May 1, 2024 17:18
Status Success
Total duration 18s
Artifacts

clean.yml

on: push
Delete Artifacts
7s
Delete Artifacts
Fit to window
Zoom out
Zoom in