Skip to content

Actions: ocaml-bench/sandmark

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update deployment Dockerfile .github/workflows/main.yml #494: Pull request #479 synchronize by MisterDA
May 29, 2025 01:03 4m 7s MisterDA:Dockerfile
MisterDA:Dockerfile
May 29, 2025 01:03 4m 7s
Update deployment Dockerfile .github/workflows/main.yml #493: Pull request #479 synchronize by MisterDA
May 29, 2025 01:01 4m 37s MisterDA:Dockerfile
MisterDA:Dockerfile
May 29, 2025 01:01 4m 37s
Update deployment Dockerfile .github/workflows/main.yml #492: Pull request #479 synchronize by MisterDA
May 28, 2025 08:18 5m 5s MisterDA:Dockerfile
MisterDA:Dockerfile
May 28, 2025 08:18 5m 5s
Update deployment Dockerfile .github/workflows/main.yml #491: Pull request #479 opened by MisterDA
May 28, 2025 08:15 5m 13s MisterDA:Dockerfile
MisterDA:Dockerfile
May 28, 2025 08:15 5m 13s
Add ZDD-based N-queens solver benchmark .github/workflows/main.yml #490: Pull request #478 opened by jberdine
February 1, 2025 14:32 51s jberdine:queens
jberdine:queens
February 1, 2025 14:32 51s
Update sequential notebook .github/workflows/main.yml #489: Commit 5605805 pushed by kayceesrk
August 27, 2024 06:18 16m 35s main
main
August 27, 2024 06:18 16m 35s
OCaml trunk has been updated to 5.4 .github/workflows/main.yml #488: Commit 8f5cc37 pushed by punchagan
August 27, 2024 05:44 18m 30s main
main
August 27, 2024 05:44 18m 30s
OCaml trunk has been updated to 5.4 .github/workflows/main.yml #487: Pull request #476 opened by punchagan
August 27, 2024 05:21 19m 38s punchagan:trunk-5.4
punchagan:trunk-5.4
August 27, 2024 05:21 19m 38s
Revert "Pin base to workaround Format_doc change" .github/workflows/main.yml #486: Commit 3500bd2 pushed by kayceesrk
August 24, 2024 15:25 19m 31s arm64
arm64
August 24, 2024 15:25 19m 31s
Revert "Pin base to workaround Format_doc change" .github/workflows/main.yml #485: Commit 3500bd2 pushed by punchagan
August 2, 2024 06:18 18m 36s main
main
August 2, 2024 06:18 18m 36s
Revert "Pin base to workaround Format_doc change" .github/workflows/main.yml #484: Pull request #475 opened by punchagan
August 2, 2024 05:56 19m 24s punchagan:fix-base-install
punchagan:fix-base-install
August 2, 2024 05:56 19m 24s
Revert "Use pinned dune instead of system dune" .github/workflows/main.yml #483: Commit 6942edc pushed by punchagan
June 21, 2024 14:37 18m 29s main
main
June 21, 2024 14:37 18m 29s
Revert "Use pinned dune instead of system dune" .github/workflows/main.yml #482: Pull request #474 opened by punchagan
June 21, 2024 13:43 18m 41s punchagan:revert-dune-pin
punchagan:revert-dune-pin
June 21, 2024 13:43 18m 41s