Code

Publish spec#18526

Code

Merged

sjrd merged 5 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:publish-specdotty-staging/dotty:publish-specCopy head branch name to clipboard

Sep 25, 2023

Commits

Commits on Sep 25, 2023

• Use 3.4 as language version number in the spec.

  sjrd

  committed
  a49eeae

  Copy full SHA for a49eeae

• Build the spec in the CI.

  sjrd

  committed
  27c417c

  Copy full SHA for 27c417c

• Exclude useless files from the specification build.

  sjrd

  committed
  1f31d84

  Copy full SHA for 1f31d84

• Deploy the spec on push.

  sjrd

  committed
  a9baa5a

  Copy full SHA for a9baa5a

• Add a disclaimer that the spec is still a work in progress.

  sjrd

  committed
  11df1e0

  Copy full SHA for 11df1e0