Skip to content

Actions: andrevidela/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
637 workflow runs
637 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add box drawing characters Lint Code Base #339: Commit b11b556 pushed by andrevidela
February 15, 2025 14:12 1m 48s fancy-symbols
fancy-symbols
February 15, 2025 14:12 1m 48s
add box drawing characters Lint the sources #341: Commit b11b556 pushed by andrevidela
February 15, 2025 14:12 11s fancy-symbols
fancy-symbols
February 15, 2025 14:12 11s
add box drawing characters Idris2 and External Libs #173: Commit b11b556 pushed by andrevidela
February 15, 2025 14:12 49m 12s fancy-symbols
fancy-symbols
February 15, 2025 14:12 49m 12s
add box drawing characters Sphinx #310: Commit b11b556 pushed by andrevidela
February 15, 2025 14:12 29s fancy-symbols
fancy-symbols
February 15, 2025 14:12 29s
add a constructor to the Category interface Lint the sources #340: Commit adc7b91 pushed by andrevidela
February 3, 2025 17:44 16s fancy-symbols
fancy-symbols
February 3, 2025 17:44 16s
add a constructor to the Category interface Sphinx #309: Commit adc7b91 pushed by andrevidela
February 3, 2025 17:44 32s fancy-symbols
fancy-symbols
February 3, 2025 17:44 32s
add a constructor to the Category interface Lint Code Base #338: Commit adc7b91 pushed by andrevidela
February 3, 2025 17:44 1m 38s fancy-symbols
fancy-symbols
February 3, 2025 17:44 1m 38s
add a constructor to the Category interface Idris2 and External Libs #172: Commit adc7b91 pushed by andrevidela
February 3, 2025 17:44 48m 36s fancy-symbols
fancy-symbols
February 3, 2025 17:44 48m 36s
progress ImpParameters Lint Code Base #337: Commit 5551e83 pushed by andrevidela
January 28, 2025 13:33 1m 50s record-let
record-let
January 28, 2025 13:33 1m 50s
progress ImpParameters Idris2 and External Libs #171: Commit 5551e83 pushed by andrevidela
January 28, 2025 13:33 8m 57s record-let
record-let
January 28, 2025 13:33 8m 57s
progress ImpParameters Lint the sources #339: Commit 5551e83 pushed by andrevidela
January 28, 2025 13:33 14s record-let
record-let
January 28, 2025 13:33 14s
progress ImpParameters Sphinx #308: Commit 5551e83 pushed by andrevidela
January 28, 2025 13:33 33s record-let
record-let
January 28, 2025 13:33 33s
move common arguments into its own parameter block Sphinx #307: Commit 57702c0 pushed by andrevidela
January 21, 2025 13:27 32s record-let
record-let
January 21, 2025 13:27 32s
move common arguments into its own parameter block Lint Code Base #336: Commit 57702c0 pushed by andrevidela
January 21, 2025 13:27 1m 38s record-let
record-let
January 21, 2025 13:27 1m 38s
move common arguments into its own parameter block Lint the sources #338: Commit 57702c0 pushed by andrevidela
January 21, 2025 13:27 11s record-let
record-let
January 21, 2025 13:27 11s
move common arguments into its own parameter block Idris2 and External Libs #170: Commit 57702c0 pushed by andrevidela
January 21, 2025 13:27 9m 11s record-let
record-let
January 21, 2025 13:27 9m 11s
withFC ImpDecl Lint Code Base #335: Commit 3b32e3d pushed by andrevidela
January 21, 2025 02:55 1m 44s record-let
record-let
January 21, 2025 02:55 1m 44s
withFC ImpDecl Sphinx #306: Commit 3b32e3d pushed by andrevidela
January 21, 2025 02:55 27s record-let
record-let
January 21, 2025 02:55 27s
withFC ImpDecl Lint the sources #337: Commit 3b32e3d pushed by andrevidela
January 21, 2025 02:55 10s record-let
record-let
January 21, 2025 02:55 10s
withFC ImpDecl Idris2 and External Libs #169: Commit 3b32e3d pushed by andrevidela
January 21, 2025 02:55 10m 38s record-let
record-let
January 21, 2025 02:55 10m 38s
update doc comments Lint Code Base #334: Commit 104f40b pushed by andrevidela
January 19, 2025 10:37 1m 37s parser-refactor
parser-refactor
January 19, 2025 10:37 1m 37s
update doc comments Sphinx #305: Commit 104f40b pushed by andrevidela
January 19, 2025 10:37 31s parser-refactor
parser-refactor
January 19, 2025 10:37 31s
update doc comments Lint the sources #336: Commit 104f40b pushed by andrevidela
January 19, 2025 10:37 12s parser-refactor
parser-refactor
January 19, 2025 10:37 12s
update doc comments Idris2 and External Libs #168: Commit 104f40b pushed by andrevidela
January 19, 2025 10:37 48m 11s parser-refactor
parser-refactor
January 19, 2025 10:37 48m 11s
deprecate old parameter-block syntax Lint the sources #335: Commit b01df44 pushed by andrevidela
January 15, 2025 13:59 13s deprecate-old-parameters
deprecate-old-parameters
January 15, 2025 13:59 13s