core/core-agent-ide
8
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore: move explorer to spark (#11745)

Browse source
This commit is contained in:
jif-oai 2026-02-13 16:13:24 +00:00 • committed by GitHub
parent db66d827be
commit 561fc14045
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
codex-rs/core/src/agent/role.rs
View file

@ -8,7 +8,7 @@ use serde::Serialize;
const ORCHESTRATOR_PROMPT: &str = include_str!("../../templates/agents/orchestrator.md");
/// Default model override used.
// TODO(jif) update when we have something smarter.
const EXPLORER_MODEL: &str = "gpt-5.1-codex-mini";
const EXPLORER_MODEL: &str = "gpt-5.3-codex-spark";
/// Enumerated list of all supported agent roles.
const ALL_ROLES: [AgentRole; 3] = [

2
codex-rs/core/src/codex.rs
View file

@ -4360,7 +4360,7 @@ pub(crate) async fn run_turn(
let estimated_token_count =
sess.get_estimated_token_count(turn_context.as_ref()).await;
info!(
trace!(
turn_id = %turn_context.sub_id,
total_usage_tokens,
estimated_token_count = ?estimated_token_count,