Skip to content

adding fmt dependency (#216)#235

Merged
strasdat merged 5 commits intomasterfrom
fmt
May 6, 2021
Merged

adding fmt dependency (#216)#235
strasdat merged 5 commits intomasterfrom
fmt

Conversation

@strasdat
Copy link
Copy Markdown
Owner

No description provided.

@strasdat strasdat force-pushed the fmt branch 14 times, most recently from f744db7 to c446c96 Compare May 6, 2021 01:36
@coveralls
Copy link
Copy Markdown

coveralls commented May 6, 2021

Coverage Status

Coverage decreased (-0.2%) to 98.825% when pulling f659d7a on fmt into 97e7161 on master.

@strasdat strasdat force-pushed the fmt branch 6 times, most recently from 7b55e07 to 84758ea Compare May 6, 2021 18:34
@strasdat strasdat force-pushed the fmt branch 3 times, most recently from c07db34 to 4e04a0a Compare May 6, 2021 19:28
@strasdat strasdat merged commit dbb884a into master May 6, 2021
@strasdat strasdat deleted the fmt branch January 6, 2023 16:12
Joachim-Despature pushed a commit to Joachim-Despature/Sophus that referenced this pull request May 24, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants