Skip to content

Optimize diameter calculation for weighted graphs #87

Optimize diameter calculation for weighted graphs

Optimize diameter calculation for weighted graphs #87

Workflow file for this run

name: CI (Julia pre)
env:
JULIA_NUM_THREADS: 2
concurrency:
# group by workflow and ref; the last slightly strange component ensures that for pull
# requests, we limit to 1 concurrent job, but for the master branch we don't
group: ${{ github.workflow }}-${{ github.ref }}-${{ (github.ref != 'refs/heads/master' && github.ref != 'refs/heads/main') || github.run_number }}
# Cancel intermediate builds, but only if it is a pull request build.
cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
on:
pull_request:
branches:
- master
push:
branches:
- master
tags:
- '*'
jobs:
test:
name: Julia pre - ubuntu-latest - x64 - ${{ github.event_name }}
runs-on: ubuntu-latest
continue-on-error: true
steps:
- uses: actions/checkout@v6
- uses: julia-actions/setup-julia@v2
with:
version: pre
- uses: julia-actions/cache@v2
- run: sed -i '/JET/d' test/Project.toml
- uses: julia-actions/julia-buildpkg@v1
- uses: julia-actions/julia-runtest@v1
- uses: julia-actions/julia-processcoverage@v1
- uses: codecov/codecov-action@v5
with:
files: lcov.info
token: ${{ secrets.CODECOV_TOKEN }}
fail_ci_if_error: false