Skip to content

Actions: ocsigen/lwt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
592 workflow runs
592 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump actions/checkout from 4 to 7 lint #115: Pull request #1116 opened by dependabot Bot
8m 12s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
8m 12s
Bump actions/checkout from 4 to 7 Builds, tests #1420: Pull request #1116 opened by dependabot Bot
19m 30s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
19m 30s
github_actions in /. - Update #1428930391 Dependabot Updates #94: by dependabot Bot
44s master
master
44s
doc: list Lwt_seq in the lwt API index Builds, tests #1419: Pull request #1115 opened by balat
21m 54s doc-add-lwt-seq
doc-add-lwt-seq
21m 54s
doc: list Lwt_seq in the lwt API index lint #114: Pull request #1115 opened by balat
7m 45s doc-add-lwt-seq
doc-add-lwt-seq
7m 45s
Builds, tests Builds, tests #1418: Scheduled
16m 30s master
master
16m 30s
Merge pull request #1114 from ocsigen/doc-hosted-full Builds, tests #1417: Commit 59daedd pushed by balat
1h 44m 4s master
master
1h 44m 4s
Merge pull request #1114 from ocsigen/doc-hosted-full lint #113: Commit 59daedd pushed by balat
1h 6m 52s master
master
1h 6m 52s
Merge pull request #1114 from ocsigen/doc-hosted-full Documentation #7: Commit 59daedd pushed by balat
56m 42s master
master
56m 42s
pages build and deployment pages-build-deployment #6: by github-pages Bot
1h 21m 56s gh-pages
gh-pages
1h 21m 56s
doc: list the full Ocsigen family in the hosted table lint #112: Pull request #1114 opened by balat
53m 50s doc-hosted-full
doc-hosted-full
53m 50s
doc: list the full Ocsigen family in the hosted table Builds, tests #1416: Pull request #1114 opened by balat
1h 50m 30s doc-hosted-full
doc-hosted-full
1h 50m 30s
Merge pull request #1113 from ocsigen/update-wodoc-config Documentation #6: Commit cfc0c45 pushed by balat
24m 11s master
master
24m 11s
Merge pull request #1113 from ocsigen/update-wodoc-config Builds, tests #1415: Commit cfc0c45 pushed by balat
1h 16m 42s master
master
1h 16m 42s
Merge pull request #1113 from ocsigen/update-wodoc-config lint #111: Commit cfc0c45 pushed by balat
20m 0s master
master
20m 0s
doc: update doc/wodoc for wodoc's new defaults lint #110: Pull request #1113 opened by balat
32m 42s update-wodoc-config
update-wodoc-config
32m 42s
doc: update doc/wodoc for wodoc's new defaults Builds, tests #1414: Pull request #1113 opened by balat
2h 5m 5s update-wodoc-config
update-wodoc-config
2h 5m 5s
pages build and deployment pages-build-deployment #5: by github-pages Bot
16m 59s gh-pages
gh-pages
16m 59s
Documentation Documentation #5: Manually run by balat
27m 29s master
master
27m 29s
pages build and deployment pages-build-deployment #4: by balat
32m 27s gh-pages
gh-pages
32m 27s
pages build and deployment pages-build-deployment #3: by github-pages Bot
39m 14s gh-pages
gh-pages
39m 14s
Documentation Documentation #4: Manually run by balat
6m 15s master
master
6m 15s
pages build and deployment pages-build-deployment #2: by github-pages Bot
15m 0s gh-pages
gh-pages
15m 0s
Documentation Documentation #3: Manually run by balat
6m 24s master
master
6m 24s
pages build and deployment pages-build-deployment #1: by github-pages Bot
7m 40s gh-pages
gh-pages
7m 40s