diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-06-11 00:42:33 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-06-11 00:42:33 +0000 |
| commit | 57b55b51ee6a1d4678ba37e4631d61a248411ff2 (patch) | |
| tree | d8914aae376e7a4625e2d1d6c12beb2f0baf61ed /proof/_CoqProject | |
| parent | 8106d31690dad61ee0ec649ae6de7f4e3fe1830e (diff) | |
| download | Sakura-57b55b51ee6a1d4678ba37e4631d61a248411ff2.tar.gz Sakura-57b55b51ee6a1d4678ba37e4631d61a248411ff2.zip | |
Migrate the plan action constructors over to the unified interface (#73)
* Bump `RNT` to a version including the new unified planner interface
* Use the new unified planner interface
* github workflow
* Revert "github workflow"
This reverts commit 294b35a81569819047d4af173000b4ff7bc5d6a6.
* But do keep the flake changes
---------
Co-authored-by: Marcos Magueta <maguetamarcos@gmail.com>
Diffstat (limited to 'proof/_CoqProject')
0 files changed, 0 insertions, 0 deletions