Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commit a0085d0

Browse files
Merge pull request #855 from nicholasbishop/bishop-nixci-fix
ci: Fix developer_productivity push error
2 parents 837969d + 22bdccd commit a0085d0

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

‎.github/workflows/developer_productivity.yml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,8 @@ jobs:
1212
outputs:
1313
nix-src: ${{ steps.filter.outputs.nix-src }}
1414
steps:
15+
- name: Checkout sources
16+
uses: actions/checkout@v3
1517
- uses: dorny/paths-filter@v2
1618
id: filter
1719
with:

0 commit comments

Comments
(0)

AltStyle によって変換されたページ (->オリジナル) /