Skip to content

Actions: stefan-hoeck/idris2-linux

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,117 workflow runs
1,117 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ refactor ] move generated error type to its own module Build #9: Pull request #3 synchronize by stefan-hoeck
August 25, 2024 06:14 39s error_type
error_type
August 25, 2024 06:14 39s
[ lint ] be silent Lint #8: Commit 011bdc9 pushed by stefan-hoeck
August 25, 2024 06:14 1m 24s error_type
error_type
August 25, 2024 06:14 1m 24s
[ lint ] be silent Build #8: Commit 011bdc9 pushed by stefan-hoeck
August 25, 2024 06:14 39s error_type
error_type
August 25, 2024 06:14 39s
[ refactor ] move generated error type to its own module Build #7: Pull request #3 opened by stefan-hoeck
August 25, 2024 06:08 42s error_type
error_type
August 25, 2024 06:08 42s
[ refactor ] move generated error type to its own module Lint #7: Pull request #3 opened by stefan-hoeck
August 25, 2024 06:08 1m 20s error_type
error_type
August 25, 2024 06:08 1m 20s
[ refactor ] move generated error type to its own module Build #6: Commit f2f695b pushed by stefan-hoeck
August 25, 2024 06:08 41s error_type
error_type
August 25, 2024 06:08 41s
[ refactor ] move generated error type to its own module Lint #6: Commit f2f695b pushed by stefan-hoeck
August 25, 2024 06:08 1m 22s error_type
error_type
August 25, 2024 06:08 1m 22s
Merge pull request #2 from stefan-hoeck/ci Lint #5: Commit ad98e2f pushed by stefan-hoeck
August 25, 2024 06:00 1m 8s main
main
August 25, 2024 06:00 1m 8s
Merge pull request #2 from stefan-hoeck/ci Build #5: Commit ad98e2f pushed by stefan-hoeck
August 25, 2024 06:00 40s main
main
August 25, 2024 06:00 40s
[ CI ] enable CI Build #4: Pull request #2 synchronize by stefan-hoeck
August 25, 2024 05:58 41s ci
ci
August 25, 2024 05:58 41s
[ CI ] enable CI Lint #4: Pull request #2 synchronize by stefan-hoeck
August 25, 2024 05:58 1m 23s ci
ci
August 25, 2024 05:58 1m 23s
[ CI ] use --no-prompt Lint #3: Commit 01b45ac pushed by stefan-hoeck
August 25, 2024 05:58 1m 21s ci
ci
August 25, 2024 05:58 1m 21s
[ CI ] use --no-prompt Build #3: Commit 01b45ac pushed by stefan-hoeck
August 25, 2024 05:58 42s ci
ci
August 25, 2024 05:58 42s
[ CI ] enable CI Build #2: Pull request #2 opened by stefan-hoeck
August 25, 2024 05:51 27s ci
ci
August 25, 2024 05:51 27s
[ CI ] enable CI Lint #2: Pull request #2 opened by stefan-hoeck
August 25, 2024 05:51 1m 14s ci
ci
August 25, 2024 05:51 1m 14s
[ CI ] enable CI Lint #1: Commit 242566d pushed by stefan-hoeck
August 25, 2024 05:51 1m 24s ci
ci
August 25, 2024 05:51 1m 24s
[ CI ] enable CI Build #1: Commit 242566d pushed by stefan-hoeck
August 25, 2024 05:51 28s ci
ci
August 25, 2024 05:51 28s
ProTip! You can narrow down the results and go further in time using created:<2024-08-25 or the other filters available.