Skip to content
.github/workflows/nix.yml

chore: update F* #98

Sign in to view logs

chore: update F*

chore: update F* #98

Triggered via push August 25, 2024 14:50
@TWalTWal
pushed d5182f0
main
Status Success
Total duration 17s
Artifacts –

nix.yml

on: push
Nix
9s
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