Skip to content

Actions: stefan-hoeck/idris2-sqlite3

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

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