Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,605 workflow runs
4,605 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Parser refactor Idris2 and External Libs #1117: Pull request #3450 synchronize by andrevidela
December 21, 2024 01:48 40m 5s andrevidela:parser-refactor
andrevidela:parser-refactor
December 21, 2024 01:48 40m 5s
Parser refactor Sphinx #4750: Pull request #3450 synchronize by andrevidela
December 21, 2024 01:48 29s andrevidela:parser-refactor
andrevidela:parser-refactor
December 21, 2024 01:48 29s
Parser refactor Lint the sources #6692: Pull request #3450 synchronize by andrevidela
December 21, 2024 01:48 11s andrevidela:parser-refactor
andrevidela:parser-refactor
December 21, 2024 01:48 11s
Parser refactor Lint Code Base #6611: Pull request #3450 synchronize by andrevidela
December 21, 2024 01:48 2m 7s andrevidela:parser-refactor
andrevidela:parser-refactor
December 21, 2024 01:48 2m 7s
Parser refactor Lint the sources #6691: Pull request #3450 synchronize by andrevidela
December 21, 2024 01:39 15s andrevidela:parser-refactor
andrevidela:parser-refactor
December 21, 2024 01:39 15s
Parser refactor Idris2 and External Libs #1116: Pull request #3450 synchronize by andrevidela
December 21, 2024 01:39 9m 41s andrevidela:parser-refactor
andrevidela:parser-refactor
December 21, 2024 01:39 9m 41s
Parser refactor Sphinx #4749: Pull request #3450 synchronize by andrevidela
December 21, 2024 01:39 44s andrevidela:parser-refactor
andrevidela:parser-refactor
December 21, 2024 01:39 44s
Parser refactor Lint Code Base #6610: Pull request #3450 synchronize by andrevidela
December 21, 2024 01:39 2m 7s andrevidela:parser-refactor
andrevidela:parser-refactor
December 21, 2024 01:39 2m 7s
Parser refactor Sphinx #4748: Pull request #3450 synchronize by andrevidela
December 20, 2024 23:30 1m 17s andrevidela:parser-refactor
andrevidela:parser-refactor
December 20, 2024 23:30 1m 17s
Parser refactor Lint the sources #6690: Pull request #3450 synchronize by andrevidela
December 20, 2024 23:30 14s andrevidela:parser-refactor
andrevidela:parser-refactor
December 20, 2024 23:30 14s
Parser refactor Idris2 and External Libs #1115: Pull request #3450 synchronize by andrevidela
December 20, 2024 23:30 41m 31s andrevidela:parser-refactor
andrevidela:parser-refactor
December 20, 2024 23:30 41m 31s
Parser refactor Lint Code Base #6609: Pull request #3450 synchronize by andrevidela
December 20, 2024 23:30 2m 6s andrevidela:parser-refactor
andrevidela:parser-refactor
December 20, 2024 23:30 2m 6s
Parser refactor Lint the sources #6689: Pull request #3450 synchronize by andrevidela
December 20, 2024 15:32 11s andrevidela:parser-refactor
andrevidela:parser-refactor
December 20, 2024 15:32 11s
Parser refactor Sphinx #4747: Pull request #3450 synchronize by andrevidela
December 20, 2024 15:32 28s andrevidela:parser-refactor
andrevidela:parser-refactor
December 20, 2024 15:32 28s
Parser refactor Idris2 and External Libs #1114: Pull request #3450 synchronize by andrevidela
December 20, 2024 15:32 42m 28s andrevidela:parser-refactor
andrevidela:parser-refactor
December 20, 2024 15:32 42m 28s
Parser refactor Lint Code Base #6608: Pull request #3450 synchronize by andrevidela
December 20, 2024 15:32 2m 14s andrevidela:parser-refactor
andrevidela:parser-refactor
December 20, 2024 15:32 2m 14s
When searching for packages, rule out incompatible TTC versions Lint Code Base #6607: Pull request #3444 synchronize by mattpolzin
December 20, 2024 15:20 1m 57s mattpolzin:rule-out-ttc-version
mattpolzin:rule-out-ttc-version
December 20, 2024 15:20 1m 57s
When searching for packages, rule out incompatible TTC versions Idris2 and External Libs #1113: Pull request #3444 synchronize by mattpolzin
December 20, 2024 15:20 29m 17s mattpolzin:rule-out-ttc-version
mattpolzin:rule-out-ttc-version
December 20, 2024 15:20 29m 17s
When searching for packages, rule out incompatible TTC versions Sphinx #4746: Pull request #3444 synchronize by mattpolzin
December 20, 2024 15:20 30s mattpolzin:rule-out-ttc-version
mattpolzin:rule-out-ttc-version
December 20, 2024 15:20 30s
When searching for packages, rule out incompatible TTC versions Lint the sources #6688: Pull request #3444 synchronize by mattpolzin
December 20, 2024 15:20 12s mattpolzin:rule-out-ttc-version
mattpolzin:rule-out-ttc-version
December 20, 2024 15:20 12s
[ fix #3448 ] Fix %search in constraint Lint the sources #6687: Pull request #3451 opened by spcfox
December 20, 2024 14:12 13s spcfox:fix-constraint-search
spcfox:fix-constraint-search
December 20, 2024 14:12 13s
[ fix #3448 ] Fix %search in constraint Sphinx #4745: Pull request #3451 opened by spcfox
December 20, 2024 14:12 32s spcfox:fix-constraint-search
spcfox:fix-constraint-search
December 20, 2024 14:12 32s
[ fix #3448 ] Fix %search in constraint Idris2 and External Libs #1112: Pull request #3451 opened by spcfox
December 20, 2024 14:12 42m 21s spcfox:fix-constraint-search
spcfox:fix-constraint-search
December 20, 2024 14:12 42m 21s
[ fix #3448 ] Fix %search in constraint Lint Code Base #6606: Pull request #3451 opened by spcfox
December 20, 2024 14:12 1m 48s spcfox:fix-constraint-search
spcfox:fix-constraint-search
December 20, 2024 14:12 1m 48s
[ refactor ] ScopedSnocList: WIP Sphinx #4744: Pull request #3368 synchronize by GulinSS
December 20, 2024 11:36 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
December 20, 2024 11:36 Action required