fix: copy cached artifacts when building external Lean examples

4b7873d

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

Consistent subproject dependencies on: pull_request 1

SubVerso version consistency

actionlint

No #eval in source files on: pull_request 1

Check no #eval in source files

Check Code Formatting on: pull_request 2

check-prettier-formatting

check-python-formatting

Clean Dependabot PR descriptions on: pull_request

clean-description

Check for copyright header and too-big Lean imports on: pull_request 1

Check copyright header and Lean import size

Check for trailing newlines on: pull_request 1

Check text files have trailing newlines

Lint GitHub Actions workflows on: pull_request 1

Lint GitHub Actions workflows

All test modules imported on: pull_request 1

Check all test modules are imported

Check PR title follows commit convention on: pull_request 1

PR title follows commit convention

Release note required on: pull_request 1

Check the PR has a release note

Continuous Integration on: pull_request

Build and test

Check toolchain file on: pull_request 1

Check for "nightly" in lean-toolchain