ta
taucad
GitHub
taucad/tau
Workspace
GitHub
CI Pipeline Executions
Current execution
Succeeded
geospec
Runs and Agents
Timeline
Beta
Configuration
Self-Healing CI
Project Graph
Circular Dependencies
Enterprise
Resource Usage
Analysis
Conformance
Enterprise
Runs
Insights
Compare tasks
Analytics
Sign in
Toggle sidebar
build(formal): Download the pinned TLC jar from tau's copy
⌘K
Succeeded
GitHub
Open on GitHub
build(formal): Download the pinned TLC jar from tau's copy
view more
C
Claude
199c8079
geospec
Latest execution
Loading graph
GitHub
taucad/tau
Workspace