Skip to content
This repository was archived by the owner on Oct 19, 2025. It is now read-only.
This repository was archived by the owner on Oct 19, 2025. It is now read-only.

Possible bug in surveyor virtual machine cleanup task scheduling #23

@fritzo

Description

@fritzo

Spurious results indicate the VM-backed surveyor misses occasional tasks during cleanup. To diagnose further, try the following:

python -m pomagma init skrj  # or another theory
python -m pomagma update-theory skrj dry_run=True

If all is working correctly, update-theory prints 'theory did not change'.

Metadata

Metadata

Assignees

Labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions