Skip to content

Actions: andrevidela/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
715 workflow runs
715 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
deprecate old parameter-block syntax Sphinx #304: Commit b01df44 pushed by andrevidela
January 15, 2025 13:59 32s deprecate-old-parameters
deprecate-old-parameters
January 15, 2025 13:59 32s
deprecate old parameter-block syntax Lint Code Base #333: Commit b01df44 pushed by andrevidela
January 15, 2025 13:59 1m 44s deprecate-old-parameters
deprecate-old-parameters
January 15, 2025 13:59 1m 44s
deprecate old parameter-block syntax Idris2 and External Libs #167: Commit b01df44 pushed by andrevidela
January 15, 2025 13:59 43m 5s deprecate-old-parameters
deprecate-old-parameters
January 15, 2025 13:59 43m 5s
deprecate old parameter-block syntax Lint Code Base #332: Commit fbfaf4e pushed by andrevidela
January 15, 2025 12:21 1m 54s deprecate-old-parameters
deprecate-old-parameters
January 15, 2025 12:21 1m 54s
deprecate old parameter-block syntax Idris2 and External Libs #166: Commit fbfaf4e pushed by andrevidela
January 15, 2025 12:21 48m 57s deprecate-old-parameters
deprecate-old-parameters
January 15, 2025 12:21 48m 57s
deprecate old parameter-block syntax Sphinx #303: Commit fbfaf4e pushed by andrevidela
January 15, 2025 12:21 33s deprecate-old-parameters
deprecate-old-parameters
January 15, 2025 12:21 33s
deprecate old parameter-block syntax Lint the sources #334: Commit fbfaf4e pushed by andrevidela
January 15, 2025 12:21 13s deprecate-old-parameters
deprecate-old-parameters
January 15, 2025 12:21 13s
deprecate old parameter-block syntax Sphinx #302: Commit 95370c1 pushed by andrevidela
January 15, 2025 12:11 31s deprecate-old-parameters
deprecate-old-parameters
January 15, 2025 12:11 31s
deprecate old parameter-block syntax Lint the sources #333: Commit 95370c1 pushed by andrevidela
January 15, 2025 12:11 14s deprecate-old-parameters
deprecate-old-parameters
January 15, 2025 12:11 14s
deprecate old parameter-block syntax Lint Code Base #331: Commit 95370c1 pushed by andrevidela
January 15, 2025 12:11 1m 39s deprecate-old-parameters
deprecate-old-parameters
January 15, 2025 12:11 1m 39s
deprecate old parameter-block syntax Idris2 and External Libs #165: Commit 95370c1 pushed by andrevidela
January 15, 2025 12:11 10m 18s deprecate-old-parameters
deprecate-old-parameters
January 15, 2025 12:11 10m 18s
Make telescope constructors & functions binding operators Sphinx #301: Commit f9fa62b pushed by andrevidela
January 15, 2025 01:32 1m 46s telescope-binding-operators
telescope-binding-operators
January 15, 2025 01:32 1m 46s
Make telescope constructors & functions binding operators Idris2 and External Libs #164: Commit f9fa62b pushed by andrevidela
January 15, 2025 01:32 48m 46s telescope-binding-operators
telescope-binding-operators
January 15, 2025 01:32 48m 46s
Make telescope constructors & functions binding operators Lint Code Base #330: Commit f9fa62b pushed by andrevidela
January 15, 2025 01:32 1m 37s telescope-binding-operators
telescope-binding-operators
January 15, 2025 01:32 1m 37s
Make telescope constructors & functions binding operators Lint the sources #332: Commit f9fa62b pushed by andrevidela
January 15, 2025 01:32 11s telescope-binding-operators
telescope-binding-operators
January 15, 2025 01:32 11s
update doc comments Lint Code Base #329: Commit e8f8aa5 pushed by andrevidela
January 7, 2025 18:13 1m 41s parser-refactor
parser-refactor
January 7, 2025 18:13 1m 41s
update doc comments Sphinx #300: Commit e8f8aa5 pushed by andrevidela
January 7, 2025 18:13 31s parser-refactor
parser-refactor
January 7, 2025 18:13 31s
update doc comments Lint the sources #331: Commit e8f8aa5 pushed by andrevidela
January 7, 2025 18:13 13s parser-refactor
parser-refactor
January 7, 2025 18:13 13s
update doc comments Idris2 and External Libs #163: Commit e8f8aa5 pushed by andrevidela
January 7, 2025 18:13 47m 58s parser-refactor
parser-refactor
January 7, 2025 18:13 47m 58s
only FC changes (#3460) Sphinx #299: Commit 6cd4aa5 pushed by andrevidela
January 7, 2025 16:55 36s parser-refactor-cherry
parser-refactor-cherry
January 7, 2025 16:55 36s
only FC changes (#3460) Lint Code Base #328: Commit 6cd4aa5 pushed by andrevidela
January 7, 2025 16:55 1m 39s parser-refactor-cherry
parser-refactor-cherry
January 7, 2025 16:55 1m 39s
only FC changes (#3460) Lint the sources #330: Commit 6cd4aa5 pushed by andrevidela
January 7, 2025 16:55 13s parser-refactor-cherry
parser-refactor-cherry
January 7, 2025 16:55 13s
only FC changes (#3460) Idris2 and External Libs #162: Commit 6cd4aa5 pushed by andrevidela
January 7, 2025 16:55 48m 17s parser-refactor-cherry
parser-refactor-cherry
January 7, 2025 16:55 48m 17s
add box drawing characters Lint the sources #329: Commit 3159745 pushed by andrevidela
December 29, 2024 17:41 10s fancy-symbols
fancy-symbols
December 29, 2024 17:41 10s