Jordan Barrett

Here's a solution I've found. My workflow looks like this: ```yaml - run: sudo touch /continue - name: Open SSH session uses: mxschmitt/action-tmate@v3 - (actual workflow steps here...) - name:...

I also get this error.

I'm still having this issue on Windows 10. `C-c` for copy seems to work when something is selected, but `C-x` always gives the message ``` (Ctrl+X) was pressed. Waiting for...

I think only Agda files - I haven't noticed it in other files.

If possible, it would actually be quite useful to have Unicode input in find/replace. You would have to ensure that the resulting character ends up in the find/replace bar, rather...

It may have been removed due to the [deprecation of Manifest V2](https://developer.chrome.com/blog/mv2-transition/).

This extension will need to be changed to follow the new Manifest V3 protocol (see e.g. [here](https://developer.chrome.com/docs/extensions/mv3/intro/mv3-migration/)). I tried to do it myself, but the changes appear to be nontrivial...

I'm interested in solving this issue.

Some examples of properties that we might like to prove for each of `floor`, `ceiling`, `truncate`, `round`: - Monotonicity: `floor p ≤ p`*, `ceiling p ≥ p`, `| truncate p...

> My opinion is that abbreviation in library could cause confusion and naming conflict. Sure, that's a valid concern. Although, we already use a lot of abbreviations and I don't...