Skip to content
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

quick ci for docs-only changes #9216

Open
dckc opened this issue Apr 9, 2024 · 0 comments
Open

quick ci for docs-only changes #9216

dckc opened this issue Apr 9, 2024 · 0 comments
Labels
documentation Improvements or additions to documentation enhancement New feature or request needs-design tooling repo-wide infrastructure

Comments

@dckc
Copy link
Member

dckc commented Apr 9, 2024

What is the Problem Being Solved?

progress on reference docs (Agoric/documentation#1031) is gated on ~1/2hr of ci (1hr if there's a flake) for tiny changes such as #9214

Description of the Design

???

Security Considerations

Scaling Considerations

Test Plan

Upgrade Considerations
@dckc dckc added documentation Improvements or additions to documentation enhancement New feature or request tooling repo-wide infrastructure needs-design labels Apr 9, 2024
@dckc dckc mentioned this issue Apr 22, 2024
Closed
2 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
documentation Improvements or additions to documentation enhancement New feature or request needs-design tooling repo-wide infrastructure
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@dckc