Skip to content

Actions: stefan-hoeck/idris2-uv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
466 workflow runs
466 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ fix ] typecheck docs again Build #33: Commit 5e197d1 pushed by stefan-hoeck
December 1, 2023 09:03 1m 16s codegen
codegen
December 1, 2023 09:03 1m 16s
[ fix ] typecheck docs again Lint #33: Commit 5e197d1 pushed by stefan-hoeck
December 1, 2023 09:03 1m 32s codegen
codegen
December 1, 2023 09:03 1m 32s
[ pack ] code generation Lint #32: Pull request #8 opened by stefan-hoeck
December 1, 2023 08:37 1m 29s codegen
codegen
December 1, 2023 08:37 1m 29s
[ pack ] code generation Build #32: Pull request #8 opened by stefan-hoeck
December 1, 2023 08:37 1m 18s codegen
codegen
December 1, 2023 08:37 1m 18s
[ pack, wip ] code generation Lint #31: Commit 2ce72af pushed by stefan-hoeck
December 1, 2023 08:36 1m 34s codegen
codegen
December 1, 2023 08:36 1m 34s
[ pack, wip ] code generation Build #31: Commit 2ce72af pushed by stefan-hoeck
December 1, 2023 08:36 1m 21s codegen
codegen
December 1, 2023 08:36 1m 21s
Merge pull request #7 from stefan-hoeck/errors Build #30: Commit a92c860 pushed by stefan-hoeck
November 30, 2023 21:07 2m 44s main
main
November 30, 2023 21:07 2m 44s
Merge pull request #7 from stefan-hoeck/errors Lint #30: Commit a92c860 pushed by stefan-hoeck
November 30, 2023 21:07 1m 20s main
main
November 30, 2023 21:07 1m 20s
[ refactor ] enum type for errors Lint #29: Pull request #7 synchronize by stefan-hoeck
November 30, 2023 21:04 1m 27s errors
errors
November 30, 2023 21:04 1m 27s
[ refactor ] enum type for errors Build #29: Pull request #7 synchronize by stefan-hoeck
November 30, 2023 21:04 2m 29s errors
errors
November 30, 2023 21:04 2m 29s
[ fix ] remove most recent error Build #28: Commit bd6e284 pushed by stefan-hoeck
November 30, 2023 21:04 2m 29s errors
errors
November 30, 2023 21:04 2m 29s
[ fix ] remove most recent error Lint #28: Commit bd6e284 pushed by stefan-hoeck
November 30, 2023 21:04 1m 21s errors
errors
November 30, 2023 21:04 1m 21s
[ refactor ] enum type for errors Build #27: Pull request #7 opened by stefan-hoeck
November 30, 2023 20:57 1m 23s errors
errors
November 30, 2023 20:57 1m 23s
[ refactor ] enum type for errors Lint #27: Pull request #7 opened by stefan-hoeck
November 30, 2023 20:57 3m 13s errors
errors
November 30, 2023 20:57 3m 13s
[ refactor ] enum type for errors Lint #26: Commit 2c0495f pushed by stefan-hoeck
November 30, 2023 20:57 1m 30s errors
errors
November 30, 2023 20:57 1m 30s
[ refactor ] enum type for errors Build #26: Commit 2c0495f pushed by stefan-hoeck
November 30, 2023 20:57 1m 10s errors
errors
November 30, 2023 20:57 1m 10s
Merge pull request #6 from stefan-hoeck/tcp_client Build #25: Commit 84c8bf9 pushed by stefan-hoeck
November 30, 2023 18:24 2m 27s main
main
November 30, 2023 18:24 2m 27s
Merge pull request #6 from stefan-hoeck/tcp_client Lint #25: Commit 84c8bf9 pushed by stefan-hoeck
November 30, 2023 18:24 1m 29s main
main
November 30, 2023 18:24 1m 29s
[ doc ] tcp client example Lint #24: Pull request #6 synchronize by stefan-hoeck
November 30, 2023 18:22 1m 30s tcp_client
tcp_client
November 30, 2023 18:22 1m 30s
[ doc ] tcp client example Build #24: Pull request #6 synchronize by stefan-hoeck
November 30, 2023 18:22 2m 27s tcp_client
tcp_client
November 30, 2023 18:22 2m 27s
[ fix ] type error Build #23: Commit aacb312 pushed by stefan-hoeck
November 30, 2023 18:22 2m 34s tcp_client
tcp_client
November 30, 2023 18:22 2m 34s
[ fix ] type error Lint #23: Commit aacb312 pushed by stefan-hoeck
November 30, 2023 18:22 1m 19s tcp_client
tcp_client
November 30, 2023 18:22 1m 19s
[ doc ] tcp client example Lint #22: Pull request #6 opened by stefan-hoeck
November 30, 2023 15:27 1m 25s tcp_client
tcp_client
November 30, 2023 15:27 1m 25s
[ doc ] tcp client example Build #22: Pull request #6 opened by stefan-hoeck
November 30, 2023 15:27 1m 15s tcp_client
tcp_client
November 30, 2023 15:27 1m 15s
[ doc ] tcp client example Build #21: Commit ccb70ce pushed by stefan-hoeck
November 30, 2023 15:27 1m 23s tcp_client
tcp_client
November 30, 2023 15:27 1m 23s
ProTip! You can narrow down the results and go further in time using created:<2023-11-30 or the other filters available.