All workflows

Workflow runs

• Link the paper on arXiv from the repository and website

  completed successfully:
  Deploy project website#8:Commitb832d0dpushedbySimpson561
  main

  Oct 17, 202622s
  More actions for workflow run 8

• Simplify project header and omit benchmark totals

  completed successfully:
  Deploy project website#7:Commit8b25b67pushedbySimpson561
  main

  Oct 15, 202657s
  More actions for workflow run 7

• Refine result table typography and responsive layout

  completed successfully:
  Deploy project website#6:Commit7f07cbdpushedbySimpson561
  main

  Oct 15, 202618s
  More actions for workflow run 6

• Present theorem proving results in a comprehensive comparison table

  completed successfully:
  Deploy project website#5:Commitcb286bfpushedbySimpson561
  main

  Oct 15, 202617s
  More actions for workflow run 5

• Publish author list and UCLA affiliation

  completed successfully:
  Deploy project website#4:Commit942bc8apushedbySimpson561
  main

  Oct 15, 202618s
  More actions for workflow run 4

• Clarify mobile table navigation

  completed successfully:
  Deploy project website#3:Commiteb31777pushedbySimpson561
  main

  Oct 15, 202622s
  More actions for workflow run 3

• Allow full-resolution viewing of cost chart

  failed:
  Deploy project website#2:Commited41750pushedbySimpson561
  main

  Oct 15, 202613s
  More actions for workflow run 2

• Add paper project website and GitHub Pages deployment

  failed:
  Deploy project website#1:Commitd061193pushedbySimpson561
  main

  Oct 15, 202610s
  More actions for workflow run 1