Skip to content

Actions: CGAL/cgal-web

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
628 workflow runs
628 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #69: by github-pages bot
December 20, 2023 11:13 1m 16s gh-pages
gh-pages
December 20, 2023 11:13 1m 16s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #132: completed by MaelRL
December 20, 2023 11:13 31s
December 20, 2023 11:13 31s
Fix error in figure label Deploy_web_site_with_ssh #58: Commit 4bc1077 pushed by MaelRL
December 20, 2023 11:11 1m 1s master
master
December 20, 2023 11:11 1m 1s
Fix error in figure label Receive_PR #131: Commit 4bc1077 pushed by MaelRL
December 20, 2023 11:11 1m 43s master
master
December 20, 2023 11:11 1m 43s
pages build and deployment pages-build-deployment #68: by github-pages bot
December 20, 2023 10:47 1m 22s gh-pages
gh-pages
December 20, 2023 10:47 1m 22s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #131: completed by MaelRL
December 20, 2023 10:47 32s
December 20, 2023 10:47 32s
Fix category Deploy_web_site_with_ssh #57: Commit a37f364 pushed by MaelRL
December 20, 2023 10:45 1m 9s master
master
December 20, 2023 10:45 1m 9s
Fix category Receive_PR #130: Commit a37f364 pushed by MaelRL
December 20, 2023 10:45 1m 43s master
master
December 20, 2023 10:45 1m 43s
pages build and deployment pages-build-deployment #67: by github-pages bot
December 20, 2023 10:43 1m 25s gh-pages
gh-pages
December 20, 2023 10:43 1m 25s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #130: completed by MaelRL
December 20, 2023 10:42 37s
December 20, 2023 10:42 37s
pages build and deployment pages-build-deployment #66: by github-pages bot
December 20, 2023 10:41 1m 36s gh-pages
gh-pages
December 20, 2023 10:41 1m 36s
Merge remote-tracking branch 'origin/upcoming' Receive_PR #129: Commit 21f5bac pushed by MaelRL
December 20, 2023 10:41 1m 15s master
master
December 20, 2023 10:41 1m 15s
Merge remote-tracking branch 'origin/upcoming' Deploy_web_site_with_ssh #56: Commit 21f5bac pushed by MaelRL
December 20, 2023 10:41 1m 27s master
master
December 20, 2023 10:41 1m 27s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #129: completed by MaelRL
December 20, 2023 10:41 31s
December 20, 2023 10:41 31s
wip wrap post Receive_PR #128: Commit 31a2c35 pushed by MaelRL
December 20, 2023 10:39 1m 36s upcoming
upcoming
December 20, 2023 10:39 1m 36s
pages build and deployment pages-build-deployment #65: by github-pages bot
December 19, 2023 10:49 1m 22s gh-pages
gh-pages
December 19, 2023 10:49 1m 22s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #128: completed by lrineau
December 19, 2023 10:48 30s
December 19, 2023 10:48 30s
Merge pull request #35 from CGAL/dependabot/github_actions/actions/up… Deploy_web_site_with_ssh #55: Commit 6523513 pushed by lrineau
December 19, 2023 10:47 1m 2s master
master
December 19, 2023 10:47 1m 2s
Merge pull request #35 from CGAL/dependabot/github_actions/actions/up… Receive_PR #127: Commit 6523513 pushed by lrineau
December 19, 2023 10:47 1m 20s master
master
December 19, 2023 10:47 1m 20s
pages build and deployment pages-build-deployment #64: by github-pages bot
December 18, 2023 15:44 1m 18s gh-pages
gh-pages
December 18, 2023 15:44 1m 18s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #127: completed by MaelRL
December 18, 2023 15:44 38s
December 18, 2023 15:44 38s
WIP AW3 post Receive_PR #126: Commit b45f9ce pushed by MaelRL
December 18, 2023 15:42 1m 35s upcoming
upcoming
December 18, 2023 15:42 1m 35s
pages build and deployment pages-build-deployment #63: by github-pages bot
December 18, 2023 12:24 9m 35s gh-pages
gh-pages
December 18, 2023 12:24 9m 35s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #126: completed by dependabot bot
December 18, 2023 12:23 1m 17s
December 18, 2023 12:23 1m 17s
pages build and deployment pages-build-deployment #62: by github-pages bot
December 18, 2023 12:23 1m 54s gh-pages
gh-pages
December 18, 2023 12:23 1m 54s
ProTip! You can narrow down the results and go further in time using created:<2023-12-18 or the other filters available.