Skip to content
CI

rename 'extern-so' to 'native-lib' #7467

Sign in to view logs

rename 'extern-so' to 'native-lib'

rename 'extern-so' to 'native-lib' #7467

Triggered via pull request May 10, 2024 16:27
@RalfJungRalfJung
synchronize #3593
RalfJung:native-lib
Status Success
Total duration 22m 24s
Artifacts –

ci.yml

on: pull_request
Matrix: build
style checks
2m 24s
style checks
bors build finished
0s
bors build finished
bors build finished
0s
bors build finished
cronjob failure notification
0s
cronjob failure notification
Fit to window
Zoom out
Zoom in