Skip to content

fix flipped lower and upper in profile CI (#785) #651

fix flipped lower and upper in profile CI (#785)

fix flipped lower and upper in profile CI (#785) #651

Workflow file for this run

name: nightly
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
on:
push:
branches:
- main
paths-ignore:
- 'LICENSE.md'
- 'README.md'
pull_request:
branches:
- main
paths-ignore:
- 'LICENSE.md'
- 'README.md'
jobs:
ci:
runs-on: ${{ matrix.os }}
strategy:
matrix:
julia-version: [nightly]
julia-arch: [x64]
os: [ubuntu-latest]
steps:
- uses: actions/checkout@v4
- uses: julia-actions/setup-julia@v2
with:
version: ${{ matrix.julia-version }}
- uses: julia-actions/cache@v2
with:
cache-compiled: true
- uses: julia-actions/julia-runtest@v1
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- uses: julia-actions/julia-processcoverage@v1
- uses: codecov/codecov-action@v4
with:
flags: nightly
files: lcov.info
env:
CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}