Skip to content

issues Search Results · language:Dune language:JavaScript language:JavaScript language:Python language:Java language:Java

Filter by

55.4M results  (757 ms)

55.4M results

Release 2.1.74 Repo: vergil-project/vergil-tooling !-- vrg-release:progress -- - [x] audit - [x] preflight - [x] prepare - [x] merge-release - [x] confirm-main - [x] back-merge-bump - ...

Agent State !-- agent-state:v1 status: in-progress claim_session: codex-faz24-retention-cleanup-jobs-20260625 claim_worktree: /Users/halilkocoglu/Documents/platform-backend/.worktrees/faz24-retention-cleanup-jobs-20260625 ...
gate
kvkk
priority:p0
project-roadmap
quality
security

I always receive this notification.

Professores vão conseguir registrar documentos de cronogramas de alunos, é necessário que exista uma análise desses documentos para eles serem vinculados ao banco de dados.

Context Currently, .borg.toml is given priority, which is counter-intuitive to someone who specified -u on the command line.

Follow-up to #800 (the #392 audit s assert fix). #800 implemented the prove half of the WP rule assert(P) | P WP(rest) — a body assert(P) now carries a Tier-1 proof obligation. The assume half is not ...
verification
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! Restrict your search to the title by using the in:title qualifier.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! Restrict your search to the title by using the in:title qualifier.