Code

Improve the mike workflow#54

Code

Merged

Ludee merged 11 commits intodeveloprl-institut/super-repo:developfrom feature-36-mike-workflowrl-institut/super-repo:feature-36-mike-workflowCopy head branch name to clipboardAug 14, 2023

+44-10

Commits

Commits on Aug 14, 2023

• Update documentation to diable GitHub Action #36

  Ludee

  committed
  dd5f10f

• Include instructions to disable workflow #36

  Ludee

  committed
  61caf4c

• Update release procedure for mike #36

  Ludee

  committed
  943760b

• Update warning box #36

  Ludee

  committed
  552a551

• Add favicon to documentation #36

  Ludee

  committed
  c8493db

• Update CSS to improve toc #36

  Ludee

  committed
  b97f9ba

• Add a warning if not on latest version #36

  Ludee

  committed
  fa6d608

• Include commands for mike #36

  Ludee

  committed
  0c1c33d

• Update commands for mike #36

  Ludee

  committed
  9f550d9

• Add section to deploy older versions #36

  Ludee

  committed
  92babf8

• Update changelog #36

  Ludee

  committed
  eba61a3