Skip to content

Actions: CGAL/cgal-web

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
700 workflow runs
700 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add remesh and curvature news Receive_PR #102: Pull request #33 synchronize by sloriot
November 20, 2023 16:24 1m 19s sloriot:gsoc_remesh_curvature
sloriot:gsoc_remesh_curvature
November 20, 2023 16:24 1m 19s
pages build and deployment pages-build-deployment #40: by github-pages bot
November 20, 2023 16:23 1m 24s gh-pages
gh-pages
November 20, 2023 16:23 1m 24s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #102: completed by sloriot
November 20, 2023 16:23 32s
November 20, 2023 16:23 32s
Add remesh and curvature news Receive_PR #101: Pull request #33 synchronize by sloriot
November 20, 2023 16:21 1m 37s sloriot:gsoc_remesh_curvature
sloriot:gsoc_remesh_curvature
November 20, 2023 16:21 1m 37s
pages build and deployment pages-build-deployment #39: by github-pages bot
November 20, 2023 16:09 1m 19s gh-pages
gh-pages
November 20, 2023 16:09 1m 19s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #101: completed by sloriot
November 20, 2023 16:09 38s
November 20, 2023 16:09 38s
pages build and deployment pages-build-deployment #38: by github-pages bot
November 20, 2023 16:08 1m 15s gh-pages
gh-pages
November 20, 2023 16:08 1m 15s
add remesh and curvature news Receive_PR #100: Commit 982ddcc pushed by sloriot
November 20, 2023 16:08 1m 16s upcoming
upcoming
November 20, 2023 16:08 1m 16s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #100: completed by MaelRL
November 20, 2023 16:07 33s
November 20, 2023 16:07 33s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #99: completed by sloriot
November 20, 2023 16:07 28s
November 20, 2023 16:07 28s
Fix mix-up in people.html Receive_PR #99: Commit 0a0c5d4 pushed by MaelRL
November 20, 2023 16:06 1m 30s master
master
November 20, 2023 16:06 1m 30s
Fix mix-up in people.html Deploy_web_site_with_ssh #49: Commit 0a0c5d4 pushed by MaelRL
November 20, 2023 16:06 1m 2s master
master
November 20, 2023 16:06 1m 2s
Add remesh and curvature news Receive_PR #98: Pull request #33 synchronize by sloriot
November 20, 2023 16:06 1m 18s sloriot:gsoc_remesh_curvature
sloriot:gsoc_remesh_curvature
November 20, 2023 16:06 1m 18s
pages build and deployment pages-build-deployment #37: by github-pages bot
November 20, 2023 15:43 1m 21s gh-pages
gh-pages
November 20, 2023 15:43 1m 21s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #98: completed by sloriot
November 20, 2023 15:43 39s
November 20, 2023 15:43 39s
add remesh and curvature news Receive_PR #97: Commit 0b28b2b pushed by sloriot
November 20, 2023 15:41 1m 45s upcoming
upcoming
November 20, 2023 15:41 1m 45s
pages build and deployment pages-build-deployment #36: by github-pages bot
November 20, 2023 15:40 1m 32s gh-pages
gh-pages
November 20, 2023 15:40 1m 32s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #97: completed by sloriot
November 20, 2023 15:39 39s
November 20, 2023 15:39 39s
Add remesh and curvature news Receive_PR #96: Pull request #33 opened by sloriot
November 20, 2023 15:38 1m 20s sloriot:gsoc_remesh_curvature
sloriot:gsoc_remesh_curvature
November 20, 2023 15:38 1m 20s
pages build and deployment pages-build-deployment #35: by github-pages bot
November 20, 2023 13:00 1m 20s gh-pages
gh-pages
November 20, 2023 13:00 1m 20s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #96: completed by dependabot bot
November 20, 2023 12:59 38s
November 20, 2023 12:59 38s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #95: completed by dependabot bot
November 20, 2023 12:59 6s
November 20, 2023 12:59 6s
Bump actions/github-script from 6 to 7 Receive_PR #95: Pull request #32 opened by dependabot bot
November 20, 2023 12:58 1m 17s dependabot/github_actions/actions/github-script-7
dependabot/github_actions/actions/github-script-7
November 20, 2023 12:58 1m 17s
Bump actions/github-script from 6 to 7 Receive_PR #94: Commit b934265 pushed by dependabot bot
November 20, 2023 12:58 1m 20s dependabot/github_actions/actions/github-script-7
dependabot/github_actions/actions/github-script-7
November 20, 2023 12:58 1m 20s
pages build and deployment pages-build-deployment #34: by github-pages bot
November 13, 2023 13:00 1m 46s gh-pages
gh-pages
November 13, 2023 13:00 1m 46s
ProTip! You can narrow down the results and go further in time using created:<2023-11-13 or the other filters available.