commented on
merge request !603
"Draft: Improve the installation instructions"
at
Infrastructure / dune-website
Yes, please go ahead.
opened
merge request
!603
"Draft: Improve the installation instructions"
at
Infrastructure / dune-website
accepted
merge request
!551
"Add information and helper scripts for creating releases"
at
Infrastructure / dune-website
-
08b61735 · Merge branch 'add-release-instructions' into 'master'
- ... and 4 more commits. Compare 04c3dd8b...08b61735
commented on
merge request !551
"Add information and helper scripts for creating releases"
at
Infrastructure / dune-website
Okay, I did update the README myself after all.
-
a837e2db · Mention 2.10 and 2.9 on the 'recent changes' page
- ... and 101 more commits. Compare caaaee49...a837e2db
joined project
Infrastructure / dune-website
commented on
merge request !551
"Add information and helper scripts for creating releases"
at
Infrastructure / dune-website
Thanks for the hints, I totally forgot that this MR was still open. Can you send what you think is missing as a commit on top of this? Because I'...
accepted
merge request
!602
"Distinguish between super-builds (2.10) and module targets (2.11)"
at
Infrastructure / dune-website
-
04c3dd8b · Merge branch 'santiago.ospina-master-patch-99441' into 'master'
- ... and 1 more commit. Compare 3db5b307...04c3dd8b
opened
merge request
!602
"Distinguish between super-builds (2.10) and module targets (2.11)"
at
Infrastructure / dune-website