Skip to content

Actions: pnmadelaine/FStar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update nix dependencies Build and test FStar #15: Commit 683cce7 pushed by pnmadelaine
August 6, 2024 19:00 1d 6h 15m 17s nix
nix
August 6, 2024 19:00 1d 6h 15m 17s
format using nixfmt-rfc-style Build and test FStar #14: Commit 6a03bc6 pushed by pnmadelaine
July 15, 2024 13:36 1d 11h 39m 22s nix
nix
July 15, 2024 13:36 1d 11h 39m 22s
Merge pull request #3351 from mtzguido/mathix Build and test FStar #13: Commit 6faf660 pushed by pnmadelaine
July 15, 2024 13:28 1d 11h 46m 58s master
master
July 15, 2024 13:28 1d 11h 46m 58s