Dotty

Backport "Fix #18649: Use loBound of param types when materializing a context function." to LTS #30871

Workflow file for this run

	name: Dotty

	on:
	push:
	## Be careful if you add or remove something here! Quoting from
	## <https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#onpushbranchestagsbranches-ignoretags-ignore>:
	##
	## > If you define only tags/tags-ignore or only branches/branches-ignore, the
	## > workflow won't run for events affecting the undefined Git ref. If you
	## > define neither tags/tags-ignore or branches/branches-ignore, the workflow
	## > will run for events affecting either branches or tags.
	##
	## We want the CI to run on both branches and tags, so we should either have:
	## - both (tags or tags-ignore) and (branches or branches-ignore),
	## - or neither of them.
	## But it's important to not have only one or the other.
	tags:
	- '*'
	branches-ignore:
	- 'gh-readonly-queue/**'
	- 'release-**'
	- 'lts-**'
	pull_request:
	merge_group:
	schedule:
	- cron: '0 3 * * *' # Every day at 3 AM
	workflow_dispatch:

	env:
	DOTTY_CI_RUN: true

	# In this file, we set `--cpu-shares 4096` on every job. This might seem useless
	# since it means that every container has the same weight which should be
	# equivalent to doing nothing, but it turns out that OpenJDK computes
	# `Runtime.getRuntime.availableProcessors` by dividing the cpu-shares value if
	# it exists by 1024 (cf
	# http://mail.openjdk.java.net/pipermail/hotspot-dev/2019-January/036087.html),
	# so this means that we effectively run every job with 4 cores. This is much
	# nicer than setting `--cpus 4` because the latter enforces CPU quotas and ends
	# up slowing our jobs more than needed. It's equivalent to running the JVM with
	# `-XX:ActiveProcessorCount=4`, but since our tests can spawn new JVM in many
	# places, it would be very hard to ensure that this option is always passed to
	# `java` (we could use the `_JAVA_OPTIONS` environment variable, but this prints
	# text on stderr and so can break tests which check the output of a program).

	jobs:
	test_non_bootstrapped:
	runs-on: [self-hosted, Linux]
	container:
	image: lampepfl/dotty:2021-03-22
	options: --cpu-shares 4096
	volumes:
	- ${{ github.workspace }}/../../cache/sbt:/root/.sbt
	- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
	- ${{ github.workspace }}/../../cache/general:/root/.cache
	if: "github.event_name == 'schedule' && github.repository == 'scala/scala3'
	\|\| github.event_name == 'push'
	\|\| (
	github.event_name == 'pull_request'
	&& !contains(github.event.pull_request.body, '[skip ci]')
	&& contains(github.event.pull_request.body, '[test_non_bootstrapped]')
	)
	\|\| (
	github.event_name == 'workflow_dispatch'
	&& github.repository == 'scala/scala3'
	)"
	steps:
	- name: Set JDK 16 as default
	run: echo "/usr/lib/jvm/java-16-openjdk-amd64/bin" >> $GITHUB_PATH

	## Workaround for https://github.com/actions/runner/issues/2033 (See https://github.com/scala/scala3/pull/19720)
	- name: Reset existing repo
	run: \|
	git config --global --add safe.directory /__w/scala3/scala3
	git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD \|\| true

	- name: Checkout cleanup script
	uses: actions/checkout@v3

	- name: Cleanup
	run: .github/workflows/cleanup.sh

	- name: Git Checkout
	uses: actions/checkout@v3

	- name: Add SBT proxy repositories
	run: cp -vf .github/workflows/repositories /root/.sbt/ ; true

	- name: Test
	# DON'T add dist/pack!
	# Adding dist/pack bootstraps the compiler
	# which undermines the point of these tests:
	# to quickly run the tests without the cost of bootstrapping
	# and also to run tests when the compiler doesn't bootstrap
	run: \|
	./project/scripts/sbt ";compile ;test"
	./project/scripts/cmdTests

	test:
	runs-on: [self-hosted, Linux]
	container:
	image: lampepfl/dotty:2021-03-22
	options: --cpu-shares 4096
	volumes:
	- ${{ github.workspace }}/../../cache/sbt:/root/.sbt
	- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
	- ${{ github.workspace }}/../../cache/general:/root/.cache
	if: "github.event_name == 'schedule' && github.repository == 'scala/scala3'
	\|\| github.event_name == 'push'
	\|\| github.event_name == 'merge_group'
	\|\| (
	github.event_name == 'pull_request'
	&& !contains(github.event.pull_request.body, '[skip ci]')
	&& !contains(github.event.pull_request.body, '[skip test]')
	)
	\|\| (
	github.event_name == 'workflow_dispatch'
	&& github.repository == 'scala/scala3'
	)"

	steps:
	- name: Set JDK 16 as default
	run: echo "/usr/lib/jvm/java-16-openjdk-amd64/bin" >> $GITHUB_PATH

	- name: Reset existing repo
	run: \|
	git config --global --add safe.directory /__w/scala3/scala3
	git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD \|\| true

	- name: Checkout cleanup script
	uses: actions/checkout@v3

	- name: Cleanup
	run: .github/workflows/cleanup.sh

	- name: Git Checkout
	uses: actions/checkout@v3

	- name: Add SBT proxy repositories
	run: cp -vf .github/workflows/repositories /root/.sbt/ ; true

	- name: Cmd Tests
	run: \|
	./project/scripts/sbt ";dist/pack; scala3-bootstrapped/compile; scala3-bootstrapped/test ;sbt-test/scripted scala2-compat/* ;stdlib-bootstrapped/test:run ;stdlib-bootstrapped-tasty-tests/test; scala3-compiler-bootstrapped/scala3CompilerCoursierTest:test"
	./project/scripts/cmdTests
	./project/scripts/bootstrappedOnlyCmdTests

	- name: Scala.js Test
	run: \|
	./project/scripts/sbt ";sjsSandbox/run ;sjsSandbox/test ;sjsJUnitTests/test ;set sjsJUnitTests/scalaJSLinkerConfig ~= switchToESModules ;sjsJUnitTests/test ;sjsCompilerTests/test"


	test_windows_fast:
	runs-on: [self-hosted, Windows]
	if: "(
	github.event_name == 'push'
	&& github.ref != 'refs/heads/main'
	)
	\|\| github.event_name == 'merge_group'
	\|\| (
	github.event_name == 'pull_request'
	&& !contains(github.event.pull_request.body, '[skip ci]')
	&& !contains(github.event.pull_request.body, '[skip test_windows_fast]')
	)"

	steps:
	- name: Reset existing repo
	shell: cmd
	run: \|
	git config --global --add safe.directory /__w/scala3/scala3
	git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD \|\| true

	- name: Git Checkout
	uses: actions/checkout@v3

	- name: Test
	run: sbt ";scala3-bootstrapped/compile"
	shell: cmd

	- name: build binary
	run: sbt "dist/pack" & bash -version
	shell: cmd

	- name: cygwin tests
	run: '"C:\Program Files\cygwin64\bin\bash" ./project/scripts/winCmdTests'
	shell: cmd

	- name: msys tests
	run: '"C:\Program Files\Git\bin\bash" ./project/scripts/winCmdTests'
	shell: cmd

	- name: win tests
	run: './project/scripts/winCmdTests.bat'
	shell: cmd

	- name: Scala.js Test
	run: sbt ";sjsJUnitTests/test ;set sjsJUnitTests/scalaJSLinkerConfig ~= switchToESModules ;sjsJUnitTests/test ;sjsCompilerTests/test"
	shell: cmd

	test_windows_full:
	runs-on: [self-hosted, Windows]
	if: "github.event_name == 'schedule' && github.repository == 'scala/scala3'
	\|\| github.event_name == 'push'
	\|\| (
	github.event_name == 'pull_request'
	&& !contains(github.event.pull_request.body, '[skip ci]')
	&& contains(github.event.pull_request.body, '[test_windows_full]')
	)"

	steps:
	- name: Reset existing repo
	shell: cmd
	run: \|
	git config --global --add safe.directory /__w/scala3/scala3
	git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD \|\| true

	- name: Git Checkout
	uses: actions/checkout@v3

	- name: Test
	run: sbt ";dist/pack ;scala3-bootstrapped/compile ;scala3-bootstrapped/test"
	shell: cmd

	- name: Scala.js Test
	run: sbt ";sjsJUnitTests/test ;set sjsJUnitTests/scalaJSLinkerConfig ~= switchToESModules ;sjsJUnitTests/test ;sjsCompilerTests/test"
	shell: cmd

	mima:
	name: MiMa
	runs-on: [self-hosted, Linux]
	container:
	image: lampepfl/dotty:2021-03-22
	options: --cpu-shares 4096
	volumes:
	- ${{ github.workspace }}/../../cache/sbt:/root/.sbt
	- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
	- ${{ github.workspace }}/../../cache/general:/root/.cache
	if: "github.event_name == 'schedule' && github.repository == 'scala/scala3'
	\|\| github.event_name == 'push'
	\|\| github.event_name == 'merge_group'
	\|\| (
	github.event_name == 'pull_request'
	&& !contains(github.event.pull_request.body, '[skip ci]')
	&& !contains(github.event.pull_request.body, '[skip mima]')
	)
	\|\| (
	github.event_name == 'workflow_dispatch'
	&& github.repository == 'scala/scala3'
	)"
	steps:
	- name: Reset existing repo
	run: \|
	git config --global --add safe.directory /__w/scala3/scala3
	git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD \|\| true

	- name: Checkout cleanup script
	uses: actions/checkout@v3

	- name: Cleanup
	run: .github/workflows/cleanup.sh

	- name: Git Checkout
	uses: actions/checkout@v3

	- name: Add SBT proxy repositories
	run: cp -vf .github/workflows/repositories /root/.sbt/ ; true

	- name: MiMa
	run: \|
	./project/scripts/sbt ";scala3-interfaces/mimaReportBinaryIssues ;scala3-library-bootstrapped/mimaReportBinaryIssues ;scala3-library-bootstrappedJS/mimaReportBinaryIssues; tasty-core-bootstrapped/mimaReportBinaryIssues"

	community_build_a:
	runs-on: [self-hosted, Linux]
	container:
	image: lampepfl/dotty:2021-03-22
	options: --cpu-shares 4096
	volumes:
	- ${{ github.workspace }}/../../cache/sbt:/root/.sbt
	- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
	- ${{ github.workspace }}/../../cache/general:/root/.cache
	if: "github.event_name == 'schedule' && github.repository == 'scala/scala3'
	\|\| github.event_name == 'push'
	\|\| github.event_name == 'merge_group'
	\|\| (
	github.event_name == 'pull_request'
	&& !contains(github.event.pull_request.body, '[skip ci]')
	&& !contains(github.event.pull_request.body, '[skip community_build]')
	&& !contains(github.event.pull_request.body, '[skip community_build_a]')
	)
	\|\| (
	github.event_name == 'workflow_dispatch'
	&& github.repository == 'scala/scala3'
	)"

	steps:
	- name: Reset existing repo
	run: \|
	git config --global --add safe.directory /__w/scala3/scala3
	git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD \|\| true

	- name: Checkout cleanup script
	uses: actions/checkout@v3

	- name: Cleanup
	run: .github/workflows/cleanup.sh

	- name: Git Checkout
	uses: actions/checkout@v3

	- name: Add SBT proxy repositories
	run: cp -vf .github/workflows/repositories /root/.sbt/ ; true

	- name: Test
	run: \|
	git config --global --add safe.directory /__w/scala3/scala3
	git submodule sync
	git submodule update --init --recursive --jobs 7
	./project/scripts/sbt "community-build/testOnly dotty.communitybuild.CommunityBuildTestA"

	- name: Show dependency tracking file
	if: ${{ always() }}
	run: cat community-build/dotty-community-build-deps \|\| true

	community_build_b:
	runs-on: [self-hosted, Linux]
	container:
	image: lampepfl/dotty:2021-03-22
	options: --cpu-shares 4096
	volumes:
	- ${{ github.workspace }}/../../cache/sbt:/root/.sbt
	- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
	- ${{ github.workspace }}/../../cache/general:/root/.cache
	if: "github.event_name == 'schedule' && github.repository == 'scala/scala3'
	\|\| github.event_name == 'push'
	\|\| github.event_name == 'merge_group'
	\|\| (
	github.event_name == 'pull_request'
	&& !contains(github.event.pull_request.body, '[skip ci]')
	&& !contains(github.event.pull_request.body, '[skip community_build]')
	&& !contains(github.event.pull_request.body, '[skip community_build_b]')
	)
	\|\| (
	github.event_name == 'workflow_dispatch'
	&& github.repository == 'scala/scala3'
	)"

	steps:
	- name: Reset existing repo
	run: \|
	git config --global --add safe.directory /__w/scala3/scala3
	git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD \|\| true

	- name: Checkout cleanup script
	uses: actions/checkout@v3

	- name: Cleanup
	run: .github/workflows/cleanup.sh

	- name: Git Checkout
	uses: actions/checkout@v3

	- name: Add SBT proxy repositories
	run: cp -vf .github/workflows/repositories /root/.sbt/ ; true

	- name: Test
	run: \|
	git config --global --add safe.directory /__w/scala3/scala3
	git submodule sync
	git submodule update --init --recursive --jobs 7
	./project/scripts/sbt "community-build/testOnly dotty.communitybuild.CommunityBuildTestB"

	- name: Show dependency tracking file
	if: ${{ always() }}
	run: cat community-build/dotty-community-build-deps \|\| true

	community_build_c:
	runs-on: [self-hosted, Linux]
	container:
	image: lampepfl/dotty:2020-11-19
	options: --cpu-shares 4096
	volumes:
	- ${{ github.workspace }}/../../cache/sbt:/root/.sbt
	- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
	- ${{ github.workspace }}/../../cache/general:/root/.cache
	if: "github.event_name == 'schedule' && github.repository == 'scala/scala3'
	\|\| github.event_name == 'push'
	\|\| github.event_name == 'merge_group'
	\|\| (
	github.event_name == 'pull_request'
	&& !contains(github.event.pull_request.body, '[skip ci]')
	&& !contains(github.event.pull_request.body, '[skip community_build]')
	&& !contains(github.event.pull_request.body, '[skip community_build_c]')
	)
	\|\| (
	github.event_name == 'workflow_dispatch'
	&& github.repository == 'scala/scala3'
	)"

	steps:
	- name: Reset existing repo
	run: \|
	git config --global --add safe.directory /__w/scala3/scala3
	git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD \|\| true

	- name: Checkout cleanup script
	uses: actions/checkout@v3

	- name: Cleanup
	run: .github/workflows/cleanup.sh

	- name: Git Checkout
	uses: actions/checkout@v3

	- name: Add SBT proxy repositories
	run: cp -vf .github/workflows/repositories /root/.sbt/ ; true

	- name: Test
	run: \|
	git config --global --add safe.directory /__w/scala3/scala3
	git submodule sync
	git submodule update --init --recursive --jobs 7
	./project/scripts/sbt "community-build/testOnly dotty.communitybuild.CommunityBuildTestC"

	- name: Show dependency tracking file
	if: ${{ always() }}
	run: cat community-build/dotty-community-build-deps \|\| true

	test_sbt:
	runs-on: [self-hosted, Linux]
	container:
	image: lampepfl/dotty:2021-03-22
	options: --cpu-shares 4096
	volumes:
	- ${{ github.workspace }}/../../cache/sbt:/root/.sbt
	- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
	- ${{ github.workspace }}/../../cache/general:/root/.cache
	if: "github.event_name == 'schedule' && github.repository == 'scala/scala3'
	\|\| github.event_name == 'push'
	\|\| (
	github.event_name == 'pull_request'
	&& !contains(github.event.pull_request.body, '[skip ci]')
	&& !contains(github.event.pull_request.body, '[skip test_sbt]')
	)
	\|\| (
	github.event_name == 'workflow_dispatch'
	&& github.repository == 'scala/scala3'
	)"

	steps:
	- name: Reset existing repo
	run: \|
	git config --global --add safe.directory /__w/scala3/scala3
	git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD \|\| true

	- name: Checkout cleanup script
	uses: actions/checkout@v3

	- name: Cleanup
	run: .github/workflows/cleanup.sh

	- name: Git Checkout
	uses: actions/checkout@v3

	- name: Add SBT proxy repositories
	run: cp -vf .github/workflows/repositories /root/.sbt/ ; true

	- name: Test sbt
	run: ./project/scripts/sbt "sbt-test/scripted; sbt-community-build/scripted"

	test_java8:
	runs-on: [self-hosted, Linux]
	container:
	image: lampepfl/dotty:2021-03-22
	options: --cpu-shares 4096
	volumes:
	- ${{ github.workspace }}/../../cache/sbt:/root/.sbt
	- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
	- ${{ github.workspace }}/../../cache/general:/root/.cache

	if: "github.event_name == 'schedule' && github.repository == 'scala/scala3'
	\|\| (
	github.event_name == 'push'
	&& startsWith(github.event.ref, 'refs/tags/')
	)
	\|\| (
	github.event_name == 'pull_request'
	&& !contains(github.event.pull_request.body, '[skip ci]')
	&& contains(github.event.pull_request.body, '[test_java8]')
	)
	\|\| (
	github.event_name == 'workflow_dispatch'
	&& github.repository == 'scala/scala3'
	)"

	steps:
	- name: Set JDK 8 as default
	run: echo "/usr/lib/jvm/java-8-openjdk-amd64/bin" >> $GITHUB_PATH

	- name: Reset existing repo
	run: \|
	git config --global --add safe.directory /__w/scala3/scala3
	git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD \|\| true

	- name: Checkout cleanup script
	uses: actions/checkout@v3

	- name: Cleanup
	run: .github/workflows/cleanup.sh

	- name: Git Checkout
	uses: actions/checkout@v3

	- name: Add SBT proxy repositories
	run: cp -vf .github/workflows/repositories /root/.sbt/ ; true

	- name: Test
	run: \|
	./project/scripts/sbt ";dist/pack ;scala3-bootstrapped/compile ;scala3-bootstrapped/test ;sbt-test/scripted scala2-compat/* ;stdlib-bootstrapped/test:run ;stdlib-bootstrapped-tasty-tests/test"
	./project/scripts/cmdTests
	./project/scripts/bootstrappedOnlyCmdTests

	- name: Scala.js Test
	run: \|
	./project/scripts/sbt ";sjsSandbox/run ;sjsSandbox/test ;sjsJUnitTests/test ;set sjsJUnitTests/scalaJSLinkerConfig ~= switchToESModules ;sjsJUnitTests/test ;sjsCompilerTests/test"

	publish_nightly:
	runs-on: [self-hosted, Linux]
	container:
	image: lampepfl/dotty:2021-03-22
	options: --cpu-shares 4096
	volumes:
	- ${{ github.workspace }}/../../cache/sbt:/root/.sbt
	- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
	- ${{ github.workspace }}/../../cache/general:/root/.cache
	needs: [test_non_bootstrapped, test, mima, community_build_a, community_build_b, community_build_c, test_sbt, test_java8]
	if: "(github.event_name == 'schedule' \|\| github.event_name == 'workflow_dispatch') && github.repository == 'scala/scala3'"
	env:
	NIGHTLYBUILD: yes
	PGP_PW: ${{ secrets.PGP_PW }} # PGP passphrase
	PGP_SECRET: ${{ secrets.PGP_SECRET }} # Export your private and public PGP key to an *.asc file, take the file's contents as a string
	SONATYPE_PW: ${{ secrets.SONATYPE_PW_ORGSCALALANG }}
	SONATYPE_USER: ${{ secrets.SONATYPE_USER_ORGSCALALANG }}

	steps:
	- name: Reset existing repo
	run: \|
	git config --global --add safe.directory /__w/scala3/scala3
	git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD \|\| true

	- name: Checkout cleanup script
	uses: actions/checkout@v3

	- name: Cleanup
	run: .github/workflows/cleanup.sh

	- name: Git Checkout
	uses: actions/checkout@v3

	- name: Add SBT proxy repositories
	run: cp -vf .github/workflows/repositories /root/.sbt/ ; true

	- name: Get version string for this build
	run: \|
	ver=$(./project/scripts/sbt "print scala3-compiler-bootstrapped/version" \| tail -n1)
	echo "This build version: $ver"
	echo "THISBUILD_VERSION=$ver" >> $GITHUB_ENV

	- name: Check whether not yet published
	id: not_yet_published
	continue-on-error: true
	run: \|
	! ./project/scripts/is-version-published.sh "$THISBUILD_VERSION"

	- name: Publish Nightly
	if: "steps.not_yet_published.outcome == 'success'"
	run: \|
	./project/scripts/sbtPublish ";project scala3-bootstrapped ;publishSigned ;sonatypeBundleRelease"

	nightly_documentation:
	runs-on: [self-hosted, Linux]
	container:
	image: lampepfl/dotty:2021-03-22
	options: --cpu-shares 4096
	volumes:
	- ${{ github.workspace }}/../../cache/sbt:/root/.sbt
	- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
	- ${{ github.workspace }}/../../cache/general:/root/.cache
	needs: [publish_nightly]
	if: "(github.event_name == 'schedule' \|\| github.event_name == 'workflow_dispatch') && github.repository == 'scala/scala3'"
	env:
	NIGHTLYBUILD: yes
	DOTTY_WEBSITE_BOT_TOKEN: ${{ secrets.BOT_TOKEN }} # If you need to change this:
	# Generate one at https://github.com/settings/tokens
	# Make sure you have the write permissions to the repo: https://github.com/lampepfl/dotty-website
	# Currently unused token, no need to deploy anything to docs.scala-lang
	# DOCS_SCALALANG_BOT_TOKEN: ${{ secrets.DOCS_SCALALANG_BOT_TOKEN }} # If you need to change this:
	# Generate one at https://github.com/settings/tokens
	# Make sure you have the write permissions to the repo: https://github.com/scala/docs.scala-lang

	steps:
	- name: Reset existing repo
	run: \|
	git config --global --add safe.directory /__w/scala3/scala3
	git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD \|\| true

	- name: Checkout cleanup script
	uses: actions/checkout@v3

	- name: Cleanup
	run: .github/workflows/cleanup.sh

	- name: Git Checkout
	uses: actions/checkout@v3

	- name: Add SBT proxy repositories
	run: cp -vf .github/workflows/repositories /root/.sbt/ ; true

	- name: Generate Website
	run: \|
	git config --global --add safe.directory /__w/scala3/scala3
	./project/scripts/genDocs -doc-snapshot

	- name: Deploy Website to dotty-website
	uses: peaceiris/actions-gh-pages@v3
	with:
	personal_token: ${{ env.DOTTY_WEBSITE_BOT_TOKEN }}
	publish_dir: docs/_site
	external_repository: lampepfl/dotty-website
	publish_branch: gh-pages

	publish_release:
	permissions:
	contents: write # for actions/create-release to create a release
	runs-on: [self-hosted, Linux]
	container:
	image: lampepfl/dotty:2021-03-22
	options: --cpu-shares 4096
	volumes:
	- ${{ github.workspace }}/../../cache/sbt:/root/.sbt
	- ${{ github.workspace }}/../../cache/ivy:/root/.ivy2/cache
	- ${{ github.workspace }}/../../cache/general:/root/.cache
	needs: [test_non_bootstrapped, test, mima, community_build_a, community_build_b, community_build_c, test_sbt, test_java8]
	if: "github.event_name == 'push'
	&& startsWith(github.event.ref, 'refs/tags/')"

	env:
	RELEASEBUILD: yes
	PGP_PW: ${{ secrets.PGP_PW }} # PGP passphrase
	PGP_SECRET: ${{ secrets.PGP_SECRET }} # Export your private and public PGP key to an *.asc file, take the file's contents as a string
	SONATYPE_PW: ${{ secrets.SONATYPE_PW_ORGSCALALANG }}
	SONATYPE_USER: ${{ secrets.SONATYPE_USER_ORGSCALALANG }}

	steps:
	- name: Reset existing repo
	run: \|
	git config --global --add safe.directory /__w/scala3/scala3
	git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD \|\| true

	- name: Checkout cleanup script
	uses: actions/checkout@v3

	- name: Cleanup
	run: .github/workflows/cleanup.sh

	- name: Git Checkout
	uses: actions/checkout@v3

	- name: Add SBT proxy repositories
	run: cp -vf .github/workflows/repositories /root/.sbt/ ; true

	- name: Prepare Release
	run: \|
	./project/scripts/sbt dist/packArchive
	sha256sum dist/target/scala3-* > dist/target/sha256sum.txt
	echo "RELEASE_TAG=${GITHUB_REF#*refs/tags/}" >> $GITHUB_ENV

	- name: Create GitHub Release
	id: create_gh_release
	uses: actions/create-release@latest
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # This token is provided by Actions, you do not need to create your own token
	with:
	tag_name: ${{ github.ref }}
	release_name: ${{ github.ref }}
	body_path: ./changelogs/${{ env.RELEASE_TAG }}.md
	draft: true
	prerelease: ${{ contains(env.RELEASE_TAG, '-') }}

	- name: Upload zip archive to GitHub Release
	uses: actions/upload-release-asset@v1
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	with:
	upload_url: ${{ steps.create_gh_release.outputs.upload_url }}
	asset_path: ./dist/target/scala3-${{ env.RELEASE_TAG }}.zip
	asset_name: scala3-${{ env.RELEASE_TAG }}.zip
	asset_content_type: application/zip

	- name: Upload tar.gz archive to GitHub Release
	uses: actions/upload-release-asset@v1
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	with:
	upload_url: ${{ steps.create_gh_release.outputs.upload_url }}
	asset_path: ./dist/target/scala3-${{ env.RELEASE_TAG }}.tar.gz
	asset_name: scala3-${{ env.RELEASE_TAG }}.tar.gz
	asset_content_type: application/gzip

	- name: Upload SHA256 sum of the release artefacts to GitHub Release
	uses: actions/upload-release-asset@v1
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	with:
	upload_url: ${{ steps.create_gh_release.outputs.upload_url }}
	asset_path: ./dist/target/sha256sum.txt
	asset_name: sha256sum.txt
	asset_content_type: text/plain

	- name: Publish Release
	run: ./project/scripts/sbtPublish ";project scala3-bootstrapped ;publishSigned ;sonatypeBundleRelease"


	open_issue_on_failure:
	runs-on: [self-hosted, Linux]
	container:
	image: lampepfl/dotty:2021-03-22
	needs: [nightly_documentation, test_windows_full]
	# The `failure()` expression is true iff at least one of the dependencies
	# of this job (including transitive dependencies) has failed.
	if: "failure() && github.event_name == 'schedule'"
	steps:
	- name: Checkout issue template
	uses: actions/checkout@v3

	- name: Open an issue
	uses: JasonEtco/create-an-issue@v2
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	WORKFLOW_RUN_URL: ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}
	with:
	filename: .github/workflows/issue_nightly_failed.md

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Backport "Fix #18649: Use loBound of param types when materializing a context function." to LTS #30871

Workflow file

Backport "Fix #18649: Use loBound of param types when materializing a context function." to LTS #30871

Jobs

Run details

Workflow file for this run