Skip to content

Add assert function to Haskell.Control.Exception #139

Add assert function to Haskell.Control.Exception

Add assert function to Haskell.Control.Exception #139

Annotations

1 warning

Typecheck with Agda with nix (agda2hs-lib)

succeeded Jan 9, 2025 in 1m 6s
Set up job
1s
Run actions/checkout@v3
1s
Run cachix/install-nix-action@v22
4s
Run DeterminateSystems/magic-nix-cache-action@v2
0s
Run nix build .#agda2hs-lib --print-build-logs
53s
Post Run DeterminateSystems/magic-nix-cache-action@v2
6s
Post Run actions/checkout@v3
0s
Complete job
0s