Skip to content
This repository was archived by the owner on Oct 31, 2024. It is now read-only.

chore: switch to nightly build for doc #359

Merged
merged 1 commit into from
Oct 30, 2023
Merged

chore: switch to nightly build for doc #359

merged 1 commit into from
Oct 30, 2023

Conversation

Freyskeyd
Copy link
Member

Description

Switching to nightly for doc

PR Checklist:

  • I have performed a self-review of my code
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation
  • I have added or updated tests that comprehensively prove my change is effective or that my feature works

@Freyskeyd
chore: switch to nightly build for doc
28d954d 
Signed-off-by: Simon Paitrault <simon.paitrault@gmail.com>
@Freyskeyd Freyskeyd requested a review from a team as a code owner October 30, 2023 14:27
@Freyskeyd Freyskeyd requested review from dvdplm and JDawg287 October 30, 2023 14:27
@Freyskeyd Freyskeyd merged commit 7654ec6 into main Oct 30, 2023
@Freyskeyd Freyskeyd deleted the fix/doc-building-nightly-build branch October 30, 2023 14:29
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@gruberb gruberb gruberb approved these changes

@dvdplm dvdplm Awaiting requested review from dvdplm dvdplm is a code owner automatically assigned from topos-protocol/protocol

@JDawg287 JDawg287 Awaiting requested review from JDawg287 JDawg287 is a code owner automatically assigned from topos-protocol/protocol

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@Freyskeyd @gruberb