Skip to content
CI

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

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) #2058

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

ci.yml

on: pull_request
formal-ledger-agda
32s
formal-ledger-agda
hs  /  build
4m 19s
hs / build
mkdocs  /  build
1m 47s
mkdocs / build
push-artifacts-to-branch
1m 5s
push-artifacts-to-branch
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
_build
116 MB
sha256:1155aa477e687fbc88fff02dcdc0879ddbc02ad27b6eb09c439b7dba1d9faf04
hs
4.94 MB
sha256:60f6bd9f419a80ae743bcc4deafd43e15d2400a35757659e97785722a64ae416
mkdocs
8.73 MB
sha256:a8a493205b418af6fdd75b745762f79440fc1cb38dff1f955878d9a4322b9062
typecheck.time
2.46 KB
sha256:9c46477bc6ce9600dfc275a1411dcfc1e58aaebebd7b0b644e40cca09f737b5c