Deploy Astro site to GitHub Pages

Workflow runs for Deploy Astro site to GitHub Pages

• update paper status

  completed successfully:
  Deploy Astro site to GitHub Pages#28:Commited09e05pushedbywindtf
  main

  Jul 30, 202653s
  More actions for workflow run 28

• updated picture

  completed successfully:
  Deploy Astro site to GitHub Pages#27:Commit8cb338apushedbySingularitty
  main

  Jul 10, 20261m 10s
  More actions for workflow run 27

• Update refinement post assets and math rendering

  completed successfully:
  Deploy Astro site to GitHub Pages#26:Commita4c3f7cpushedbySingularitty
  main

  Jun 26, 202647s
  More actions for workflow run 26

• Add my profile picture and fix image paths

  completed successfully:
  Deploy Astro site to GitHub Pages#25:Commit440e681pushedbywindtf
  main

  Jun 26, 20261m 8s
  More actions for workflow run 25

• Change top level root for the website

  completed successfully:
  Deploy Astro site to GitHub Pages#24:Commit8f00062pushedbywindtf
  main

  Jun 26, 202638s
  More actions for workflow run 24

• Use PLSEC logo in header

  completed successfully:
  Deploy Astro site to GitHub Pages#23:Commit9cb5eefpushedbywindtf
  main

  Jun 26, 202641s
  More actions for workflow run 23

• fix top level root in CI

  completed successfully:
  Deploy Astro site to GitHub Pages#22:Commitec85385pushedbywindtf
  main

  Jun 26, 202640s
  More actions for workflow run 22

• Change top level root for the website

  completed successfully:
  Deploy Astro site to GitHub Pages#21:Commit48b9231pushedbywindtf
  main

  Jun 26, 202641s
  More actions for workflow run 21

• Use PLSEC logo in header

  completed successfully:
  Deploy Astro site to GitHub Pages#20:Commit9cb5eefpushedbySingularitty
  main

  Jun 26, 202643s
  More actions for workflow run 20

• Add PLDI news article

  completed successfully:
  Deploy Astro site to GitHub Pages#19:Commit3e24df8pushedbySingularitty
  main

  Jun 26, 202637s
  More actions for workflow run 19

• Fixed summary

  completed successfully:
  Deploy Astro site to GitHub Pages#18:Commit8ddb78bpushedbySingularitty
  main

  Jun 26, 202644s
  More actions for workflow run 18

• Add short people summaries

  completed successfully:
  Deploy Astro site to GitHub Pages#17:Commit19fcff6pushedbySingularitty
  main

  Jun 26, 202637s
  More actions for workflow run 17

• Add collaborator people role

  completed successfully:
  Deploy Astro site to GitHub Pages#16:Commitfc4e0c5pushedbySingularitty
  main

  Jun 26, 202636s
  More actions for workflow run 16

• Feature TYPES paper on homepage

  completed successfully:
  Deploy Astro site to GitHub Pages#15:Commitd76331epushedbySingularitty
  main

  Jun 26, 202639s
  More actions for workflow run 15

• Improve mobile layout and add TYPES paper

  completed successfully:
  Deploy Astro site to GitHub Pages#14:Commit63e4135pushedbySingularitty
  main

  Jun 26, 202644s
  More actions for workflow run 14

• Feature group GitHub project card

  completed successfully:
  Deploy Astro site to GitHub Pages#13:Commit5668e59pushedbySingularitty
  main

  Jun 25, 202646s
  More actions for workflow run 13

• Add group GitHub project

  completed successfully:
  Deploy Astro site to GitHub Pages#12:Commitf45a728pushedbySingularitty
  main

  Jun 25, 202638s
  More actions for workflow run 12

• Remove Zunchen from people

  completed successfully:
  Deploy Astro site to GitHub Pages#11:Commitee6e9a9pushedbySingularitty
  main

  Jun 25, 202649s
  More actions for workflow run 11

• Update people and Pantomime content

  completed successfully:
  Deploy Astro site to GitHub Pages#10:Commitc9f4b38pushedbySingularitty
  main

  Jun 25, 202633s
  More actions for workflow run 10

• Show authored work on person pages

  completed successfully:
  Deploy Astro site to GitHub Pages#9:Commit7c96568pushedbySingularitty
  main

  Jun 25, 20261m 13s
  More actions for workflow run 9

• Fix initials for names with nicknames

  completed successfully:
  Deploy Astro site to GitHub Pages#8:Commitc3b0fc6pushedbySingularitty
  main

  Jun 25, 202634s
  More actions for workflow run 8

• Restore Anna in Parnian display name

  completed successfully:
  Deploy Astro site to GitHub Pages#7:Commitd2a0abfpushedbySingularitty
  main

  Jun 25, 202641s
  More actions for workflow run 7

• Add people pages and linked authors

  completed successfully:
  Deploy Astro site to GitHub Pages#6:Commit63725cdpushedbySingularitty
  main

  Jun 25, 202637s
  More actions for workflow run 6

• Update join page opportunities

  completed successfully:
  Deploy Astro site to GitHub Pages#5:Commitf38177epushedbySingularitty
  main

  Jun 25, 20261m 2s
  More actions for workflow run 5

• Deploy from main branch

  completed successfully:
  Deploy Astro site to GitHub Pages#4:Commit0b082dcpushedbySingularitty
  main

  Jun 25, 20261m 55s
  More actions for workflow run 4