Skip to content

chore: CI update#57

Merged
albertodev01 merged 2 commits intomasterfrom
chore/ci-update
Dec 31, 2025
Merged

chore: CI update#57
albertodev01 merged 2 commits intomasterfrom
chore/ci-update

Conversation

@albertodev01
Copy link
Owner

@albertodev01 albertodev01 commented Dec 31, 2025

Why?

CI hasn't published the latest dart doc output to github pages

What?

  • Added a manual dispatch trigger
  • Added write permissions

Types of Changes

  • General improvements (quality updates to improve the stability of the project)

Notes

n/a

Checklist

  • I have provided a description of the proposed changes.
  • I added unit tests for all relevant code.
  • I added documentation for all relevant code.

@albertodev01 albertodev01 merged commit 0e00d9e into master Dec 31, 2025
1 check passed
@albertodev01 albertodev01 deleted the chore/ci-update branch December 31, 2025 15:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant