Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,687 workflow run results
3,687 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[cleanup] Makefile boot-prefix cleanup Lint the sources #6197: Pull request #3245 synchronize by mattpolzin
May 19, 2024 04:30 12s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 04:30 12s
[cleanup] Makefile boot-prefix cleanup Sphinx #4255: Pull request #3245 synchronize by mattpolzin
May 19, 2024 04:30 34s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 04:30 34s
[cleanup] Makefile boot-prefix cleanup Sphinx #4254: Pull request #3245 synchronize by mattpolzin
May 19, 2024 04:10 30s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 04:10 30s
[cleanup] Makefile boot-prefix cleanup Lint the sources #6196: Pull request #3245 synchronize by mattpolzin
May 19, 2024 04:10 11s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 04:10 11s
[cleanup] Makefile boot-prefix cleanup Idris2 and External Libs #642: Pull request #3245 synchronize by mattpolzin
May 19, 2024 04:10 21m 0s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 04:10 21m 0s
[cleanup] Makefile boot-prefix cleanup Lint Code Base #6115: Pull request #3245 synchronize by mattpolzin
May 19, 2024 04:10 1m 58s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 04:10 1m 58s
[cleanup] Makefile boot-prefix cleanup Lint the sources #6195: Pull request #3245 synchronize by mattpolzin
May 19, 2024 03:54 15s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 03:54 15s
[cleanup] Makefile boot-prefix cleanup Lint Code Base #6114: Pull request #3245 synchronize by mattpolzin
May 19, 2024 03:54 1m 57s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 03:54 1m 57s
[cleanup] Makefile boot-prefix cleanup Sphinx #4253: Pull request #3245 synchronize by mattpolzin
May 19, 2024 03:54 28s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 03:54 28s
[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 Lint the sources #6194: Pull request #3245 synchronize by mattpolzin
May 19, 2024 02:21 11s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 02:21 11s
[cleanup] Makefile boot-prefix cleanup Sphinx #4252: Pull request #3245 synchronize by mattpolzin
May 19, 2024 02:21 35s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 02:21 35s
[cleanup] Makefile boot-prefix cleanup Lint Code Base #6113: Pull request #3245 synchronize by mattpolzin
May 19, 2024 02:21 1m 58s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 02:21 1m 58s
[cleanup] Makefile boot-prefix cleanup Sphinx #4251: Pull request #3245 synchronize by mattpolzin
May 19, 2024 00:18 1m 39s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 00:18 1m 39s
[cleanup] Makefile boot-prefix cleanup Lint Code Base #6112: Pull request #3245 synchronize by mattpolzin
May 19, 2024 00:18 2m 1s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 00:18 2m 1s
[cleanup] Makefile boot-prefix cleanup Lint the sources #6193: Pull request #3245 synchronize by mattpolzin
May 19, 2024 00:18 15s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 00:18 15s
[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
[ fix ] Fix Show of TTImp for functions with with clauses Lint Code Base #6111: Pull request #2631 synchronize by buzden
May 18, 2024 14:53 2m 0s buzden:fix-show-with-clause
buzden:fix-show-with-clause
May 18, 2024 14:53 2m 0s
[ fix ] Fix Show of TTImp for functions with with clauses Lint the sources #6192: Pull request #2631 synchronize by buzden
May 18, 2024 14:53 12s buzden:fix-show-with-clause
buzden:fix-show-with-clause
May 18, 2024 14:53 12s
[ fix ] Fix Show of TTImp for functions with with clauses Sphinx #4250: Pull request #2631 synchronize by buzden
May 18, 2024 14:53 34s buzden:fix-show-with-clause
buzden:fix-show-with-clause
May 18, 2024 14:53 34s
[ 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
[ base ] Add flipped access/update functions for Sorted{Set,Map,DMap} Lint Code Base #6110: Pull request #3247 synchronize by buzden
May 18, 2024 14:52 2m 7s buzden:flipped-sorted-map-set-funs
buzden:flipped-sorted-map-set-funs
May 18, 2024 14:52 2m 7s
[ base ] Add flipped access/update functions for Sorted{Set,Map,DMap} Lint the sources #6191: Pull request #3247 synchronize by buzden
May 18, 2024 14:52 10s buzden:flipped-sorted-map-set-funs
buzden:flipped-sorted-map-set-funs
May 18, 2024 14:52 10s