search

formal-methods-mpi / Workshop.jl

https://formal-methods-mpi.github.io/Workshop.jl/
Creative Commons Zero v1.0 Universal
1 stars 1 forks source link

fix broken link #120

Closed aaronpeikert closed 1 year ago

aaronpeikert commented 1 year ago

closes #119

github-actions[bot] commented 1 year ago

Docs can be previewed here: https://formal-methods-mpi.github.io/Workshop.jl/previews/PR120

github-actions[bot] commented 1 year ago

Docs can be previewed here: https://formal-methods-mpi.github.io/Workshop.jl/previews/PR120

github-actions[bot] commented 1 year ago

Docs can be previewed here: https://formal-methods-mpi.github.io/Workshop.jl/previews/PR120

Maximilian-Stefan-Ernst commented 1 year ago

I believe this is already fixed; check after we merged devel.

github-actions[bot] commented 1 year ago

Docs can be previewed here: https://formal-methods-mpi.github.io/Workshop.jl/previews/PR120