Skip to content

Actions: idris-hackers/idris-mode

Actions

Idris1 on Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
idris1.yml
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplify idris-quit Idris1 on Ubuntu #288: Pull request #641 synchronize by keram
August 25, 2025 15:22 2m 34s keram:idris-quit-v2
keram:idris-quit-v2
August 25, 2025 15:22 2m 34s
Simplify idris-quit Idris1 on Ubuntu #287: Pull request #641 opened by keram
August 25, 2025 12:19 2m 4s keram:idris-quit-v2
keram:idris-quit-v2
August 25, 2025 12:19 2m 4s
Reintroduce ipkg sourcedir regexp for Idris2 and further simplify related code. Idris1 on Ubuntu #286: Pull request #636 synchronize by keram
August 25, 2025 11:20 2m 18s keram:ipkg-idris2-sourcedir-re-v2
keram:ipkg-idris2-sourcedir-re-v2
August 25, 2025 11:20 2m 18s
Merge pull request #640 from keram/fix-latest-compile-errors-08-2025 Idris1 on Ubuntu #285: Commit da5c22f pushed by gallais
August 25, 2025 07:58 20m 46s main
main
August 25, 2025 07:58 20m 46s
Add lexical binding header and remove unused variable from idris-simple-indent.el Idris1 on Ubuntu #284: Pull request #640 opened by keram
August 24, 2025 21:33 19m 32s keram:fix-latest-compile-errors-08-2025
keram:fix-latest-compile-errors-08-2025
August 24, 2025 21:33 19m 32s
Merge pull request #639 from ska80/fixes1 Idris1 on Ubuntu #283: Commit ccf32ed pushed by jfdm
April 24, 2025 09:08 2m 26s main
main
April 24, 2025 09:08 2m 26s
Merge pull request #634 from keram/idris-filename-to-load-v2 Idris1 on Ubuntu #282: Commit 1856fdb pushed by jfdm
April 24, 2025 09:05 2m 16s main
main
April 24, 2025 09:05 2m 16s
A couple of improvements Idris1 on Ubuntu #281: Pull request #639 opened by ska80
April 23, 2025 17:37 4m 12s ska80:fixes1
ska80:fixes1
April 23, 2025 17:37 4m 12s
Merge pull request #638 from ZharMeny/main Idris1 on Ubuntu #280: Commit b264cbf pushed by jfdm
April 22, 2025 11:59 2m 43s main
main
April 22, 2025 11:59 2m 43s
Improve idris-filename-to-load to return expected pair of dir and relative path depending on idris-protocol version Idris1 on Ubuntu #279: Pull request #634 synchronize by keram
April 18, 2025 13:15 2m 59s keram:idris-filename-to-load-v2
keram:idris-filename-to-load-v2
April 18, 2025 13:15 2m 59s
Merge pull request #637 from keram/idris-make-lemma-doc-string Idris1 on Ubuntu #278: Commit a797d77 pushed by jfdm
April 15, 2025 11:09 20m 7s main
main
April 15, 2025 11:09 20m 7s
Merge pull request #635 from keram/ipkg-comment-syntax Idris1 on Ubuntu #277: Commit 116daac pushed by jfdm
April 15, 2025 11:07 20m 35s main
main
April 15, 2025 11:07 20m 35s
Update idris-make-lemma to insert lemma above doc string of current function. Idris1 on Ubuntu #275: Pull request #637 opened by keram
July 17, 2024 14:26 2m 22s keram:idris-make-lemma-doc-string
keram:idris-make-lemma-doc-string
July 17, 2024 14:26 2m 22s
Improve idris-filename-to-load to return expected pair of dir and relative path depending on idris-protocol version Idris1 on Ubuntu #274: Pull request #634 synchronize by keram
July 15, 2024 13:08 2m 21s keram:idris-filename-to-load-v2
keram:idris-filename-to-load-v2
July 15, 2024 13:08 2m 21s
Reintroduce ipkg sourcedir regexp for Idris2 and further simplify related code. Idris1 on Ubuntu #273: Pull request #636 opened by keram
July 13, 2024 19:52 2m 15s keram:ipkg-idris2-sourcedir-re-v2
keram:ipkg-idris2-sourcedir-re-v2
July 13, 2024 19:52 2m 15s
Specify -- as comment syntax for ipkg mode Idris1 on Ubuntu #272: Pull request #635 opened by keram
July 13, 2024 15:55 2m 22s keram:ipkg-comment-syntax
keram:ipkg-comment-syntax
July 13, 2024 15:55 2m 22s
Improve idris-filename-to-load to return expected pair of dir and relative path depending on idris-protocol version Idris1 on Ubuntu #271: Pull request #634 synchronize by keram
July 13, 2024 15:34 2m 18s keram:idris-filename-to-load-v2
keram:idris-filename-to-load-v2
July 13, 2024 15:34 2m 18s