Skip to content
.github/workflows/nix.yml

chore: update F* #97

Sign in to view logs

chore: update F*

chore: update F* #97

Triggered via push August 24, 2024 20:49
@TWalTWal
pushed d5182f0
pre-main
Status Success
Total duration 24m 42s
Artifacts –

nix.yml

on: push
Nix
24m 34s
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