Antonio Scandurra cc788dc5f7 Verify saved_version, saved_version_fingerprint and saved_mtime

2023-01-17 16:46:06 +01:00

..

bin

Remove unused UserId import from seed script

2022-12-06 09:07:25 +01:00

db

WIP

2023-01-03 13:30:14 -07:00

rpc

Use a synchronous mutex for ConnectionPool

2022-12-13 13:50:51 +01:00

tests

Verify saved_version, saved_version_fingerprint and saved_mtime

2023-01-17 16:46:06 +01:00

api.rs

Merge branch 'main' into reconnections-2

2022-12-02 19:09:33 +01:00

auth.rs

Start using the new sea-orm backed database

2022-12-01 14:41:59 +01:00

db.rs

Update scan_id on worktree entries when there is a conflict

2023-01-04 13:59:16 -07:00

env.rs

Rename zed-server to collab

2022-04-09 08:30:42 -06:00

errors.rs

Remove more unused code related to GitHub auth and errors

2022-04-21 08:57:49 -06:00

executor.rs

WIP - Panic immediately when detecting non-determinism via a change to the execution trace

2022-12-23 17:34:13 -08:00

lib.rs

Move randomized integration test into its own file

2022-12-21 11:26:24 -08:00

main.rs

Minor stylistic change

2022-12-15 16:40:16 +01:00

rpc.rs

Share new worktrees when resharing project

2023-01-06 12:58:19 -07:00

tests.rs

Move randomized integration test into its own file

2022-12-21 11:26:24 -08:00