update pulse instructions #4096
Conversation
|
|
||
| ## Pulse library and samples | ||
|
|
||
| Look in FStar/../pulse to find Pulse examples & the library. |
There was a problem hiding this comment.
Could we just move this file into the pulse repo instead?
There was a problem hiding this comment.
I considered that, but I want a single .github folder with all the agents and skills, shared between FStarCoder and PulseCoder, since the skills overlap.
An alternative would be to have no agents descriptions in this repo, but to have another repo altogether with F*, Pulse, Karamel, EverParse, etc. as submodules, and to have agent descriptions there.
I'm merging this for now, but would be happy to move this elsewhere, if we decide that's better.
There was a problem hiding this comment.
FWIW, my use case is running copilot in the pulse repo. A big draw of having the files in pulse/.github/* is that you don't need to fiddle with paths and things just work out of the box.
But yeah, on second thought, things would work great in pulse then---but projects using pulse still have the same problem. So I won't wont push for this.
to have another repo altogether with F*, Pulse, Karamel, EverParse, etc. as submodules
That would make things worse for me.
2 participants
No description provided.