Skip to content
Docs

Merge pull request #39 from moves-rwth/6-make-a-mapping-between-simpl… #16

Sign in to view logs

Merge pull request #39 from moves-rwth/6-make-a-mapping-between-simpl…

Merge pull request #39 from moves-rwth/6-make-a-mapping-between-simpl… #16

Triggered via push July 25, 2024 13:25
@PimLeerkesPimLeerkes
pushed aa3c25d
main
Status Success
Total duration 2m 36s
Artifacts –

docs.yml

on: push
pre-commit
2m 23s
pre-commit
Fit to window
Zoom out
Zoom in