Skip to content

Actions: stefan-hoeck/idris2-pretty-show

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-lib.yml
9 workflow runs
9 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
[ 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 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 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
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 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 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 Build #337: Commit 7f2697d pushed by stefan-hoeck
August 21, 2023 18:47 2m 8s style
style
August 21, 2023 18:47 2m 8s