Skip to content

Actions: savonet/ocaml-ssl

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test: tidy up tests, disable some tests on windows (#160)
Build doc #81: Commit 72c275c pushed by anmonteiro
November 17, 2024 22:26 3m 11s master
November 17, 2024 22:26 3m 11s
test: tidy up tests, disable some tests on windows (#160)
Build #307: Commit 72c275c pushed by anmonteiro
November 17, 2024 22:26 5m 17s master
November 17, 2024 22:26 5m 17s
chore: update flakes (#159)
Build doc #80: Commit f14abe3 pushed by anmonteiro
November 17, 2024 21:37 3m 10s master
November 17, 2024 21:37 3m 10s
chore: update flakes (#159)
Build #302: Commit f14abe3 pushed by anmonteiro
November 17, 2024 21:37 5m 27s master
November 17, 2024 21:37 5m 27s
pages build and deployment
pages-build-deployment #22: by github-pages bot
November 17, 2024 21:31 40s
November 17, 2024 21:31 40s
chore: update flakes
Build #301: Pull request #159 opened by anmonteiro
November 17, 2024 21:30 12m 18s anmonteiro/update-flakes
November 17, 2024 21:30 12m 18s
Run CI on Windows (#156)
Build doc #79: Commit 48759c1 pushed by anmonteiro
November 17, 2024 21:24 6m 37s master
November 17, 2024 21:24 6m 37s
Run CI on Windows (#156)
Build #300: Commit 48759c1 pushed by anmonteiro
November 17, 2024 21:24 12m 43s master
November 17, 2024 21:24 12m 43s
Run CI on Windows
Build #299: Pull request #156 synchronize by anmonteiro
November 17, 2024 21:09 12m 1s aantron:gha-windows
November 17, 2024 21:09 12m 1s
Run CI on Windows
Build #298: Pull request #156 synchronize by anmonteiro
November 12, 2024 02:38 13m 40s aantron:gha-windows
November 12, 2024 02:38 13m 40s
Run CI on Windows
Build #297: Pull request #156 synchronize by aantron
September 5, 2024 10:37 5m 14s aantron:gha-windows
September 5, 2024 10:37 5m 14s
Run CI on Windows
Build #296: Pull request #156 synchronize by aantron
September 5, 2024 08:02 5m 21s aantron:gha-windows
September 5, 2024 08:02 5m 21s
Run CI on Windows
Build #295: Pull request #156 synchronize by anmonteiro
September 4, 2024 13:01 5m 21s aantron:gha-windows
September 4, 2024 13:01 5m 21s
pages build and deployment
pages-build-deployment #21: by github-pages bot
September 4, 2024 09:26 38s
September 4, 2024 09:26 38s
Run CI on Windows
Build #294: Pull request #156 synchronize by anmonteiro
September 4, 2024 09:22 9m 51s aantron:gha-windows
September 4, 2024 09:22 9m 51s
poke CI (#157)
Build #293: Commit fedaeef pushed by anmonteiro
September 4, 2024 09:20 9m 9s master
September 4, 2024 09:20 9m 9s
poke CI (#157)
Build doc #78: Commit fedaeef pushed by anmonteiro
September 4, 2024 09:20 6m 24s master
September 4, 2024 09:20 6m 24s
poke CI
Build #292: Pull request #157 synchronize by anmonteiro
September 4, 2024 09:13 6m 55s anmonteiro/poke-ci
September 4, 2024 09:13 6m 55s
poke CI
Build #291: Pull request #157 synchronize by anmonteiro
September 4, 2024 09:04 9m 26s anmonteiro/poke-ci
September 4, 2024 09:04 9m 26s
poke CI
Build #290: Pull request #157 opened by anmonteiro
September 4, 2024 09:00 4m 25s anmonteiro/poke-ci
September 4, 2024 09:00 4m 25s
Run CI on Windows
Build #289: Pull request #156 synchronize by aantron
September 3, 2024 15:24 4m 11s aantron:gha-windows
September 3, 2024 15:24 4m 11s