Skip to content
Test Workspace

Engine: F*: fix \0 #3525

Sign in to view logs

Engine: F*: fix \0

Engine: F*: fix \0 #3525

Triggered via pull request November 28, 2024 12:30
@W95PspW95Psp
synchronize #1147
fix-null-char
Status Success
Total duration 4m 44s
Artifacts –

test.yml

on: pull_request
no-std-lib
28s
no-std-lib
Matrix: test-workspace
Fit to window
Zoom out
Zoom in