Skip to content

Actions: idris-hackers/idris-mode

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
12 workflow runs
12 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Merge pull request #623 from keram/issue-622-idris-start-project-ipkg Idris1 on Ubuntu #261: Commit aa580b6 pushed by jfdm
April 23, 2024 13:20 18m 46s main
main
April 23, 2024 13:20 18m 46s
Merge pull request #623 from keram/issue-622-idris-start-project-ipkg Idris2 on Ubuntu #245: Commit aa580b6 pushed by jfdm
April 23, 2024 13:20 8m 20s main
main
April 23, 2024 13:20 8m 20s
Add quotes around sourcedir value in generated .ipkg file Idris1 on Ubuntu #260: Pull request #623 opened by keram
January 7, 2024 18:54 20m 12s keram:issue-622-idris-start-project-ipkg
keram:issue-622-idris-start-project-ipkg
January 7, 2024 18:54 20m 12s
Add quotes around sourcedir value in generated .ipkg file Idris2 on Ubuntu #244: Pull request #623 opened by keram
January 7, 2024 18:54 8m 44s keram:issue-622-idris-start-project-ipkg
keram:issue-622-idris-start-project-ipkg
January 7, 2024 18:54 8m 44s
Merge pull request #621 from keram/issue-620 Idris2 on Ubuntu #243: Commit 37c6b81 pushed by jfdm
August 2, 2023 08:54 2m 13s main
main
August 2, 2023 08:54 2m 13s
Merge pull request #621 from keram/issue-620 Idris1 on Ubuntu #259: Commit 37c6b81 pushed by jfdm
August 2, 2023 08:54 32m 34s main
main
August 2, 2023 08:54 32m 34s
Merge pull request #619 from keram/remove-unused Idris1 on Ubuntu #258: Commit a7f0af7 pushed by jfdm
August 2, 2023 08:53 29m 1s main
main
August 2, 2023 08:53 29m 1s
Merge pull request #619 from keram/remove-unused Idris2 on Ubuntu #242: Commit a7f0af7 pushed by jfdm
August 2, 2023 08:53 2m 30s main
main
August 2, 2023 08:53 2m 30s
Ensure that argument passed to idris-repl-insert-result is a string Idris2 on Ubuntu #241: Pull request #621 opened by keram
May 7, 2023 16:18 13m 28s keram:issue-620
keram:issue-620
May 7, 2023 16:18 13m 28s
Ensure that argument passed to idris-repl-insert-result is a string Idris1 on Ubuntu #257: Pull request #621 opened by keram
May 7, 2023 16:18 29m 57s keram:issue-620
keram:issue-620
May 7, 2023 16:18 29m 57s
Remove unused and nonprefixed helper function find-common-prefix Idris1 on Ubuntu #256: Pull request #619 opened by keram
March 11, 2023 19:42 29m 56s keram:remove-unused
keram:remove-unused
March 11, 2023 19:42 29m 56s
Remove unused and nonprefixed helper function find-common-prefix Idris2 on Ubuntu #240: Pull request #619 opened by keram
March 11, 2023 19:42 17m 37s keram:remove-unused
keram:remove-unused
March 11, 2023 19:42 17m 37s