Commit Graph
2 Commits
Author SHA1 Message Date
Manuel RaynaudandAnthony LC 9de17b3f82 👷(ci) cancel the superseded runs of a pull request
adding a concurrency group will now stop running CI if a new push is
made on the same branch.
2026-10-01 16:29:43 +02:00
Manuel RaynaudandAnthony LC d11d911c77 👷(ci) lint, typecheck, build and test the collaboration server
The CI was not setup for yhub, we added the missing jobs: lint, test and
typecheck
2026-10-01 16:29:42 +02:00