Stefano Cordio
98a4228844
Allow CI on any branch, skip CD on forks
...
Signed-off-by: Stefano Cordio <stefano.cordio@gmail.com >
2025-02-20 11:21:07 +01:00
Mahmoud Ben Hassine
acdb1741f1
Add workflow_dispatch trigger to the CI build
...
This is needed to manually trigger the workflow
without having to push a commit to the main branch.
The typical use case is when an upstream dependency
causes a build failure in the latest snapshot and
we want to test the fix by triggering a new build on
github.
2024-09-30 13:20:17 +02:00
Mahmoud Ben Hassine
f9a3ca5e43
Fix javadocs deployment path
2024-05-29 11:01:31 +02:00
Mahmoud Ben Hassine
94ec542905
Fix command syntax in documentation deployment scripts
2024-04-24 12:11:35 +02:00
Mahmoud Ben Hassine
52beef2dac
Fix javadocs deployment script
...
Resolves #4511
2023-12-15 10:46:40 +01:00
Mahmoud Ben Hassine
df4bf84688
Fix Javadocs assembly
2023-09-11 11:17:38 +02:00
Mahmoud Ben Hassine
73450563e5
Fix continuous integration workflow
2023-09-08 22:40:00 +02:00
Mahmoud Ben Hassine
a5b7b14af8
Add branch 5.0.x to the CI/CD workflow
2023-08-03 10:18:57 +02:00
Mahmoud Ben Hassine
dee6862f9a
Rename Github Actions workflow files
2023-02-27 22:34:08 +01:00
