Skip to content

Actions: mmottl/postgresql-ocaml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
135 workflow runs
135 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Makefile improvement pre-commit #18: Commit 4c58e6f pushed by mmottl
July 7, 2025 05:21 19s master
master
July 7, 2025 05:21 19s
Makefile improvement Builds, tests & co #68: Commit 4c58e6f pushed by mmottl
July 7, 2025 05:21 2m 22s master
master
July 7, 2025 05:21 2m 22s
Push on master CodeQL #44: by mmottl
July 7, 2025 05:21 46s master
master
July 7, 2025 05:21 46s
Changelog improvement pre-commit #17: Commit 097ad9b pushed by mmottl
July 7, 2025 05:06 18s master
master
July 7, 2025 05:06 18s
Changelog improvement Builds, tests & co #67: Commit 097ad9b pushed by mmottl
July 7, 2025 05:06 2m 21s master
master
July 7, 2025 05:06 2m 21s
Push on master CodeQL #43: by mmottl
July 7, 2025 05:06 45s master
master
July 7, 2025 05:06 45s
Updated changelog Builds, tests & co #66: Commit 5a3aa2f pushed by mmottl
July 7, 2025 04:38 2m 22s master
master
July 7, 2025 04:38 2m 22s
Updated changelog pre-commit #16: Commit 5a3aa2f pushed by mmottl
July 7, 2025 04:38 19s master
master
July 7, 2025 04:38 19s
Push on master CodeQL #42: by mmottl
July 7, 2025 04:38 53s master
master
July 7, 2025 04:38 53s
github_actions in /. - Update #1047720666 Dependabot Updates #28: by dependabot bot
July 7, 2025 01:47 30s master
master
July 7, 2025 01:47 30s
Push on master CodeQL #41: by mmottl
July 6, 2025 23:18 46s master
master
July 6, 2025 23:18 46s
Added better clean targets Builds, tests & co #65: Commit 93d53dd pushed by mmottl
July 6, 2025 23:18 2m 28s master
master
July 6, 2025 23:18 2m 28s
Added better clean targets pre-commit #15: Commit 93d53dd pushed by mmottl
July 6, 2025 23:18 17s master
master
July 6, 2025 23:18 17s
Used unit arguments for clarity Builds, tests & co #64: Commit e9b8eb1 pushed by mmottl
July 6, 2025 23:12 2m 18s master
master
July 6, 2025 23:12 2m 18s
Used unit arguments for clarity pre-commit #14: Commit e9b8eb1 pushed by mmottl
July 6, 2025 23:12 14s master
master
July 6, 2025 23:12 14s
Push on master CodeQL #40: by mmottl
July 6, 2025 23:12 52s master
master
July 6, 2025 23:12 52s
Push on master CodeQL #39: by mmottl
July 6, 2025 20:55 41s master
master
July 6, 2025 20:55 41s
Switched to Fun.protect + renamed check_null to check_finished Builds, tests & co #63: Commit 95b92c9 pushed by mmottl
July 6, 2025 20:55 2m 25s master
master
July 6, 2025 20:55 2m 25s
Switched to Fun.protect + renamed check_null to check_finished pre-commit #13: Commit 95b92c9 pushed by mmottl
July 6, 2025 20:55 18s master
master
July 6, 2025 20:55 18s
Added building of compile_commands.json pre-commit #12: Commit 64828a7 pushed by mmottl
July 6, 2025 18:01 46s master
master
July 6, 2025 18:01 46s
Added building of compile_commands.json Builds, tests & co #62: Commit 64828a7 pushed by mmottl
July 6, 2025 18:01 6m 3s master
master
July 6, 2025 18:01 6m 3s
Push on master CodeQL #38: by mmottl
July 6, 2025 18:01 44s master
master
July 6, 2025 18:01 44s
Scheduled CodeQL #37: by github-advanced-security bot
July 3, 2025 10:20 47s master
master
July 3, 2025 10:20 47s
github_actions in /. - Update #1042829478 Dependabot Updates #27: by dependabot bot
June 30, 2025 01:41 29s master
master
June 30, 2025 01:41 29s
Parametrisation by the Mutex module + remove use for condition pre-commit #11: Pull request #55 synchronize by craff
June 27, 2025 19:11 13s craff:master
craff:master
June 27, 2025 19:11 13s