Skip to content
Back to pull request #4203

chore(grit): don't use im::Vector where we don't have to #6463

Sign in to view logs

chore(grit): don't use im::Vector where we don't have to

chore(grit): don't use im::Vector where we don't have to #6463

Triggered via pull request October 7, 2024 19:05
@arendjrarendjr
opened #4203
arendjr:replace-im-vector-with-vec
Status Success
Total duration 17m 27s
Artifacts –

pull_request.yml

on: pull_request
Format project
1m 30s
Format project
Lint project
5m 58s
Lint project
Check Dependencies
9m 3s
Check Dependencies
Test node.js API
17m 15s
Test node.js API
Documentation
2m 36s
Documentation
Codegen
5m 13s
Codegen
Matrix: Test
Fit to window
Zoom out
Zoom in