42
42
echo " 🏆 Pylint score: $SCORE out of 10"
43
43
echo "PYLINT_SCORE=$SCORE" >> $GITHUB_ENV
44
44
echo "PYLINT_OUTPUT_FILE=$PYLINT_OUTPUT_FILE" >> $GITHUB_ENV
45
+ echo "TIMESTAMP=$TIMESTAMP" >> $GITHUB_ENV
45
46
46
47
# Determine badge color based on score and add it as an environment variable
47
48
python3 src/rattlesnake/cicd/pylint_badge_color.py "$SCORE"
51
52
echo "PYLINT_OUTPUT_FILE=${{ env.PYLINT_OUTPUT_FILE }}"
52
53
echo "PYLINT_SCORE=${{ env.PYLINT_SCORE }}"
53
54
echo "BADGE_COLOR=${{ env.BADGE_COLOR }}"
55
+ echo "TIMESTAMP=${{ env.TIMESTAMP }}"
54
56
55
57
- name : Create custom Pylint Report in HTML format (refined version)
56
58
run : |
@@ -64,21 +66,25 @@ jobs:
64
66
--github_sha ${{ github.sha }} \
65
67
--github_repo ${{ github.repository }}
66
68
67
- - name : Prepare GitHub Pages main landing page content
69
+ - name : Create GitHub Pages content
68
70
if : github.ref == 'refs/heads/dev' # Only deploy on dev branch
69
71
run : |
70
72
# Create pages directory structure
71
73
mkdir -p pages/reports/pylint
72
-
74
+
73
75
# Copy the pylint report as the main report
74
76
cp pylint_report.html pages/reports/pylint/index.html
75
-
76
- # Create a main index page for all reports, located at
77
- # https://sandialabs.github.io/rattlesnake-vibration-controller/
78
- python src/rattlesnake/cicd/reports_main_page.py \
79
- --github_repo ${{ github.repository }} \
80
- --pylint_score ${{ env.PYLINT_SCORE }} \
81
- --output_file pages/index.html
77
+
78
+ #
79
+ # Update 2025-08-15: This will eventually become the main documentation
80
+ # landing page, and reports_main_page.py will need to be refactored:
81
+ #
82
+ # # Create a main index page for all reports, located at
83
+ # # https://sandialabs.github.io/rattlesnake-vibration-controller/
84
+ # python src/rattlesnake/cicd/reports_main_page.py \
85
+ # --github_repo ${{ github.repository }} \
86
+ # --pylint_score ${{ env.PYLINT_SCORE }} \
87
+ # --output_file pages/index.html
82
88
83
89
- name : Create pylint badge with GitHub Pages link
84
90
# if: github.ref == 'refs/heads/main' # Only create badge on main branch
98
104
"pages_url": "https://${{ github.repository_owner }}.github.io/${{ github.event.repository.name }}/reports/pylint/",
99
105
"workflow_url": "${{ github.server_url }}/${{ github.repository }}/actions/workflows/pylint.yml",
100
106
"run_id": "${{ github.run_id }}",
101
- "timestamp": "$(date -u +"%Y-%m-%dT%H:%M:%SZ")"
107
+ # "timestamp": "$(date -u +"%Y-%m-%dT%H:%M:%SZ")",
108
+ "timestamp": "${{ env.TIMESTAMP }}"
102
109
}
103
110
EOF
104
111
0 commit comments