Port bleeding-edge-compilers to new jenkins

Open
#45 1 comment 0 reactions 2 assignees View on GitHub

@dylex is already working on this.

Since Sep 10, 2026.

Assessment

This issue has not been assessed yet.

Description

A reminder for me and @dylex

Dominant language
Shell
Stars
1
Forks
3
Avg merge
1m
Merged PRs (30d)
1

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from stan-dev/ci-scripts

All issues in stan-dev/ci-scripts

Similar issues

More Shell/Bash issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.