Skip to content
.github/workflows/nix.yml

chore: update F* #102

Sign in to view logs

chore: update F*

chore: update F* #102

Triggered via push September 2, 2024 21:31
@TWalTWal
pushed ad173bc
pre-main
Status Success
Total duration 19m 10s
Artifacts –

nix.yml

on: push
Nix
19m 1s
Nix
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Nix
This self-hosted runner is currently using runner version 2.317.0. This version is out of date. Please update to the latest version 2.319.1