-
Notifications
You must be signed in to change notification settings - Fork 24
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#535 In LFDT-Minokawa/compact;
- Status: Open.#534 In LFDT-Minokawa/compact;
- Status: Open.#533 In LFDT-Minokawa/compact;
- Status: Open.#532 In LFDT-Minokawa/compact;
Move "Agda formal verification" to a nightly CI action
triagedIssues that have been triaged by the teamIssues that have been triaged by the teamtype: enhancementNew feature or requestNew feature or requestStatus: Open.#512 In LFDT-Minokawa/compact;Set up OIDC publishing for NPM
triagedIssues that have been triaged by the teamIssues that have been triaged by the teamtype: enhancementNew feature or requestNew feature or requestStatus: Open.#509 In LFDT-Minokawa/compact;- Status: Open.#499 In LFDT-Minokawa/compact;
- Status: Open.#483 In LFDT-Minokawa/compact;
- Status: Open.#480 In LFDT-Minokawa/compact;
- Status: Open.#479 In LFDT-Minokawa/compact;
- Status: Open.#478 In LFDT-Minokawa/compact;
- Status: Open.#477 In LFDT-Minokawa/compact;