Skip to content

Actions: stefan-hoeck/idris2-sqlite3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
224 workflow runs
224 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 ] finish first version of tutorial Lint #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 ] first revision of whole tutorial Lint #97: Commit b4b75f8 pushed by stefan-hoeck
November 14, 2023 16:50 1m 22s tutorial_run
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
tutorial_run
November 14, 2023 11:52 1m 21s
[ 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 Lint #95: Commit b3831ce pushed by stefan-hoeck
November 13, 2023 05:26 1m 16s main
main
November 13, 2023 05:26 1m 16s
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 Lint #94: Pull request #25 synchronize by stefan-hoeck
November 13, 2023 05:24 1m 28s tutorial
tutorial
November 13, 2023 05:24 1m 28s
[ 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 Lint #93: Commit db155ac pushed by stefan-hoeck
November 13, 2023 05:24 1m 38s tutorial
tutorial
November 13, 2023 05:24 1m 38s
[ 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, wip ] writing a tutorial Lint #92: Pull request #25 synchronize by stefan-hoeck
November 11, 2023 21:26 1m 26s tutorial
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
tutorial
November 11, 2023 21:26 1m 25s
[ 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, wip ] writing a tutorial Lint #90: Pull request #25 synchronize by stefan-hoeck
November 11, 2023 07:41 1m 52s tutorial
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
tutorial
November 11, 2023 07:41 1m 42s
[ 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 Lint #88: Pull request #25 synchronize by stefan-hoeck
November 10, 2023 12:13 3m 4s tutorial
tutorial
November 10, 2023 12:13 3m 4s
[ 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
[ fix ] minore corrections Lint #87: Commit ddf788e pushed by stefan-hoeck
November 10, 2023 12:13 1m 31s tutorial
tutorial
November 10, 2023 12:13 1m 31s