File tree 6 files changed +31
-8
lines changed
6 files changed +31
-8
lines changed Original file line number Diff line number Diff line change 23
23
- " dynamic"
24
24
os :
25
25
- " ubuntu-latest"
26
- # - "linux-arm64-ubuntu24"
26
+ - " linux-arm64-ubuntu24"
27
27
- " macos-13"
28
28
- " macos-latest"
29
29
runs-on : ${{ matrix.os }}
Original file line number Diff line number Diff line change 37
37
38
38
lint :
39
39
name : " Lint - Stable"
40
- runs-on : ubuntu-latest
40
+ strategy :
41
+ matrix :
42
+ os :
43
+ - " ubuntu-latest"
44
+ - " linux-arm64-ubuntu24"
45
+ - " macos-13"
46
+ - " macos-latest"
47
+ runs-on : ${{ matrix.os }}
41
48
steps :
42
49
- name : Checkout tiledb-rs
43
50
uses : actions/checkout@v4
57
64
lint-nightly :
58
65
name : " Lint - Nightly"
59
66
continue-on-error : true
60
- runs-on : ubuntu-latest
67
+ strategy :
68
+ matrix :
69
+ os :
70
+ - " ubuntu-latest"
71
+ - " linux-arm64-ubuntu24"
72
+ - " macos-13"
73
+ - " macos-latest"
74
+ runs-on : ${{ matrix.os }}
61
75
steps :
62
76
- name : Checkout tiledb-rs
63
77
uses : actions/checkout@v4
76
90
77
91
check-pr-title :
78
92
name : " Check Title Format"
93
+ if : ${{ github.ref != 'refs/heads/main' }}
79
94
runs-on : ubuntu-latest
80
95
steps :
81
96
- name : " Check Title Format"
Original file line number Diff line number Diff line change 1
- name : Nightly CI
1
+ name : Release
2
2
on :
3
3
workflow_dispatch :
4
4
push :
Original file line number Diff line number Diff line change @@ -21,6 +21,7 @@ which just means you get to skip a few chore steps.
21
21
1 . Create a new ` release-x.y ` branch
22
22
2 . Perform any maintenance actions
23
23
3 . Run ` ./scripts/make-release.sh `
24
+ 4 . When the Release workflow succeeds, publish the release using the GitHub UI
24
25
25
26
### 1. Create a new ` release-x.y ` Branch
26
27
Original file line number Diff line number Diff line change 3
3
NOTES=$( git cliff --unreleased --tag $1 )
4
4
git tag -a --cleanup verbatim -e -m " $NOTES " $1
5
5
git push origin $1
6
- gh release create $1 --verify-tag --notes " $NOTES "
6
+ gh release create $1 --draft -- verify-tag --notes " $NOTES "
Original file line number Diff line number Diff line change @@ -48,9 +48,16 @@ impl TDBString {
48
48
} ;
49
49
50
50
if res == ffi:: TILEDB_OK {
51
- let raw_slice: & [ u8 ] = unsafe {
52
- std:: slice:: from_raw_parts ( c_str as * const u8 , c_len)
53
- } ;
51
+ // The type of `c_str` is platform dependent which means that we
52
+ // have to cast anything that might use i8 to u8. However, this
53
+ // means that platforms (i.e., Ubuntu arm64) that have a u8
54
+ // c_char type will generate a clippy error about an unnecessary
55
+ // cast from u8 to u8. Hence why we're ignoring the lint here.
56
+ #[ allow( clippy:: unnecessary_cast) ]
57
+ let c_u8_str = c_str as * const u8 ;
58
+
59
+ let raw_slice: & [ u8 ] =
60
+ unsafe { std:: slice:: from_raw_parts ( c_u8_str, c_len) } ;
54
61
match std:: str:: from_utf8 ( raw_slice) {
55
62
Ok ( s) => Ok ( s. to_owned ( ) ) ,
56
63
Err ( e) => Err ( Error :: NonUtf8 ( raw_slice. to_vec ( ) , e) ) ,
You can’t perform that action at this time.
0 commit comments