Code

Checking valid links#3

Code

Merged

volkm merged 9 commits intomoves-rwth:mainmoves-rwth/storm-website:mainfrom volkm:mainvolkm/storm-website:mainCopy head branch name to clipboardSep 4, 2024

+358-2,143

Commits

Commits on Jul 22, 2024

• Test validity of links via html-proofer

  volkm

  committed
  8027b55

  Copy full SHA for 8027b55

• http -> https

  volkm

  committed
  60ef536

  Copy full SHA for 60ef536

• Fixed links

  volkm

  committed
  844f2e5

  Copy full SHA for 844f2e5

• Revised internal links

  volkm

  committed
  fc73fa6

  Copy full SHA for fc73fa6

• Skip some links in html-proofer

  volkm

  committed
  512fed8

  Copy full SHA for 512fed8

• Update publication list

  volkm

  committed
  6c143bf

  Copy full SHA for 6c143bf

Commits on Aug 6, 2024

• Test links in published papers

  volkm

  committed
  0915e78

  Copy full SHA for 0915e78

Commits on Sep 4, 2024

• Removed old VM not available anymore

  volkm

  committed
  a088591

  Copy full SHA for a088591

• Updated affiliation

  volkm

  committed
  848cc2c

  Copy full SHA for 848cc2c