Skip to content

Actions: andrevidela/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
633 workflow runs
633 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Carry names across semantic decorations Lint Code Base #321: Commit 2171166 pushed by andrevidela
December 20, 2024 15:32 1m 43s parser-refactor
parser-refactor
December 20, 2024 15:32 1m 43s
Carry names across semantic decorations Idris2 and External Libs #154: Commit 567a84f pushed by andrevidela
December 20, 2024 06:54 31m 51s parser-refactor
parser-refactor
December 20, 2024 06:54 31m 51s
Carry names across semantic decorations Lint the sources #322: Commit 567a84f pushed by andrevidela
December 20, 2024 06:54 12s parser-refactor
parser-refactor
December 20, 2024 06:54 12s
Carry names across semantic decorations Lint Code Base #320: Commit 567a84f pushed by andrevidela
December 20, 2024 06:54 1m 42s parser-refactor
parser-refactor
December 20, 2024 06:54 1m 42s
Carry names across semantic decorations Sphinx #291: Commit 567a84f pushed by andrevidela
December 20, 2024 06:54 1m 17s parser-refactor
parser-refactor
December 20, 2024 06:54 1m 17s
split up ideMode tests Lint Code Base #319: Commit f014cba pushed by andrevidela
December 20, 2024 05:34 2m 2s parser-refactor
parser-refactor
December 20, 2024 05:34 2m 2s
split up ideMode tests Idris2 and External Libs #153: Commit f014cba pushed by andrevidela
December 20, 2024 05:34 28m 39s parser-refactor
parser-refactor
December 20, 2024 05:34 28m 39s
split up ideMode tests Lint the sources #321: Commit f014cba pushed by andrevidela
December 20, 2024 05:34 11s parser-refactor
parser-refactor
December 20, 2024 05:34 11s
split up ideMode tests Sphinx #290: Commit f014cba pushed by andrevidela
December 20, 2024 05:34 27s parser-refactor
parser-refactor
December 20, 2024 05:34 27s
add test for #3417 Lint Code Base #318: Commit cf1295d pushed by andrevidela
December 20, 2024 03:34 1m 47s parser-refactor
parser-refactor
December 20, 2024 03:34 1m 47s
add test for #3417 Lint the sources #320: Commit cf1295d pushed by andrevidela
December 20, 2024 03:34 12s parser-refactor
parser-refactor
December 20, 2024 03:34 12s
add test for #3417 Idris2 and External Libs #152: Commit cf1295d pushed by andrevidela
December 20, 2024 03:34 29m 48s parser-refactor
parser-refactor
December 20, 2024 03:34 29m 48s
add test for #3417 Sphinx #289: Commit cf1295d pushed by andrevidela
December 20, 2024 03:34 37s parser-refactor
parser-refactor
December 20, 2024 03:34 37s
plug remaining holes Sphinx #288: Commit 2d7d0c8 pushed by andrevidela
December 20, 2024 03:06 34s parser-refactor
parser-refactor
December 20, 2024 03:06 34s
plug remaining holes Lint the sources #319: Commit 2d7d0c8 pushed by andrevidela
December 20, 2024 03:06 10s parser-refactor
parser-refactor
December 20, 2024 03:06 10s
plug remaining holes Idris2 and External Libs #151: Commit 2d7d0c8 pushed by andrevidela
December 20, 2024 03:06 28m 5s parser-refactor
parser-refactor
December 20, 2024 03:06 28m 5s
plug remaining holes Lint Code Base #317: Commit 2d7d0c8 pushed by andrevidela
December 20, 2024 03:06 1m 36s parser-refactor
parser-refactor
December 20, 2024 03:06 1m 36s
plug remaining holes Sphinx #287: Commit b9f0cef pushed by andrevidela
December 20, 2024 03:04 37s parser-refactor
parser-refactor
December 20, 2024 03:04 37s
plug remaining holes Lint Code Base #316: Commit b9f0cef pushed by andrevidela
December 20, 2024 03:04 1m 35s parser-refactor
parser-refactor
December 20, 2024 03:04 1m 35s
plug remaining holes Lint the sources #318: Commit b9f0cef pushed by andrevidela
December 20, 2024 03:04 12s parser-refactor
parser-refactor
December 20, 2024 03:04 12s
plug remaining holes Idris2 and External Libs #150: Commit b9f0cef pushed by andrevidela
December 20, 2024 03:04 2m 36s parser-refactor
parser-refactor
December 20, 2024 03:04 2m 36s
plug remaining holes Sphinx #286: Commit bc0c8be pushed by andrevidela
December 20, 2024 02:54 36s parser-refactor
parser-refactor
December 20, 2024 02:54 36s
plug remaining holes Lint Code Base #315: Commit bc0c8be pushed by andrevidela
December 20, 2024 02:54 1m 39s parser-refactor
parser-refactor
December 20, 2024 02:54 1m 39s
plug remaining holes Lint the sources #317: Commit bc0c8be pushed by andrevidela
December 20, 2024 02:54 11s parser-refactor
parser-refactor
December 20, 2024 02:54 11s
plug remaining holes Idris2 and External Libs #149: Commit bc0c8be pushed by andrevidela
December 20, 2024 02:54 10m 31s parser-refactor
parser-refactor
December 20, 2024 02:54 10m 31s