Skip to content

Actions: idris-lang/Idris2

Actions

Idris2 and External Libs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-idris2-and-libs.yml
226 workflow run results
226 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor Uninhabited implementation for Elem types Idris2 and External Libs #978: Pull request #3412 opened by ihor-rud
November 14, 2024 19:22 49m 34s ihor-rud:main
ihor-rud:main
November 14, 2024 19:22 49m 34s
WithFC, a datastructure to keep track of locations (#3406) Idris2 and External Libs #976: Commit fc3d2a0 pushed by andrevidela
November 7, 2024 23:43 41m 8s main
main
November 7, 2024 23:43 41m 8s
[ literate ] Support typst in literate Idris (#3403) Idris2 and External Libs #973: Commit 65ff121 pushed by gallais
November 7, 2024 11:56 41m 29s main
main
November 7, 2024 11:56 41m 29s
Merge pull request #3401 from buzden/fixity-in-do Idris2 and External Libs #945: Commit 0659bcc pushed by andrevidela
October 24, 2024 20:25 47m 20s main
main
October 24, 2024 20:25 47m 20s
[ fix ] Data and Type Constructor tags for :di (#3395) Idris2 and External Libs #931: Commit f840d1b pushed by gallais
October 5, 2024 07:37 40m 33s main
main
October 5, 2024 07:37 40m 33s
[ refactor ] Add a nix overlay (#3394) Idris2 and External Libs #914: Commit 536c7bf pushed by mattpolzin
October 1, 2024 12:51 43m 38s main
main
October 1, 2024 12:51 43m 38s
Handle multiline comments in Package (ipkg) (#3386) Idris2 and External Libs #905: Commit 0e83d6c pushed by mattpolzin
September 24, 2024 15:26 41m 18s main
main
September 24, 2024 15:26 41m 18s
make buildIdris nix function still work when there are more than one … Idris2 and External Libs #895: Commit 6d02c52 pushed by mattpolzin
September 14, 2024 23:42 39m 53s main
main
September 14, 2024 23:42 39m 53s
[ new ] Support for dumping a package's install location (#3381) Idris2 and External Libs #893: Commit 09cb83d pushed by mattpolzin
September 14, 2024 19:33 43m 23s main
main
September 14, 2024 19:33 43m 23s
[ base ] Add atomically function (#3380) Idris2 and External Libs #889: Commit 53f448c pushed by gallais
September 11, 2024 08:18 41m 47s main
main
September 11, 2024 08:18 41m 47s
include hidden files in artifacts built by CI (#3382) Idris2 and External Libs #886: Commit 7cbe95b pushed by mattpolzin
September 11, 2024 02:52 41m 15s main
main
September 11, 2024 02:52 41m 15s
[fix] include stdio header in readline C code in example so it builds… Idris2 and External Libs #872: Commit 5459e17 pushed by mattpolzin
September 1, 2024 13:57 41m 57s main
main
September 1, 2024 13:57 41m 57s
[ codegen ] get rid of artifacts introduced when optimizing IO (#3376) Idris2 and External Libs #868: Commit c5f31c9 pushed by gallais
August 26, 2024 10:30 40m 50s main
main
August 26, 2024 10:30 40m 50s
[ base ] Implement Foldable and Traversable for Identity Idris2 and External Libs #861: Commit 2bd88b7 pushed by mjustus
August 20, 2024 14:05 40m 59s main
main
August 20, 2024 14:05 40m 59s
[ refactor ] export signal to code conversions (#3373) Idris2 and External Libs #859: Commit 60ddcd0 pushed by gallais
August 18, 2024 09:45 47m 0s main
main
August 18, 2024 09:45 47m 0s
[ performance ] Implement weak memoisation of lazy values for chez an… Idris2 and External Libs #840: Commit 2482ebb pushed by gallais
August 6, 2024 14:25 43m 46s main
main
August 6, 2024 14:25 43m 46s
[ fix ] Make searching in pairs to not cause ambiguity when there isn… Idris2 and External Libs #839: Commit ff7c0fa pushed by gallais
August 6, 2024 14:19 6m 23s main
main
August 6, 2024 14:19 6m 23s
Merge pull request #3353 from Matthew-Mosior/clean-does-not-remove-ge… Idris2 and External Libs #837: Commit d9049e8 pushed by andrevidela
August 5, 2024 23:33 40m 38s main
main
August 5, 2024 23:33 40m 38s
[ fix ] Report chez failures Idris2 and External Libs #835: Commit 4d46c18 pushed by gallais
August 2, 2024 19:05 44m 44s main
main
August 2, 2024 19:05 44m 44s
Merge pull request #3361 from Matthew-Mosior/issue-2766-hint-not-list… Idris2 and External Libs #832: Commit b1fff6f pushed by andrevidela
July 31, 2024 15:26 41m 52s main
main
July 31, 2024 15:26 41m 52s
Merge pull request #3360 from Matthew-Mosior/issue-3232-init-doesnt-c… Idris2 and External Libs #829: Commit 72241a4 pushed by andrevidela
July 31, 2024 08:16 40m 23s main
main
July 31, 2024 08:16 40m 23s
[ test ] for the perf regression Idris2 and External Libs #818: Commit 3f76bfd pushed by gallais
July 26, 2024 13:45 41m 44s main
main
July 26, 2024 13:45 41m 44s
Add fromTTImp, fromName, and fromDecls Idris2 and External Libs #817: Commit 40f3987 pushed by gallais
July 26, 2024 13:24 21m 24s main
main
July 26, 2024 13:24 21m 24s
[ linear ] typo in the docstring Idris2 and External Libs #814: Commit fdcd4d9 pushed by gallais
July 26, 2024 12:25 40m 5s main
main
July 26, 2024 12:25 40m 5s
Show module docstring for namespace indexes (#3351) Idris2 and External Libs #809: Commit 91d0eb3 pushed by gallais
July 25, 2024 12:18 40m 54s main
main
July 25, 2024 12:18 40m 54s