issues Search Results · language:Dune language:JavaScript language:JavaScript language:Python language:Java language:Java
Filter by
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
- ...
wphillipmoore
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
Halildeu
icarok99-altProfessores 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.
bernardoxdev
Context
Currently, .borg.toml is given priority, which is counter-intuitive to someone who specified -u on the command line.
edthedev
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
aallan
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 IssuesProTip! Restrict your search to the title by using the in:title qualifier.
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 IssuesProTip! Restrict your search to the title by using the in:title qualifier.