Skip to content

Create F* release and publish #42

Create F* release and publish

Create F* release and publish #42

Manually triggered January 14, 2024 00:33
Status Success
Total duration 57m 12s
Artifacts

release.yml

on: workflow_dispatch
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
build-macos: ulib/fs/FStar_HyperStack_ST.fs#L43
Possible incorrect indentation: this token is offside of context started at position (42:27). Try indenting this token further or using standard formatting conventions.
build-macos: ulib/fs/FStar_HyperStack_ST.fs#L43
Possible incorrect indentation: this token is offside of context started at position (42:27). Try indenting this token further or using standard formatting conventions.
build-macos: ulib/fs/FStar_HyperStack_ST.fs#L43
Possible incorrect indentation: this token is offside of context started at position (42:27). Try indenting this token further or using standard formatting conventions.
build-macos: ulib/fs/FStar_HyperStack_ST.fs#L43
Possible incorrect indentation: this token is offside of context started at position (42:27). Try indenting this token further or using standard formatting conventions.
build-macos: ulib/fs/FStar_HyperStack_ST.fs#L43
Possible incorrect indentation: this token is offside of context started at position (42:27). Try indenting this token further or using standard formatting conventions.
build-macos: ulib/fs/FStar_HyperStack_ST.fs#L43
Possible incorrect indentation: this token is offside of context started at position (42:27). Try indenting this token further or using standard formatting conventions.
build-macos: ulib/fs/FStar_HyperStack_ST.fs#L46
Possible incorrect indentation: this token is offside of context started at position (45:17). Try indenting this token further or using standard formatting conventions.
build-macos: ulib/fs/FStar_HyperStack_ST.fs#L46
Possible incorrect indentation: this token is offside of context started at position (45:17). Try indenting this token further or using standard formatting conventions.
build-macos: ulib/fs/FStar_HyperStack_ST.fs#L46
Possible incorrect indentation: this token is offside of context started at position (45:17). Try indenting this token further or using standard formatting conventions.
build-macos: ulib/fs/FStar_HyperStack_ST.fs#L46
Possible incorrect indentation: this token is offside of context started at position (45:17). Try indenting this token further or using standard formatting conventions.