pullrequests Search Results · language:Dune language:Python language:JavaScript language:Vue language:CSS language:Vue
Filter by
41.8M results
Post-merge follow-ups landed after #71. Six atomic, independent commits — review per-commit.
feat(z3): SMT boundary verification for governed callables
A Layer-3 formal-verification path that compiles ...
dislovelhl
Summary
- make Ask Documents use a fullscreen mobile chat layout
- add floating mobile buttons for the main menu and conversations drawer
- keep response copying available from assistant answer ...
heycat123
動機
回應使用者反饋「看不懂這數值要幹嘛 加上解說，請重新掃過這總經tab 把所有章節、段落都要被AI讀取，以及用白話文判讀」。
之前 #104 雖然把兩個校準卡的合成 radio 拿掉了，但：
1. 校準結果 metric 一堆數字（命中率/F1/precision/recall）使用者看不懂該怎麼用
2. Tab1 共 22 個章節，只有 6 個進 AI 白話總體檢（景氣位階 / 配置 ...
linchen-20200325
This PR has been triggered in an effort to close out the migration for ruby31.
IMPORTANT: If you close this PR, the bot will presume that the feedstock has been rebuilt with this update and WILL NOT
MAKE ...
regro-cf-autotick-bot-staging
dvsphanindra摘要
本 PR 实现 v1.4.0-alpha.3 的前端 config category filter。
在 v1.4.0-alpha.1 增加 config catalog metadata、v1.4.0-alpha.2 展示 metadata 的基础上，本 PR 进一步让用户可以按实验配置 category 过滤配置列表。
变更内容
- 在配置选择区域新增 category filter。 ...
Calvin1989
emilllarsen0 0 6 * ? * * is invalid — Quartz only allows ? in day-of-month or day-of-week, not month (and it had 7 fields).
Use 0 0 6 * * ? for daily 06:00 UTC. This was failing the bundle deploy (terraform: Invalid ...
simolima
samuelueluel
Hide panels if they are empty: meaning all configured cards or charts have not data then hide the panel
seehausen