Skip to content

Create workspace if it doesn't exist #90

Create workspace if it doesn't exist

Create workspace if it doesn't exist #90

Workflow file for this run

name: CI
on:
push:
branches:
- main
- master
- release-*
tags: '*'
pull_request:
jobs:
test:
name: Julia ${{ matrix.version }} - ${{ matrix.os }} - ${{ matrix.arch }} - ${{ github.event_name }}
runs-on: ${{ matrix.os }}
strategy:
fail-fast: false
matrix:
version:
- 'pre'
- 'nightly'
os:
- ubuntu-latest
- macOS-latest
arch:
- x64
steps:
- uses: actions/checkout@v4
- uses: julia-actions/setup-julia@v2
with:
version: ${{ matrix.version }}
arch: ${{ matrix.arch }}
- uses: julia-actions/cache@v2
- name: Setup SSH for private repos
run: |
# Add GitHub to known hosts
mkdir -p ~/.ssh
ssh-keyscan github.com >> ~/.ssh/known_hosts
# Write deploy keys to files
echo "${{ secrets.CLAUDE_MCP_TOOLS_DEPLOY_KEY }}" > ~/.ssh/claude_mcp_tools_key
chmod 600 ~/.ssh/claude_mcp_tools_key
echo "${{ secrets.LLMBENCH_SIMPLE_DEPLOY_KEY }}" > ~/.ssh/llmbench_simple_key
chmod 600 ~/.ssh/llmbench_simple_key
# Configure SSH to use different keys for different repos
cat >> ~/.ssh/config << 'EOF'
Host github-claudemcp
HostName github.com
User git
IdentityFile ~/.ssh/claude_mcp_tools_key
IdentitiesOnly yes
Host github-llmbench
HostName github.com
User git
IdentityFile ~/.ssh/llmbench_simple_key
IdentitiesOnly yes
EOF
chmod 600 ~/.ssh/config
# Configure git to use the appropriate hosts
git config --global url."git@github-claudemcp:JuliaComputing/ClaudeMCPTools.jl".insteadOf "git@github.com:JuliaComputing/ClaudeMCPTools.jl"
git config --global url."git@github-llmbench:JuliaComputing/LLMBenchSimple.jl".insteadOf "git@github.com:JuliaComputing/LLMBenchSimple.jl"
- uses: julia-actions/julia-buildpkg@v1
with:
git_cli: true
- uses: julia-actions/julia-runtest@v1
with:
force_latest_compatible_version: false
- uses: julia-actions/julia-processcoverage@v1
- uses: codecov/codecov-action@v4
with:
files: lcov.info
token: ${{ secrets.CODECOV_TOKEN }}
fail_ci_if_error: false