Skip to content

Actions: stefan-hoeck/idris2-sqlite3

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-lib.yml
112 workflow runs
112 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #30 from stefan-hoeck/table_headers Build #111: Commit 6fab91b pushed by stefan-hoeck
November 16, 2023 07:13 1m 41s main
main
November 16, 2023 07:13 1m 41s
[ new ] pretty tables with column headers Build #110: Pull request #30 opened by stefan-hoeck
November 16, 2023 07:09 1m 50s table_headers
table_headers
November 16, 2023 07:09 1m 50s
[ new ] pretty tables with column headers Build #109: Commit fba6ea1 pushed by stefan-hoeck
November 16, 2023 07:08 1m 49s table_headers
table_headers
November 16, 2023 07:08 1m 49s
Merge pull request #29 from stefan-hoeck/pretty_tables Build #108: Commit 71885dc pushed by stefan-hoeck
November 15, 2023 10:23 2m 8s main
main
November 15, 2023 10:23 2m 8s
[ new ] print pretty tables Build #107: Pull request #29 opened by stefan-hoeck
November 15, 2023 10:21 1m 50s pretty_tables
pretty_tables
November 15, 2023 10:21 1m 50s
[ new ] print pretty tables Build #106: Commit 1118b47 pushed by stefan-hoeck
November 15, 2023 10:21 2m 1s pretty_tables
pretty_tables
November 15, 2023 10:21 2m 1s
Merge pull request #28 from stefan-hoeck/flat_rows Build #105: Commit 56e2e1e pushed by stefan-hoeck
November 15, 2023 06:51 1m 46s main
main
November 15, 2023 06:51 1m 46s
[ new, refactor ] flattening marshallers Build #104: Pull request #28 opened by stefan-hoeck
November 15, 2023 06:51 1m 54s flat_rows
flat_rows
November 15, 2023 06:51 1m 54s
[ new, refactor ] flattening marshallers Build #103: Commit c14b4f8 pushed by stefan-hoeck
November 15, 2023 06:45 1m 41s flat_rows
flat_rows
November 15, 2023 06:45 1m 41s
Merge pull request #27 from stefan-hoeck/no_bool Build #102: Commit cf885f0 pushed by stefan-hoeck
November 14, 2023 19:01 1m 44s main
main
November 14, 2023 19:01 1m 44s
[ refactor ] drop BOOL data constructor Build #101: Pull request #27 opened by stefan-hoeck
November 14, 2023 17:04 1m 43s no_bool
no_bool
November 14, 2023 17:04 1m 43s
[ refactor ] drop BOOL data constructor Build #100: Commit f7708b8 pushed by stefan-hoeck
November 14, 2023 17:04 1m 44s no_bool
no_bool
November 14, 2023 17:04 1m 44s
Merge pull request #26 from stefan-hoeck/tutorial_run Build #99: Commit 37c37d7 pushed by stefan-hoeck
November 14, 2023 16:55 1m 42s main
main
November 14, 2023 16:55 1m 42s
[ doc ] finish first version of tutorial Build #98: Pull request #26 opened by stefan-hoeck
November 14, 2023 16:51 1m 51s tutorial_run
tutorial_run
November 14, 2023 16:51 1m 51s
[ doc ] first revision of whole tutorial Build #97: Commit b4b75f8 pushed by stefan-hoeck
November 14, 2023 16:50 1m 49s tutorial_run
tutorial_run
November 14, 2023 16:50 1m 49s
[ doc ] finished first version of tutorial Build #96: Commit 53f4481 pushed by stefan-hoeck
November 14, 2023 11:52 1m 46s tutorial_run
tutorial_run
November 14, 2023 11:52 1m 46s
Merge pull request #25 from stefan-hoeck/tutorial Build #95: Commit b3831ce pushed by stefan-hoeck
November 13, 2023 05:26 1m 37s main
main
November 13, 2023 05:26 1m 37s
[ doc, wip ] writing a tutorial Build #94: Pull request #25 synchronize by stefan-hoeck
November 13, 2023 05:24 1m 41s tutorial
tutorial
November 13, 2023 05:24 1m 41s
[ wip ] placeholders for future tutorial sections Build #93: Commit db155ac pushed by stefan-hoeck
November 13, 2023 05:24 1m 43s tutorial
tutorial
November 13, 2023 05:24 1m 43s
[ doc, wip ] writing a tutorial Build #92: Pull request #25 synchronize by stefan-hoeck
November 11, 2023 21:26 2m 47s tutorial
tutorial
November 11, 2023 21:26 2m 47s
[ doc ] started with DB updates Build #91: Commit 5ec8c60 pushed by stefan-hoeck
November 11, 2023 21:26 1m 40s tutorial
tutorial
November 11, 2023 21:26 1m 40s
[ doc, wip ] writing a tutorial Build #90: Pull request #25 synchronize by stefan-hoeck
November 11, 2023 07:41 2m 7s tutorial
tutorial
November 11, 2023 07:41 2m 7s
[ doc ] added section about marshallers Build #89: Commit 18dd6ee pushed by stefan-hoeck
November 11, 2023 07:41 1m 40s tutorial
tutorial
November 11, 2023 07:41 1m 40s
[ doc, wip ] writing a tutorial Build #88: Pull request #25 synchronize by stefan-hoeck
November 10, 2023 12:13 1m 37s tutorial
tutorial
November 10, 2023 12:13 1m 37s
[ fix ] minore corrections Build #87: Commit ddf788e pushed by stefan-hoeck
November 10, 2023 12:13 1m 42s tutorial
tutorial
November 10, 2023 12:13 1m 42s