Skip to content

Actions: stefan-hoeck/idris2-pretty-show

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #31 from stefan-hoeck/pretty_double Build #345: Commit b8b0c2e pushed by stefan-hoeck
April 23, 2024 15:37 1m 5s main
main
April 23, 2024 15:37 1m 5s
Merge pull request #31 from stefan-hoeck/pretty_double Lint #137: Commit b8b0c2e pushed by stefan-hoeck
April 23, 2024 15:37 1m 18s main
main
April 23, 2024 15:37 1m 18s
[ new ] utility for pretty printing Doubles Build #344: Pull request #31 opened by stefan-hoeck
April 23, 2024 15:34 1m 10s pretty_double
pretty_double
April 23, 2024 15:34 1m 10s
[ new ] utility for pretty printing Doubles Lint #136: Pull request #31 opened by stefan-hoeck
April 23, 2024 15:34 1m 30s pretty_double
pretty_double
April 23, 2024 15:34 1m 30s
[ new ] utility for pretty printing Doubles Lint #135: Commit f3774ca pushed by stefan-hoeck
April 23, 2024 15:34 1m 29s pretty_double
pretty_double
April 23, 2024 15:34 1m 29s
[ new ] utility for pretty printing Doubles Build #343: Commit f3774ca pushed by stefan-hoeck
April 23, 2024 15:34 1m 7s pretty_double
pretty_double
April 23, 2024 15:34 1m 7s
Merge pull request #30 from Adowrath/incompatible-visibilities-upstream Lint #134: Commit d07a748 pushed by stefan-hoeck
October 25, 2023 15:12 1m 56s main
main
October 25, 2023 15:12 1m 56s
Merge pull request #30 from Adowrath/incompatible-visibilities-upstream Build #342: Commit d07a748 pushed by stefan-hoeck
October 25, 2023 15:12 51s main
main
October 25, 2023 15:12 51s
[ upstream ] Add PrettyVal for WithDefault Build #341: Pull request #30 opened by Adowrath
October 25, 2023 08:47 1m 18s Adowrath:incompatible-visibilities-upstream
Adowrath:incompatible-visibilities-upstream
October 25, 2023 08:47 1m 18s
[ upstream ] Add PrettyVal for WithDefault Lint #133: Pull request #30 opened by Adowrath
October 25, 2023 08:47 2m 9s Adowrath:incompatible-visibilities-upstream
Adowrath:incompatible-visibilities-upstream
October 25, 2023 08:47 2m 9s
Merge pull request #29 from stefan-hoeck/style Lint #132: Commit 1ee13ea pushed by stefan-hoeck
August 21, 2023 19:25 1m 40s main
main
August 21, 2023 19:25 1m 40s
Merge pull request #29 from stefan-hoeck/style Build #340: Commit 1ee13ea pushed by stefan-hoeck
August 21, 2023 19:25 1m 30s main
main
August 21, 2023 19:25 1m 30s
[ style ] adhere to coding style guide Lint #131: Pull request #29 opened by stefan-hoeck
August 21, 2023 19:21 1m 44s style
style
August 21, 2023 19:21 1m 44s
[ style ] adhere to coding style guide Build #339: Pull request #29 opened by stefan-hoeck
August 21, 2023 19:21 1m 48s style
style
August 21, 2023 19:21 1m 48s
[ style ] adhere to coding style guide Lint #130: Commit c7b08a2 pushed by stefan-hoeck
August 21, 2023 19:21 1m 31s style
style
August 21, 2023 19:21 1m 31s
[ style ] adhere to coding style guide Build #338: Commit c7b08a2 pushed by stefan-hoeck
August 21, 2023 19:21 2m 3s style
style
August 21, 2023 19:21 2m 3s
Merge pull request #28 from stefan-hoeck/constants Lint #129: Commit 7f2697d pushed by stefan-hoeck
August 21, 2023 18:47 1m 38s style
style
August 21, 2023 18:47 1m 38s
Merge pull request #28 from stefan-hoeck/constants Build #337: Commit 7f2697d pushed by stefan-hoeck
August 21, 2023 18:47 2m 8s style
style
August 21, 2023 18:47 2m 8s