search

rzk-lang / sHoTT

Formalisations for simplicial HoTT and synthetic ∞-categories.
https://rzk-lang.github.io/sHoTT/
44 stars 12 forks source link

Fix permissions for autoformat workflow #96

Closed fredrik-bakke closed 1 year ago

fizruk commented 1 year ago

I don't see any re-formatted files after the CI run. Does this mean we already have everything well-formatted?

fizruk commented 1 year ago

I see, it sort of worked :)

fredrik-bakke commented 1 year ago

I'm suspicious that the reason my test didn't work is because the autoformatting would result in an empty commit.

fredrik-bakke commented 1 year ago

yep

fredrik-bakke commented 1 year ago

In practice that should never happen when we merge into main, but I'll see if I can fix it

fizruk commented 1 year ago

Looks good to me as it is, I think we can merge.

fredrik-bakke commented 1 year ago

RIght, sorry, I fixed the empty commit issue now though. Would you mind approving it again?

fredrik-bakke commented 1 year ago

I don't see any re-formatted files after the CI run. Does this mean we already have everything well-formatted?

Ah, sorry, I didn't see your question before. The autoformatter only formats files that are changed by the commit. Since I'm not committing any ill-formatted files, it is not changing any files at the moment.