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

Emit warning for fixities with no export modifiers Idris2 and External Libs #539: Pull request #3234 opened by andrevidela
March 15, 2024 22:27 20m 49s andrevidela:fixity-export-warning
andrevidela:fixity-export-warning
March 15, 2024 22:27 20m 49s
Fix ambiguity error with Uninhabited interface implementations. (#3228) Idris2 and External Libs #538: Commit 7219486 pushed by mattpolzin
March 15, 2024 22:21 39m 51s main
main
March 15, 2024 22:21 39m 51s
prefer chez scheme 10+ over racket fork Idris2 and External Libs #537: Pull request #3233 synchronize by mattpolzin
March 11, 2024 04:02 40m 9s mattpolzin:prefer-chez-10
mattpolzin:prefer-chez-10
March 11, 2024 04:02 40m 9s
prefer chez scheme 10+ over racket fork Idris2 and External Libs #536: Pull request #3233 synchronize by mattpolzin
March 9, 2024 21:19 42m 47s mattpolzin:prefer-chez-10
mattpolzin:prefer-chez-10
March 9, 2024 21:19 42m 47s
prefer chez scheme 10+ over racket fork Idris2 and External Libs #535: Pull request #3233 opened by mattpolzin
March 9, 2024 21:13 5m 43s mattpolzin:prefer-chez-10
mattpolzin:prefer-chez-10
March 9, 2024 21:13 5m 43s
[fix] Package Search Paths (#3214) Idris2 and External Libs #534: Commit c3239cb pushed by mattpolzin
March 9, 2024 19:53 41m 42s main
main
March 9, 2024 19:53 41m 42s
Typo fix in docs for /contrib/Data/Telescope.idr Idris2 and External Libs #533: Commit e6bd136 pushed by gallais
March 9, 2024 16:15 47m 29s main
main
March 9, 2024 16:15 47m 29s
Typo fix in docs for /contrib/Data/Telescope.idr Idris2 and External Libs #532: Pull request #3231 opened by jasonhemann
March 9, 2024 13:48 42m 58s jasonhemann:patch-2
jasonhemann:patch-2
March 9, 2024 13:48 42m 58s
Typo fix in Data/Vect/Properties/Fin.idr Idris2 and External Libs #531: Commit e4337c1 pushed by gallais
March 9, 2024 12:38 50m 25s main
main
March 9, 2024 12:38 50m 25s
[RefC] Unbox small integers. Idris2 and External Libs #530: Pull request #3181 synchronize by seagull-kamome
March 9, 2024 03:55 39m 56s seagull-kamome:unbox_small_int
seagull-kamome:unbox_small_int
March 9, 2024 03:55 39m 56s
[RefC] Unbox small integers. Idris2 and External Libs #529: Pull request #3181 synchronize by seagull-kamome
March 9, 2024 03:01 52m 20s seagull-kamome:unbox_small_int
seagull-kamome:unbox_small_int
March 9, 2024 03:01 52m 20s
Typo fix in Data/Vect/Properties/Fin.idr Idris2 and External Libs #528: Pull request #3229 opened by jasonhemann
March 8, 2024 17:31 49m 53s jasonhemann:patch-1
jasonhemann:patch-1
March 8, 2024 17:31 49m 53s
[fix] ambiguity error with Uninhabited interface implementations. Idris2 and External Libs #527: Pull request #3228 synchronize by mattpolzin
March 8, 2024 16:16 43m 39s mattpolzin:fix-duplicate-uninhabited
mattpolzin:fix-duplicate-uninhabited
March 8, 2024 16:16 43m 39s
[ test ] fix clean_names function in testutils.sh (#3227) Idris2 and External Libs #526: Commit 809319f pushed by mattpolzin
March 8, 2024 16:15 44m 58s main
main
March 8, 2024 16:15 44m 58s
[fix] ambiguity error with Uninhabited interface implementations. Idris2 and External Libs #525: Pull request #3228 opened by mattpolzin
March 8, 2024 03:33 49m 45s mattpolzin:fix-duplicate-uninhabited
mattpolzin:fix-duplicate-uninhabited
March 8, 2024 03:33 49m 45s
[ test ] fix clean_names function in testutils.sh Idris2 and External Libs #524: Pull request #3227 synchronize by dunhamsteve
March 8, 2024 01:15 43m 54s dunhamsteve:fix-clean-names
dunhamsteve:fix-clean-names
March 8, 2024 01:15 43m 54s
[ test ] fix clean_names function in testutils.sh Idris2 and External Libs #523: Pull request #3227 opened by dunhamsteve
March 7, 2024 23:43 41m 19s dunhamsteve:fix-clean-names
dunhamsteve:fix-clean-names
March 7, 2024 23:43 41m 19s
Generalize succNotLTEpred (#3225) Idris2 and External Libs #522: Commit 1143718 pushed by mattpolzin
March 7, 2024 14:38 52m 17s main
main
March 7, 2024 14:38 52m 17s
propagate dependencies for the buildIdris nix function so that specif… Idris2 and External Libs #521: Commit e518122 pushed by mattpolzin
March 7, 2024 14:22 16m 20s main
main
March 7, 2024 14:22 16m 20s
[fix] Package Search Paths Idris2 and External Libs #520: Pull request #3214 synchronize by mattpolzin
March 7, 2024 05:08 59m 22s mattpolzin:pkg-search-paths
mattpolzin:pkg-search-paths
March 7, 2024 05:08 59m 22s
[fix] Package Search Paths Idris2 and External Libs #519: Pull request #3214 synchronize by mattpolzin
March 7, 2024 05:01 7m 28s mattpolzin:pkg-search-paths
mattpolzin:pkg-search-paths
March 7, 2024 05:01 7m 28s
[RefC] Unbox small integers. Idris2 and External Libs #518: Pull request #3181 synchronize by seagull-kamome
March 6, 2024 22:36 47m 56s seagull-kamome:unbox_small_int
seagull-kamome:unbox_small_int
March 6, 2024 22:36 47m 56s
propagate dependencies for the buildIdris nix function Idris2 and External Libs #517: Pull request #3226 opened by mattpolzin
March 6, 2024 16:29 54m 5s mattpolzin:propagate-buildidris-deps
mattpolzin:propagate-buildidris-deps
March 6, 2024 16:29 54m 5s
[RefC] Unbox small integers. Idris2 and External Libs #516: Pull request #3181 synchronize by seagull-kamome
March 6, 2024 00:26 51m 8s seagull-kamome:unbox_small_int
seagull-kamome:unbox_small_int
March 6, 2024 00:26 51m 8s
Generalize succNotLTEpred Idris2 and External Libs #515: Pull request #3225 synchronize by rvs314
March 5, 2024 22:46 44m 28s rvs314:main
rvs314:main
March 5, 2024 22:46 44m 28s