[nongnu] elpa/idris-mode updated (4a36953e76 -> 744f773bb4)

[ELPA Syncer]

elpasync pushed a change to branch elpa/idris-mode.

      from  4a36953e76 Merge pull request #580 from 
keram/load-file-switch-dir-idris2
       new  94a88cdb99 Restore position after case split
       new  80861674a6 Debug CI idris2 failure 2 - try retry to wait for idris 
version in idris-switch-working-directory
       new  cab95f1fca wip test
       new  b39a08790e Merge pull request #583 from keram/update-pr-465
       new  3d460800a4 Remove unecessary pop or display notes buffer
       new  3f7eef3569 Split idris-list-compiler-notes to 
idris-compiler-notes-list-show
       new  8c1a079a8e Use idris-notes-buffer-name in idris-notes-quit
       new  888bf9614f Make notes buffer special and make the show function 
similar to holes one
       new  43aead3c46 Make idris-compiler-notes-list-show more similar with 
idris-hole-list-show
       new  68fe8e115f Move idris-list-compiler-notes into idris-commands.el
       new  a971194d56 Merge pull request #582 from 
keram/notes-error-buffer-code-cleanup
       new  a9d12c89e2 Add Emacs 28.2 to test matrix and
       new  51caa5f3a5 Merge pull request #585 from keram/emacs28-and-cache-v3
       new  9ebd0a7d26 Revert "Restore position after case split"
       new  063a63b770 Merge pull request #586 from 
idris-hackers/revert-583-update-pr-465
       new  9a4a9641b9 [ new ] intro command - backport from idris2-mode
       new  5b3c88dc1d Add test for idris-refine
       new  744f773bb4 Merge pull request #578 from keram/backport-pr-21-intro


Summary of changes:
 .github/workflows/idris1.yml | 13 ++++++------
 .github/workflows/idris2.yml |  8 +++++---
 idris-commands.el            | 46 +++++++++++++++++++++++++++---------------
 idris-keys.el                |  3 ++-
 idris-tests.el               | 25 +++++++++++++++++++++++
 idris-warnings-tree.el       | 48 ++++++++++++++++++--------------------------
 inferior-idris.el            |  5 ++---
 test-data/Refine.idr         |  4 ----
 8 files changed, 91 insertions(+), 61 deletions(-)