Skip to content
Dev

Merge remote-tracking branch 'upstream/main' into repartition_poc_2 #837

Sign in to view logs

Merge remote-tracking branch 'upstream/main' into repartition_poc_2

Merge remote-tracking branch 'upstream/main' into repartition_poc_2 #837

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check License Header
3m 27s
Use prettier to check formatting of documents
12s
3m 39s