Skip to content

Actions: alexhumphreys/idrall

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #110 from mattpolzin/ci-update Ubuntu #508: Commit 86d84e4 pushed by mattpolzin
December 5, 2024 12:33 2m 17s main
main
December 5, 2024 12:33 2m 17s
update CI and use a docker image that will be up to date each night Ubuntu #507: Pull request #110 opened by mattpolzin
December 2, 2024 03:22 2m 18s mattpolzin:ci-update
mattpolzin:ci-update
December 2, 2024 03:22 2m 18s
Merge pull request #109 from andrevidela/withfc-elab Ubuntu #506: Commit c169165 pushed by mattpolzin
December 1, 2024 23:05 29s main
main
December 1, 2024 23:05 29s
update elab for WithFC Ubuntu #505: Pull request #109 opened by andrevidela
November 25, 2024 13:51 38s andrevidela:withfc-elab
andrevidela:withfc-elab
November 25, 2024 13:51 38s
Merge pull request #108 from mattpolzin/as-text Ubuntu #504: Commit 6deee64 pushed by mattpolzin
October 16, 2023 00:14 2m 31s main
main
October 16, 2023 00:14 2m 31s
Add support for resolving an import as plain text. Ubuntu #503: Pull request #108 synchronize by mattpolzin
October 15, 2023 18:38 2m 29s mattpolzin:as-text
mattpolzin:as-text
October 15, 2023 18:38 2m 29s
Add support for resolving an import as plain text. Ubuntu #502: Pull request #108 synchronize by mattpolzin
October 15, 2023 18:22 1m 56s mattpolzin:as-text
mattpolzin:as-text
October 15, 2023 18:22 1m 56s
Add support for resolving an import as plain text. Ubuntu #501: Pull request #108 synchronize by mattpolzin
October 13, 2023 15:53 1m 57s mattpolzin:as-text
mattpolzin:as-text
October 13, 2023 15:53 1m 57s
Add support for resolving an import as plain text. Ubuntu #500: Pull request #108 opened by mattpolzin
October 13, 2023 15:44 1m 57s mattpolzin:as-text
mattpolzin:as-text
October 13, 2023 15:44 1m 57s
Merge pull request #103 from mattpolzin/override-record-field-names Ubuntu #499: Commit ecb9f0c pushed by mattpolzin
October 13, 2023 14:21 2m 8s main
main
October 13, 2023 14:21 2m 8s
Merge pull request #102 from mattpolzin/parenthesize-pretty-print-app Ubuntu #498: Commit d552273 pushed by mattpolzin
October 13, 2023 14:18 1m 53s main
main
October 13, 2023 14:18 1m 53s
Add parens around pretty printing of application Ubuntu #497: Pull request #102 synchronize by mattpolzin
October 13, 2023 04:17 2m 8s mattpolzin:parenthesize-pretty-print-app
mattpolzin:parenthesize-pretty-print-app
October 13, 2023 04:17 2m 8s
Allow transforming Idris record names for to/from Dhall Ubuntu #496: Pull request #103 synchronize by mattpolzin
October 13, 2023 04:03 2m 3s mattpolzin:override-record-field-names
mattpolzin:override-record-field-names
October 13, 2023 04:03 2m 3s
Merge pull request #106 from mattpolzin/allow-preceding-comma Ubuntu #495: Commit d20a1d7 pushed by alexhumphreys
October 12, 2023 16:04 3m 18s main
main
October 12, 2023 16:04 3m 18s
Merge pull request #107 from mattpolzin/high-priority-record-completion Ubuntu #494: Commit d60984e pushed by alexhumphreys
October 12, 2023 16:04 1m 50s main
main
October 12, 2023 16:04 1m 50s
make record completion higher priority than function application in the parser. Ubuntu #493: Pull request #107 opened by mattpolzin
October 10, 2023 15:14 2m 5s mattpolzin:high-priority-record-completion
mattpolzin:high-priority-record-completion
October 10, 2023 15:14 2m 5s
support preceding comma in parser Ubuntu #492: Pull request #106 opened by mattpolzin
October 10, 2023 05:22 1m 59s mattpolzin:allow-preceding-comma
mattpolzin:allow-preceding-comma
October 10, 2023 05:22 1m 59s
Allow transforming Idris record names for to/from Dhall Ubuntu #491: Pull request #103 opened by mattpolzin
October 7, 2023 18:35 1m 43s mattpolzin:override-record-field-names
mattpolzin:override-record-field-names
October 7, 2023 18:35 1m 43s
Add parens around pretty printing of application Ubuntu #490: Pull request #102 opened by mattpolzin
October 7, 2023 18:28 2m 8s mattpolzin:parenthesize-pretty-print-app
mattpolzin:parenthesize-pretty-print-app
October 7, 2023 18:28 2m 8s