Skip to content
CI

flake: fetch inputs via git+https so nix develop works behind the Claude web proxy (#1254) #2057

Sign in to view logs

flake: fetch inputs via git+https so nix develop works behind the Claude web proxy (#1254)

flake: fetch inputs via git+https so nix develop works behind the Claude web proxy (#1254) #2057

Triggered via pull request August 10, 2026 23:43
@williamdemeowilliamdemeo
synchronize #1255
claude/env-config-test-zheoxs
Status Success
Total duration 5m 34s
Artifacts 4

ci.yml

on: pull_request
formal-ledger-agda
38s
formal-ledger-agda
hs  /  build
3m 50s
hs / build
mkdocs  /  build
1m 51s
mkdocs / build
push-artifacts-to-branch
59s
push-artifacts-to-branch
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
_build
116 MB
sha256:01615a7c224b1ab361f698b86ecd576162adc797bd98fe5f1e3f33c73d9de15e
hs
4.94 MB
sha256:aa7c44835cee4003404d3b1d33c691b948eec36b914afa8cc2e2d07eb36bafa6
mkdocs
8.73 MB
sha256:7f972b402b5ce870b477ba26d7ada567e5148970c55c8e0b48cd588b61ffdbba
typecheck.time
2.46 KB
sha256:9c46477bc6ce9600dfc275a1411dcfc1e58aaebebd7b0b644e40cca09f737b5c