Skip to content

put parse trees in database order #636

put parse trees in database order

put parse trees in database order #636

Annotations

2 warnings

Rebuild and test (ubuntu-20.04, stable)

succeeded Oct 28, 2024 in 1m 17s
Set up job
1s
Run actions/checkout@v2
1s
Install rust
0s
Run tests
54s
Clippy
9s
Format
2s
Docs
2s
Verify official set.mm
6s
Post Run actions/checkout@v2
0s
Complete job
0s