mirror of
https://github.com/julia-actions/julia-processcoverage.git
synced 2026-02-17 21:46:59 +08:00
Compare commits
6 Commits
v1.2
...
dependabot
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
69108d0d8e | ||
|
|
51178d2d1c | ||
|
|
32c9a92ffc | ||
|
|
de15ca79be | ||
|
|
0d1581b1d9 | ||
|
|
3c74a1a7cd |
12
.github/dependabot.yml
vendored
Normal file
12
.github/dependabot.yml
vendored
Normal file
@@ -0,0 +1,12 @@
|
|||||||
|
# To get started with Dependabot version updates, you'll need to specify which
|
||||||
|
# package ecosystems to update and where the package manifests are located.
|
||||||
|
# Please see the documentation for all configuration options:
|
||||||
|
# https://docs.github.com/github/administering-a-repository/configuration-options-for-dependency-updates
|
||||||
|
|
||||||
|
version: 2
|
||||||
|
updates:
|
||||||
|
# Keep dependencies for GitHub Actions up-to-date
|
||||||
|
- package-ecosystem: 'github-actions'
|
||||||
|
directory: '/'
|
||||||
|
schedule:
|
||||||
|
interval: 'daily'
|
||||||
4
.github/workflows/backup.yml
vendored
4
.github/workflows/backup.yml
vendored
@@ -12,7 +12,7 @@ jobs:
|
|||||||
|
|
||||||
steps:
|
steps:
|
||||||
- name: Configure cache
|
- name: Configure cache
|
||||||
uses: actions/cache@v2
|
uses: actions/cache@v3
|
||||||
with:
|
with:
|
||||||
path: |
|
path: |
|
||||||
${{ env.GITHUB_WORKSPACE }}
|
${{ env.GITHUB_WORKSPACE }}
|
||||||
@@ -20,7 +20,7 @@ jobs:
|
|||||||
key: ${{ runner.os }}
|
key: ${{ runner.os }}
|
||||||
|
|
||||||
- name: Install the correct Python version
|
- name: Install the correct Python version
|
||||||
uses: actions/setup-python@v2
|
uses: actions/setup-python@v6
|
||||||
with:
|
with:
|
||||||
python-version: '3.x'
|
python-version: '3.x'
|
||||||
|
|
||||||
|
|||||||
2
main.jl
2
main.jl
@@ -7,7 +7,7 @@ Pkg.add(PackageSpec(name="CoverageTools"))
|
|||||||
using CoverageTools
|
using CoverageTools
|
||||||
|
|
||||||
directories = get(ENV, "INPUT_DIRECTORIES", "src,ext")
|
directories = get(ENV, "INPUT_DIRECTORIES", "src,ext")
|
||||||
dirs = filter!(!isempty, split(directories, ","))
|
dirs = filter!(!isempty, strip.(split(directories, ",")))
|
||||||
for dir in dirs
|
for dir in dirs
|
||||||
if dir == "ext"
|
if dir == "ext"
|
||||||
continue # Silently skip this directory
|
continue # Silently skip this directory
|
||||||
|
|||||||
Reference in New Issue
Block a user