Skip to content
Check for stale hints

src: Renaming FStarC.Compiler.* -> FStarC.* #141

Sign in to view logs

src: Renaming FStarC.Compiler.* -> FStarC.*

src: Renaming FStarC.Compiler.* -> FStarC.* #141

Triggered via pull request January 9, 2025 19:29
@mtzguidomtzguido
opened #3666
mtzguido:rename
Status Success
Total duration 15s
Artifacts –

stale_hints.yml

on: pull_request
check_stale_hints
7s
check_stale_hints
Fit to window
Zoom out
Zoom in

Annotations

1 warning
check_stale_hints
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636