Skip to content

Actions: mmottl/sqlite3-ocaml

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Removed pthread linking flag
Main workflow #15: Commit 85d8758 pushed by mmottl
August 1, 2024 04:57 3m 30s 5.2.0
August 1, 2024 04:57 3m 30s
pages build and deployment
pages-build-deployment #1: by mmottl
August 1, 2024 04:57 36s
August 1, 2024 04:57 36s
Removed pthread linking flag
Main workflow #14: Commit 85d8758 pushed by mmottl
August 1, 2024 04:54 3m 58s master
August 1, 2024 04:54 3m 58s
Fixed exception odoc references
Main workflow #13: Commit 2026eb1 pushed by mmottl
August 1, 2024 04:34 3m 40s master
August 1, 2024 04:34 3m 40s
Removed pthread linking flag
Main workflow #12: Commit 85d8758 pushed by mmottl
August 1, 2024 04:33 3m 51s master
August 1, 2024 04:33 3m 51s
Updated changelog
Main workflow #11: Commit 05812d5 pushed by mmottl
August 1, 2024 04:23 4m 1s master
August 1, 2024 04:23 4m 1s
Improved GitHub workflow
Main workflow #10: Commit 3ebe7be pushed by mmottl
August 1, 2024 03:52 7m 7s master
August 1, 2024 03:52 7m 7s
Improved copyright notices
Main workflow #9: Commit a73629d pushed by mmottl
August 1, 2024 03:49 3m 48s master
August 1, 2024 03:49 3m 48s
Improved README
Main workflow #8: Commit 98d1d64 pushed by mmottl
August 1, 2024 03:42 3m 57s master
August 1, 2024 03:42 3m 57s
Updated changelog
Main workflow #7: Commit 0830a68 pushed by mmottl
August 1, 2024 03:31 3m 28s master
August 1, 2024 03:31 3m 28s
Updated changelog
Main workflow #6: Commit 9598892 pushed by mmottl
August 1, 2024 03:29 3m 33s master
August 1, 2024 03:29 3m 33s
Merge remote-tracking branch 'origin/pr/59'
Main workflow #5: Commit c17409f pushed by mmottl
August 1, 2024 03:10 4m 0s master
August 1, 2024 03:10 4m 0s
Merge remote-tracking branch 'origin/pr/59'
Main workflow #4: Commit 50a356d pushed by mmottl
August 1, 2024 03:08 3m 24s master
August 1, 2024 03:08 3m 24s
Merge remote-tracking branch 'origin/pr/52'
Main workflow #3: Commit b37da7c pushed by mmottl
August 1, 2024 02:56 5m 2s master
August 1, 2024 02:56 5m 2s
Merge branch 'pr/57'
Main workflow #2: Commit 4edcb6c pushed by mmottl
August 1, 2024 00:46 3m 53s master
August 1, 2024 00:46 3m 53s
Merge pull request #56 from yilinwei/master
Main workflow #1: Commit 4ab1d4b pushed by mmottl
August 1, 2024 00:19 7m 2s master
August 1, 2024 00:19 7m 2s