Skip to content
Nix Flake Check

Merge pull request #344 from GrigorenkoPV/kani #142

Sign in to view logs

Merge pull request #344 from GrigorenkoPV/kani

Merge pull request #344 from GrigorenkoPV/kani #142

Triggered via push January 7, 2024 07:28
@b3nj5m1nb3nj5m1n
pushed f245eba
main
Status Success
Total duration 27s
Artifacts –

nix.yml

on: push
tests
18s
tests
Fit to window
Zoom out
Zoom in