refactor(数据结构): ♻️ 现在抽象陈述也有参数「陈述类型」了 #27
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: CI | |
| on: | |
| - push | |
| - pull_request | |
| env: | |
| JULIA_NUM_THREADS: auto | |
| jobs: | |
| test: | |
| name: Julia ${{ matrix.version }} - ${{ matrix.os }} - ${{ matrix.arch }} - ${{ github.event_name }} | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| version: | |
| # Version 1.7 and below cause of failure: Global variables cannot attach type annotations | |
| - '1.8' # Replace this with the minimum Julia version that your package supports. E.g. if your package requires Julia 1.5 or higher, change this to '1.5'. | |
| - '1' # Leave this line unchanged. '1' will automatically expand to the latest stable 1.x release of Julia. | |
| - 'nightly' | |
| os: | |
| # - ubuntu-latest # Temporately disable Ubuntu CI due to `Packages with nested code structure are unable to compiled` and error `SystemError: opening file "/home/runner/work/JuNarsese.jl/JuNarsese.jl/src/Narsese/Terms.jl": No such file or directory` | |
| - macOS-latest | |
| - windows-latest | |
| arch: | |
| - x64 | |
| steps: | |
| - uses: actions/checkout@v2 | |
| - uses: julia-actions/setup-julia@v1 | |
| with: | |
| version: ${{ matrix.version }} | |
| arch: ${{ matrix.arch }} | |
| - uses: actions/cache@v1 | |
| env: | |
| cache-name: cache-artifacts | |
| with: | |
| path: ~/.julia/artifacts | |
| key: ${{ runner.os }}-test-${{ env.cache-name }}-${{ hashFiles('**/Project.toml') }} | |
| restore-keys: | | |
| ${{ runner.os }}-test-${{ env.cache-name }}- | |
| ${{ runner.os }}-test- | |
| ${{ runner.os }}- | |
| - uses: julia-actions/julia-buildpkg@v1 | |
| - uses: julia-actions/julia-runtest@v1 | |
| continue-on-error: ${{ matrix.version == 'nightly' }} | |
| - uses: julia-actions/julia-processcoverage@v1 | |
| - name: Upload datas to Codecov | |
| uses: codecov/codecov-action@v3 | |
| with: | |
| file: lcov.info |