File tree 3 files changed +13
-1
lines changed
3 files changed +13
-1
lines changed Original file line number Diff line number Diff line change 13
13
runs-on : ubuntu-latest
14
14
outputs :
15
15
modified : ${{steps.check.outputs.modified}}
16
+ hash : ${{steps.push.outputs.hash}}
16
17
steps :
17
18
- uses : fkirc/skip-duplicate-actions@v5
18
19
with :
@@ -28,12 +29,16 @@ jobs:
28
29
id : check
29
30
run : echo "modified=$(git diff --quiet HEAD -- docs/contributors.md && echo false || echo true)" >> "$GITHUB_OUTPUT"
30
31
- name : Push to GitHub
32
+ id : push
31
33
if : steps.check.outputs.modified == 'true'
32
34
run : |
33
35
git -c "user.name=GitHub Actions" -c "user.email=" commit -am "Update contributors"
36
+ echo "hash=$(git rev-parse HEAD)" >> "$GITHUB_OUTPUT"
34
37
git push
35
38
36
39
gh-pages :
37
40
needs : update
38
41
if : needs.update.outputs.modified == 'true'
39
42
uses : ./.github/workflows/gh-pages.yml
43
+ with :
44
+ hash : ${{needs.update.outputs.hash}}
Original file line number Diff line number Diff line change 8
8
- docs/**
9
9
- mkdocs.yml
10
10
workflow_call :
11
+ inputs :
12
+ hash :
13
+ description : ' Commit hash to fetch from'
14
+ required : false
15
+ default : ' '
16
+ type : string
11
17
workflow_dispatch :
12
18
13
19
jobs :
19
25
cancel_others : ' true'
20
26
- uses : actions/checkout@v4
21
27
with :
28
+ ref : ${{inputs.hash}}
22
29
fetch-depth : 0 # for the 'Last updated' timestamp
23
30
- name : Install requirements
24
31
run : pip install -r requirements.txt
Original file line number Diff line number Diff line change @@ -18,7 +18,7 @@ This is a list of people who contributed to the roboticslab-uc3m software ecosys
18
18
- avegasanchez
19
19
- Bartek Łukawski (PeterBowman)
20
20
- beaelp
21
- - Borja Pérez ( Borailuce99)
21
+ - Borailuce99
22
22
- Carlos Llamas (cllamasmar)
23
23
- Cristina Arenas Izquierdo (crisarenas)
24
24
- DanielSRSH
You can’t perform that action at this time.
0 commit comments