Publish the explorer to GitHub Pages

Workflow runs for Publish the explorer to GitHub Pages

• Merge the web explorer from origin/master

  completed successfully:
  Publish the explorer to GitHub Pages#3:Commit36d2bfcpushedbyciphergoth
  master

  Nov 1, 202635s
  More actions for workflow run 3

• Publish new results for the quadratic algorithms, select and the C++ …

  completed successfully:
  Publish the explorer to GitHub Pages#2:Commit69ae199pushedbyciphergoth
  master

  Nov 1, 202636s
  More actions for workflow run 2

• Run the Pages workflow on pushes to master, the default branch

  completed successfully:
  Publish the explorer to GitHub Pages#1:Commit06b0fb3pushedbyciphergoth
  master

  Oct 16, 202633s
  More actions for workflow run 1