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
662 workflow run results
662 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[cleanup] Makefile boot-prefix cleanup Idris2 and External Libs #641: Pull request #3245 synchronize by mattpolzin
May 19, 2024 03:54 15m 51s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 03:54 15m 51s
[cleanup] Makefile boot-prefix cleanup Idris2 and External Libs #640: Pull request #3245 synchronize by mattpolzin
May 19, 2024 02:21 23m 24s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 02:21 23m 24s
[cleanup] Makefile boot-prefix cleanup Idris2 and External Libs #639: Pull request #3245 synchronize by mattpolzin
May 19, 2024 00:18 32m 21s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 00:18 32m 21s
[ fix ] Fix Show of TTImp for functions with with clauses Idris2 and External Libs #638: Pull request #2631 synchronize by buzden
May 18, 2024 14:53 43m 19s buzden:fix-show-with-clause
buzden:fix-show-with-clause
May 18, 2024 14:53 43m 19s
[ base ] Add flipped access/update functions for Sorted{Set,Map,DMap} Idris2 and External Libs #637: Pull request #3247 synchronize by buzden
May 18, 2024 14:52 43m 12s buzden:flipped-sorted-map-set-funs
buzden:flipped-sorted-map-set-funs
May 18, 2024 14:52 43m 12s
[ fix ] Fix search around %defaulthints Idris2 and External Libs #636: Pull request #3258 synchronize by buzden
May 18, 2024 14:52 41m 11s buzden:fix-search-in-defaulthints
buzden:fix-search-in-defaulthints
May 18, 2024 14:52 41m 11s
[ funext ] Add a proof for funext variants with the other quantities Idris2 and External Libs #635: Pull request #3282 synchronize by buzden
May 18, 2024 14:52 40m 3s buzden:funext0
buzden:funext0
May 18, 2024 14:52 40m 3s
Merge pull request #3283 from dunhamsteve/fix-windows-ci Idris2 and External Libs #634: Commit 2a3f031 pushed by andrevidela
May 18, 2024 07:21 40m 11s main
main
May 18, 2024 07:21 40m 11s
[ fix ] fix windows CI, aligned_alloc not supported on win32 Idris2 and External Libs #633: Pull request #3283 opened by dunhamsteve
May 17, 2024 22:30 41m 9s dunhamsteve:fix-windows-ci
dunhamsteve:fix-windows-ci
May 17, 2024 22:30 41m 9s
[ base ] Add flipped access/update functions for Sorted{Set,Map,DMap} Idris2 and External Libs #632: Pull request #3247 synchronize by buzden
May 16, 2024 17:47 39m 12s buzden:flipped-sorted-map-set-funs
buzden:flipped-sorted-map-set-funs
May 16, 2024 17:47 39m 12s
[ fix ] Fix Show of TTImp for functions with with clauses Idris2 and External Libs #631: Pull request #2631 synchronize by buzden
May 16, 2024 17:46 36m 46s buzden:fix-show-with-clause
buzden:fix-show-with-clause
May 16, 2024 17:46 36m 46s
[ fix ] Fix search around %defaulthints Idris2 and External Libs #630: Pull request #3258 synchronize by buzden
May 16, 2024 17:45 35m 46s buzden:fix-search-in-defaulthints
buzden:fix-search-in-defaulthints
May 16, 2024 17:45 35m 46s
[ funext ] Add a proof for funext variants with the other quantities Idris2 and External Libs #629: Pull request #3282 opened by buzden
May 16, 2024 17:43 34m 27s buzden:funext0
buzden:funext0
May 16, 2024 17:43 34m 27s
[ performance ] a faster implementation of unpack Idris2 and External Libs #628: Pull request #3281 synchronize by stefan-hoeck
May 15, 2024 14:23 41m 56s stefan-hoeck:fast_unpack
stefan-hoeck:fast_unpack
May 15, 2024 14:23 41m 56s
[ performance ] a faster implementation of unpack Idris2 and External Libs #627: Pull request #3281 synchronize by stefan-hoeck
May 15, 2024 13:52 28m 58s stefan-hoeck:fast_unpack
stefan-hoeck:fast_unpack
May 15, 2024 13:52 28m 58s
[ performance ] a faster implementation of unpack Idris2 and External Libs #626: Pull request #3281 opened by stefan-hoeck
May 15, 2024 13:50 2m 41s stefan-hoeck:fast_unpack
stefan-hoeck:fast_unpack
May 15, 2024 13:50 2m 41s
[ doc ] Update documentation for with Idris2 and External Libs #625: Pull request #3277 opened by dunhamsteve
May 11, 2024 21:29 39m 14s dunhamsteve:with-docs
dunhamsteve:with-docs
May 11, 2024 21:29 39m 14s
clarify toMaybeT docstring Idris2 and External Libs #624: Pull request #3275 opened by joelberkeley
May 5, 2024 14:58 40m 24s joelberkeley:maybet-docstring
joelberkeley:maybet-docstring
May 5, 2024 14:58 40m 24s
dont execute effect in toMaybeT if condition is not met Idris2 and External Libs #623: Pull request #3274 synchronize by joelberkeley
May 5, 2024 14:48 5m 25s joelberkeley:maybeT
joelberkeley:maybeT
May 5, 2024 14:48 5m 25s
[RefC] Object Immortalization and Pre-Generation of Constants Idris2 and External Libs #621: Pull request #3242 synchronize by seagull-kamome
April 30, 2024 02:01 41m 13s seagull-kamome:refc-sticky-value
seagull-kamome:refc-sticky-value
April 30, 2024 02:01 41m 13s
Merge pull request #3270 from dunhamsteve/impossible-lam Idris2 and External Libs #620: Commit 5d04f89 pushed by andrevidela
April 28, 2024 22:12 39m 30s main
main
April 28, 2024 22:12 39m 30s
[ parser ] Add support for impossible lambdas Idris2 and External Libs #619: Pull request #3270 synchronize by dunhamsteve
April 28, 2024 18:11 40m 59s dunhamsteve:impossible-lam
dunhamsteve:impossible-lam
April 28, 2024 18:11 40m 59s
[ parser ] Add support for impossible lambdas Idris2 and External Libs #618: Pull request #3270 synchronize by dunhamsteve
April 28, 2024 01:25 40m 25s dunhamsteve:impossible-lam
dunhamsteve:impossible-lam
April 28, 2024 01:25 40m 25s
[ parser ] Add support for impossible lambdas Idris2 and External Libs #617: Pull request #3270 synchronize by dunhamsteve
April 27, 2024 23:59 40m 4s dunhamsteve:impossible-lam
dunhamsteve:impossible-lam
April 27, 2024 23:59 40m 4s
Merge pull request #3253 from dunhamsteve/issue3251 Idris2 and External Libs #616: Commit 84ce3a6 pushed by andrevidela
April 27, 2024 23:17 39m 46s main
main
April 27, 2024 23:17 39m 46s