All workflows

Workflow runs

• .github/workflows/sdci.yml

  completed successfully:
  .github/workflows/sdci.yml#70:Merge group checks requested
  Oct 13, 202611s
  More actions for workflow run 70

• Add the weval and Deegen papers.

  completed successfully:
  .github/workflows/sdci.yml#69:Pull request#131openedbyltratt
  ltratt:weval_and_deegen

  Oct 13, 20267s
  More actions for workflow run 69

• .github/workflows/sdci.yml

  completed successfully:
  .github/workflows/sdci.yml#68:Merge group checks requested
  Oct 13, 202614s
  More actions for workflow run 68

• Add the 2024 HOP / AOT paper.

  completed successfully:
  .github/workflows/sdci.yml#67:Pull request#130openedbyltratt
  ltratt:serrano24ofjavascript

  Oct 13, 20267s
  More actions for workflow run 67

• .github/workflows/sdci.yml

  completed successfully:
  .github/workflows/sdci.yml#66:Merge group checks requested
  Oct 6, 20268s
  More actions for workflow run 66

• Add AST vs. bytecode paper.

  completed successfully:
  .github/workflows/sdci.yml#65:Pull request#129openedbyltratt
  ltratt:larsoe23astvsbytecode

  Oct 6, 20269s
  More actions for workflow run 65

• .github/workflows/sdci.yml

  completed successfully:
  .github/workflows/sdci.yml#64:Merge group checks requested
  Oct 6, 20267s
  More actions for workflow run 64

• Add the "practical partial evaluation" paper.

  completed successfully:
  .github/workflows/sdci.yml#63:Pull request#128openedbyltratt
  ltratt:wuerthinger17practical

  Oct 6, 202610s
  More actions for workflow run 63

• .github/workflows/sdci.yml

  completed successfully:
  .github/workflows/sdci.yml#62:Merge group checks requested
  Sep 28, 20268s
  More actions for workflow run 62

• Remove field.

  completed successfully:
  .github/workflows/sdci.yml#61:Pull request#126synchronizebyltratt
  ltratt:remove_unknown_year

  Sep 28, 20268s
  More actions for workflow run 61

• .github/workflows/sdci.yml

  completed successfully:
  .github/workflows/sdci.yml#60:Merge group checks requested
  Sep 28, 20268s
  More actions for workflow run 60

• .github/workflows/sdci.yml

  completed successfully:
  .github/workflows/sdci.yml#59:Merge group checks requested
  Sep 28, 20269s
  More actions for workflow run 59

• Use Debian latest in buildbot.

  completed successfully:
  .github/workflows/sdci.yml#58:Pull request#127openedbyltratt
  ltratt:use_debian_latest

  Sep 28, 202615s
  More actions for workflow run 58

• .github/workflows/sdci.yml

  completed successfully:
  .github/workflows/sdci.yml#57:Merge group checks requested
  Sep 28, 20267s
  More actions for workflow run 57

• Remove field.

  completed successfully:
  .github/workflows/sdci.yml#56:Pull request#126openedbyltratt
  ltratt:remove_unknown_year

  Sep 28, 20267s
  More actions for workflow run 56

• .github/workflows/sdci.yml

  completed successfully:
  .github/workflows/sdci.yml#55:Merge group checks requested
  Sep 1, 20256s
  More actions for workflow run 55

• Don't exclude doi from the bib file

  completed successfully:
  .github/workflows/sdci.yml#54:Pull request#125openedbyjacob-hughes
  jacob-hughes:include_doi

  Sep 1, 20259s
  More actions for workflow run 54