Skip to content

Make a private nonstd.h header, and remove some inline definitions #46

Make a private nonstd.h header, and remove some inline definitions

Make a private nonstd.h header, and remove some inline definitions #46

Triggered via pull request July 11, 2024 10:31
Status Success
Total duration 34m 17s
Artifacts 2

ci.yml

on: pull_request
Format and License Checks
1m 39s
Format and License Checks
Matrix: CI
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
logs-sgx
11 MB
logs-virtual
59.1 MB