Dev.logs #75

SamuelLarkin merged 1 commit into main from dev.logs
roedoejet
roedoejet roedoejet requested a review from joanise joanise 1 year ago
roedoejet roedoejet requested a review from SamuelLarkin SamuelLarkin 1 year ago
roedoejet roedoejet requested a review from marctessier marctessier 1 year ago
roedoejet roedoejet changed the base branch from main to dev.docs 1 year ago
codecov
joanise joanise removed review request from joanise joanise 1 year ago
joanise
Base automatically changed from dev.docs to main 1 year ago
SamuelLarkin
joanise
roedoejet refactor(config): change default log dir from logs to logs_and_checkp…
5db4ec33
joanise joanise force pushed from be74a8c3 to 5db4ec33 1 year ago
joanise
SamuelLarkin
SamuelLarkin commented on 2023-09-12
SamuelLarkin
SamuelLarkin approved these changes on 2023-09-12
SamuelLarkin SamuelLarkin merged e05ac37b into main 1 year ago
SamuelLarkin SamuelLarkin deleted the dev.logs branch 1 year ago
roedoejet
roedoejet
joanise

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone