Skip to content

Ci/add create doc workflow#1

Open
Baertig wants to merge 1 commit intomasterfrom
ci/add_create_doc_workflow
Open

Ci/add create doc workflow#1
Baertig wants to merge 1 commit intomasterfrom
ci/add_create_doc_workflow

Conversation

@Baertig
Copy link
Copy Markdown
Owner

@Baertig Baertig commented Mar 12, 2025

Contribution description

Testing procedure

Issues/PRs references

@Baertig Baertig force-pushed the ci/add_create_doc_workflow branch 2 times, most recently from 6d15d63 to 01d51c6 Compare March 13, 2025 10:38
Repository owner deleted a comment from github-actions bot Mar 13, 2025
@Baertig Baertig force-pushed the ci/add_create_doc_workflow branch 3 times, most recently from 6316fc5 to 617c6ff Compare March 13, 2025 15:06
gh-actions: change compression level to 0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant