|
|
2bc3dd2ee9
|
Remove PR creation: Commit and push directly to main
|
2025-11-20 01:49:20 +01:00 |
|
|
|
12626949fe
|
Optimize git operations: Add timeout, improve config, use shallow clone
|
2025-11-20 01:45:30 +01:00 |
|
|
|
1c301936f7
|
Create laws directory if it doesn't exist and check before conversion
|
2025-11-19 23:38:06 +01:00 |
|
|
|
222f0df2b3
|
Use Python virtual environment to avoid externally-managed-environment error
|
2025-11-19 23:22:30 +01:00 |
|
|
|
8589cfe98e
|
Improve pip installation: Add curl/wget fallback and ensure PATH in all steps
|
2025-11-19 23:13:59 +01:00 |
|
|
|
0a87854b53
|
Fix pip installation: Use get-pip.py without sudo, install packages with --user flag
|
2025-11-19 22:37:07 +01:00 |
|
|
|
7835b79db1
|
Fix pip installation: Install pip3 if not available
|
2025-11-19 20:47:33 +01:00 |
|
|
|
b3af9d2ce2
|
Fix git clone: Remove invalid --depth=0 parameter
|
2025-11-19 20:44:33 +01:00 |
|
|
|
f7a45d37de
|
Fix workflow: Remove GitHub Actions that require Node.js
|
2025-11-19 20:43:29 +01:00 |
|
|
|
64a265a7aa
|
Remove Unicode emojis from workflow file
|
2025-11-19 15:14:59 +01:00 |
|
|
|
709f843598
|
Update workflow: Create Pull Requests instead of direct push
|
2025-11-19 14:13:01 +01:00 |
|
|
|
73c1f5273d
|
Fix: GITHUB_OUTPUT und persist-credentials für Runner
|
2025-11-19 13:54:43 +01:00 |
|
