8000 Update plugin tuto by SkySkimmer · Pull Request #20670 · rocq-prover/rocq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Update plugin tuto #20670

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 9 commits into
base: master
Choose a base branch
from
Open

Update plugin tuto #20670

wants to merge 9 commits into from

Conversation

SkySkimmer
Copy link
Contributor
@SkySkimmer SkySkimmer commented May 22, 2025 •
edited
Loading

@SkySkimmer SkySkimmer requested review from a team as code owners May 22, 2025 15:17
@SkySkimmer SkySkimmer added the request: full CI Use this label when you want your next push to trigger a full CI. label May 22, 2025
@coqbot-app coqbot-app bot removed the request: full CI Use this label when you want your next push to trigger a full CI. label May 22, 2025
@SkySkimmer SkySkimmer added the request: full CI Use this label when you want your next push to trigger a full CI. label May 22, 2025
@SkySkimmer SkySkimmer force-pushed the update-plugin-tuto branch from 7c8201d to 779e486 Compare May 22, 2025 15:21
@coqbot-app coqbot-app bot removed the request: full CI Use this label when you want your next push to trigger a full CI. label May 22, 2025
@SkySkimmer SkySkimmer added the request: full CI Use this label when you want your next push to trigger a full CI. label May 22, 2025
@SkySkimmer SkySkimmer force-pushed the update-plugin-tuto branch from 779e486 to e1534cb Compare May 22, 2025 15:24
@coqbot-app coqbot-app bot removed the request: full CI Use this label when you want your next push to trigger a full CI. label May 22, 2025
@github-actions github-actions bot added the needs: rebase Should be rebased on the latest master to solve conflicts or have a newer CI run. label Jun 3, 2025
@SkySkimmer SkySkimmer added kind: documentation Additions or improvement to documentation. request: full CI Use this label when you want your next push to trigger a full CI. labels Jun 3, 2025
@SkySkimmer SkySkimmer added this to the 9.1+rc1 milestone Jun 3, 2025
@SkySkimmer SkySkimmer force-pushed the update-plugin-tuto branch from e1534cb to 4668c96 Compare June 3, 2025 13:20
@coqbot-app coqbot-app bot removed request: full CI Use this label when you want your next push to trigger a full CI. needs: rebase Should be rebased on the latest master to solve conflicts or have a newer CI run. labels Jun 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
kind: documentation Additions or improvement to documentation.
Projects
None yet
Milestone
9.1+rc1
Development

Successfully merging this pull request may close these issues.
1 participant
@SkySkimmer
0