Skip to content
.github/workflows/nix.yml

chore: update F* & fix regressions #26

Sign in to view logs

chore: update F* & fix regressions

chore: update F* & fix regressions #26

Triggered via push February 13, 2024 09:07
@TWalTWal
pushed a590c14
main
Status Success
Total duration 28m 26s
Artifacts –

nix.yml

on: push
Nix
28m 17s
Nix
Fit to window
Zoom out
Zoom in

Annotations

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