unimib-thesis-mad
/
reCTBN
1
0
Fork 0
Code Issues 9 Pull Requests 1 Releases Activity
Labels Milestones

Added basic GH workflow with lint, build and test #40

Merged
meliurwen merged 2 commits from 23-meta-add-github-workflows into dev 3 years ago
Conversation 0 Commits 2 Files Changed 1
meliurwen commented 3 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

Merge into Dev Checklist

  • Tests for the new code
  • Acceptance Testing

Changelog

  • Added basic CI with lint, build and test

(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 * #23 ## Merge into Dev Checklist * [x] Tests for the new code * [x] Acceptance Testing ## Changelog * Added basic CI with lint, build and test ## (Optional) Extra info None
AlessandroBregoli (Migrated from github.com) reviewed 3 years ago

Reviewers

AlessandroBregoli
The pull request has been merged as dba0b14918.
Sign in to join this conversation.
Reviewers
Request review
No reviewers
AlessandroBregoli
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
Assignees
Assign users
Clear assignees
No Assignees
1 Participants
Notifications
Due Date

No due date set.

Dependencies

No dependencies set.

Reference: unimib-thesis-mad/reCTBN#40
Write Preview
Loading…
Cancel
Save
There is no content yet.
Delete Branch '23-meta-add-github-workflows'

Deleting a branch is permanent. It CANNOT be undone. Continue?

No
Yes