Skip to content

Actions: ocsigen/eliom

Actions

Main workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
workflow.yml
This workflow will be disabled soon because there's no recent activity in the repository.
262 workflow runs
262 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Dune improvements Main workflow #693: Pull request #773 synchronize by vouillon
December 4, 2023 21:43 41m 1s dune-update
dune-update
December 4, 2023 21:43 41m 1s
Dune improvements Main workflow #692: Commit 66b2eee pushed by vouillon
December 4, 2023 21:43 18m 45s dune-update
dune-update
December 4, 2023 21:43 18m 45s
Dune improvements Main workflow #691: Pull request #773 synchronize by vouillon
December 4, 2023 19:54 1h 15m 25s dune-update
dune-update
December 4, 2023 19:54 1h 15m 25s
Dune improvements Main workflow #690: Commit 0df315c pushed by vouillon
December 4, 2023 19:54 57m 14s dune-update
dune-update
December 4, 2023 19:54 57m 14s
Dune improvements Main workflow #689: Pull request #773 opened by vouillon
December 4, 2023 19:47 49m 34s dune-update
dune-update
December 4, 2023 19:47 49m 34s
Dune improvements Main workflow #688: Commit b889faa pushed by vouillon
December 4, 2023 19:43 31m 5s dune-update
dune-update
December 4, 2023 19:43 31m 5s
Main workflow Main workflow #687: Scheduled
December 4, 2023 01:48 30m 48s master
master
December 4, 2023 01:48 30m 48s
Main workflow Main workflow #686: Scheduled
November 27, 2023 01:46 34m 0s master
master
November 27, 2023 01:46 34m 0s
Merge pull request #771 from ocsigen/doc Main workflow #685: Commit aae7005 pushed by balat
November 24, 2023 14:34 1h 12m 3s master
master
November 24, 2023 14:34 1h 12m 3s
Add index.mld for main odoc page Main workflow #684: Pull request #771 synchronize by balat
November 24, 2023 14:30 55m 53s doc
doc
November 24, 2023 14:30 55m 53s
Add index.mld for main odoc page Main workflow #683: Commit 25e9b8a pushed by balat
November 24, 2023 14:30 26m 28s doc
doc
November 24, 2023 14:30 26m 28s
Main workflow Main workflow #682: Scheduled
November 20, 2023 01:48 48m 57s master
master
November 20, 2023 01:48 48m 57s
ProTip! You can narrow down the results and go further in time using created:<2023-11-20 or the other filters available.