Labels Milestones

Added docs generation in GitHub Workflows #67

Merged

meliurwen merged 1 commits from 65-meta-add-documentation-build-in-github-workflows into dev 2 years ago

Conversation 0 Commits 1 Files Changed 1

meliurwen commented 2 years ago (Migrated from github.com)

Owner

Description

See the issue related, what is done in the commits and in the changelog below.

Issues related

• #65

Merge into Dev Checklist

• Tests for the new code
• Acceptance Testing

Changelog

• Add cargo rustdoc in GitHub Workflows

(Optional) Extra info

None

<!-- # Pull/Merge Request into dev --> ## Description See the issue related, what is done in the commits and in the changelog below. ## Issues related * #65 ## Merge into Dev Checklist * [x] Tests for the new code * [x] Acceptance Testing ## Changelog * Add `cargo rustdoc` in GitHub Workflows ## (Optional) Extra info None

The pull request has been merged as 1cad41f7f4.

Sign in to join this conversation.

Reviewers

Request review

No reviewers

Labels

Apply labels

Clear labels

bug
Something isn't working documentation
Improvements or additions to documentation duplicate
This issue or pull request already exists enhancement
New feature or request help wanted
Extra help is needed invalid
This doesn't seem right meta
Something related to the project itself question
Further information is requested refactor
Change in the structure urgent wontfix
This will not be worked on

No Label bug documentation duplicate enhancement help wanted invalid meta question refactor urgent wontfix

Milestone

Set milestone

Clear milestone

No items

No Milestone

v0.1.0

Assignees

Assign users

Clear assignees

No Assignees

1 Participants

Notifications

Subscribe

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: unimib-thesis-mad/reCTBN#67

Write Preview

Loading…

Cancel

Save

There is no content yet.