Skip to content

Actions: idris-community/idris2-ansi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #7 from emdash/add_missing_sgr Lint #20: Commit c099ebb pushed by stefan-hoeck
January 25, 2025 09:08 1m 9s main
main
January 25, 2025 09:08 1m 9s
Merge pull request #7 from emdash/add_missing_sgr Build #19: Commit c099ebb pushed by stefan-hoeck
January 25, 2025 09:08 29s main
main
January 25, 2025 09:08 29s
Add a SetReversed SGR variant Lint #19: Pull request #7 opened by emdash
January 24, 2025 19:54 1m 13s emdash:add_missing_sgr
emdash:add_missing_sgr
January 24, 2025 19:54 1m 13s
Add a SetReversed SGR variant Build #18: Pull request #7 opened by emdash
January 24, 2025 19:54 38s emdash:add_missing_sgr
emdash:add_missing_sgr
January 24, 2025 19:54 38s