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

Merge pull request #3269 from dunhamsteve/fix-macos-build Idris2 and External Libs #615: Commit 3489cc3 pushed by andrevidela
April 27, 2024 23:16 1m 13s main
main
April 27, 2024 23:16 1m 13s
[ fix ] fix macos ci Idris2 and External Libs #614: Pull request #3269 synchronize by dunhamsteve
April 27, 2024 22:32 40m 22s dunhamsteve:fix-macos-build
dunhamsteve:fix-macos-build
April 27, 2024 22:32 40m 22s
[ fix ] fix macos ci Idris2 and External Libs #613: Pull request #3269 synchronize by dunhamsteve
April 27, 2024 21:52 40m 9s dunhamsteve:fix-macos-build
dunhamsteve:fix-macos-build
April 27, 2024 21:52 40m 9s
[ fix ] fix macos ci Idris2 and External Libs #612: Pull request #3269 synchronize by dunhamsteve
April 27, 2024 21:43 8m 42s dunhamsteve:fix-macos-build
dunhamsteve:fix-macos-build
April 27, 2024 21:43 8m 42s
[ parser ] Add support for impossible lambdas Idris2 and External Libs #611: Pull request #3270 opened by dunhamsteve
April 27, 2024 20:08 40m 21s dunhamsteve:impossible-lam
dunhamsteve:impossible-lam
April 27, 2024 20:08 40m 21s
[ fix ] fix macos ci Idris2 and External Libs #610: Pull request #3269 opened by dunhamsteve
April 27, 2024 19:59 41m 20s dunhamsteve:fix-macos-build
dunhamsteve:fix-macos-build
April 27, 2024 19:59 41m 20s
[RefC] Object Immortalization and Pre-Generation of Constants Idris2 and External Libs #609: Pull request #3242 synchronize by seagull-kamome
April 23, 2024 21:50 49m 50s seagull-kamome:refc-sticky-value
seagull-kamome:refc-sticky-value
April 23, 2024 21:50 49m 50s
Merge pull request #3267 from stefan-hoeck/fin0 Idris2 and External Libs #608: Commit 2298f88 pushed by andrevidela
April 22, 2024 15:50 55m 24s main
main
April 22, 2024 15:50 55m 24s
[ fix ] issue 3266 Idris2 and External Libs #607: Pull request #3267 opened by stefan-hoeck
April 22, 2024 13:45 52m 37s stefan-hoeck:fin0
stefan-hoeck:fin0
April 22, 2024 13:45 52m 37s
Merge pull request #3265 from andrevidela/fix-fixity-warning Idris2 and External Libs #606: Commit 517b283 pushed by andrevidela
April 21, 2024 23:34 58m 30s main
main
April 21, 2024 23:34 58m 30s
fix error message for unexported fixities Idris2 and External Libs #605: Pull request #3265 opened by andrevidela
April 21, 2024 22:28 59m 44s andrevidela:fix-fixity-warning
andrevidela:fix-fixity-warning
April 21, 2024 22:28 59m 44s
[ base ] Data.SortedSet.leftMost and .rightMost Idris2 and External Libs #604: Pull request #3260 opened by MithicSpirit
April 17, 2024 16:04 43m 41s MithicSpirit:sortedset-minimum
MithicSpirit:sortedset-minimum
April 17, 2024 16:04 43m 41s
[RefC] Suppress arglist wrapper (#3177) Idris2 and External Libs #603: Commit 1dc7b74 pushed by gallais
April 17, 2024 14:48 55m 4s main
main
April 17, 2024 14:48 55m 4s
[ fix ] Fix search around %defaulthints Idris2 and External Libs #602: Pull request #3258 synchronize by buzden
April 15, 2024 18:02 59m 56s buzden:fix-search-in-defaulthints
buzden:fix-search-in-defaulthints
April 15, 2024 18:02 59m 56s
[ fix ] Fix search around %defaulthints Idris2 and External Libs #601: Pull request #3258 synchronize by buzden
April 15, 2024 18:00 2m 35s buzden:fix-search-in-defaulthints
buzden:fix-search-in-defaulthints
April 15, 2024 18:00 2m 35s
[ fix ] Fix search around %defaulthints Idris2 and External Libs #600: Pull request #3258 opened by buzden
April 15, 2024 17:58 1m 33s buzden:fix-search-in-defaulthints
buzden:fix-search-in-defaulthints
April 15, 2024 17:58 1m 33s
fixed bugs that caused compiler to hang forever when there is %tcinline pragma Idris2 and External Libs #599: Pull request #3257 opened by AntonPing
April 15, 2024 13:21 39m 26s AntonPing:main
AntonPing:main
April 15, 2024 13:21 39m 26s
[ parser ] Fix issue parsing unquote Idris2 and External Libs #597: Pull request #3253 opened by dunhamsteve
April 9, 2024 03:46 44m 8s dunhamsteve:issue3251
dunhamsteve:issue3251
April 9, 2024 03:46 44m 8s
[RefC] Suppress arglist wrapper Idris2 and External Libs #596: Pull request #3177 synchronize by seagull-kamome
April 6, 2024 06:49 50m 22s seagull-kamome:suppress_arglist_wrapper
seagull-kamome:suppress_arglist_wrapper
April 6, 2024 06:49 50m 22s
[ fix ] Fix Show of TTImp for functions with with clauses Idris2 and External Libs #595: Pull request #2631 synchronize by buzden
April 5, 2024 12:54 44m 37s buzden:fix-show-with-clause
buzden:fix-show-with-clause
April 5, 2024 12:54 44m 37s
[cleanup] Makefile boot-prefix cleanup Idris2 and External Libs #594: Pull request #3245 synchronize by mattpolzin
April 5, 2024 04:46 45m 11s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
April 5, 2024 04:46 45m 11s
[cleanup] Makefile boot-prefix cleanup Idris2 and External Libs #593: Pull request #3245 synchronize by mattpolzin
April 5, 2024 04:01 23m 21s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
April 5, 2024 04:01 23m 21s
Merge pull request #3250 from andrevidela/fix-3249 Idris2 and External Libs #592: Commit b690dc1 pushed by andrevidela
April 4, 2024 16:20 43m 46s main
main
April 4, 2024 16:20 43m 46s
fix printing of backticked expressions Idris2 and External Libs #591: Pull request #3250 opened by andrevidela
April 4, 2024 15:09 47m 26s andrevidela:fix-3249
andrevidela:fix-3249
April 4, 2024 15:09 47m 26s
Add partiality/delay monad (#3240) Idris2 and External Libs #590: Commit 2823281 pushed by gallais
April 4, 2024 10:53 53m 6s main
main
April 4, 2024 10:53 53m 6s