Skip to content

ci: adopt Paketabot - #376

Merged
dbrattli merged 1 commit into
mainfrom
agent/adopt-paketabot
Aug 15, 2026
Merged

ci: adopt Paketabot#376
dbrattli merged 1 commit into
mainfrom
agent/adopt-paketabot

Conversation

@dbrattli

Copy link
Copy Markdown
Collaborator

Summary

  • add the weekly and manually dispatchable Paketabot workflow
  • pin the reusable workflow to immutable release v1.0.0
  • pass the repository's PAKETABOT_TOKEN secret to Paketabot

The repository already contains the root paket.dependencies and paket.lock files required by Paketabot.

Validation

  • git diff --check
  • verified the workflow references Paketabot v1.0.0 and PAKETABOT_TOKEN
  • verified paket.dependencies and paket.lock are present

The PAKETABOT_TOKEN repository secret has been configured separately.

@dbrattli
dbrattli marked this pull request as ready for review August 15, 2026 19:29
@dbrattli
dbrattli merged commit 6641dca into main Aug 15, 2026
9 checks passed
@dbrattli
dbrattli deleted the agent/adopt-paketabot branch August 15, 2026 19:32
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