Skip to content

Use int32 as the default integer type. #1577

Use int32 as the default integer type.

Use int32 as the default integer type. #1577

Triggered via pull request October 30, 2023 23:41
Status Success
Total duration 9m 1s
Artifacts 1

conformance-report.yml

on: pull_request
Create conformance report for `push` and `pull_request` events
6m 44s
Create conformance report for `push` and `pull_request` events
Create comparison report for `pull_request` event
2m 0s
Create comparison report for `pull_request` event
Fit to window
Zoom out
Zoom in

Annotations

1 error
Create conformance report for `push` and `pull_request` events
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
artifact Expired
599 KB