Add generation of proof files #27
michael
commented
Owner
No description provided.
michael
self-assigned this
michael
added reference feature/create-spec-from-template 
marfavi
referenced this issue from a pull request that will close it,
Create proof files from templates #28
marfavi
self-assigned this
marfavi
referenced this issue from a pull request that will close it,
Create proof files from templates #28
marfavi
referenced this issue from a commit
docs(createProofFiles): spell out placeholder bodies and skip-only policy
marfavi
referenced this issue
branch suggestion: create proof files from template #63
marfavi
added this to the Release roadmap project
marfavi
closed this issue
marfavi
referenced this issue from a commit
Create proof files from templates (#28)
Labels
No labels
blocked
bug
priority!
quick-pick
No milestone
No project
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set
Reference
code2rocq/crocq#27
Loading…
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?