Skip to content

Actions: CGAL/cgal-web

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
692 workflow runs
692 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #94: completed by afabri
November 13, 2023 12:59 1m 51s
November 13, 2023 12:59 1m 51s
pages build and deployment pages-build-deployment #33: by github-pages bot
November 13, 2023 12:57 2m 35s gh-pages
gh-pages
November 13, 2023 12:57 2m 35s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #93: completed by afabri
November 13, 2023 12:57 29s
November 13, 2023 12:57 29s
Add Ange Deploy_web_site_with_ssh #48: Commit d5ae446 pushed by afabri
November 13, 2023 12:57 1m 32s master
master
November 13, 2023 12:57 1m 32s
Add Ange Receive_PR #93: Commit d5ae446 pushed by afabri
November 13, 2023 12:57 1m 55s master
master
November 13, 2023 12:57 1m 55s
Add Ange Receive_PR #92: Commit 2a7674d pushed by afabri
November 13, 2023 12:55 1m 41s master
master
November 13, 2023 12:55 1m 41s
Add Ange Deploy_web_site_with_ssh #47: Commit 2a7674d pushed by afabri
November 13, 2023 12:55 1m 4s master
master
November 13, 2023 12:55 1m 4s
pages build and deployment pages-build-deployment #32: by github-pages bot
November 7, 2023 08:49 1m 44s gh-pages
gh-pages
November 7, 2023 08:49 1m 44s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #92: completed by SaillantNicolas
November 7, 2023 08:48 37s
November 7, 2023 08:48 37s
Applying npm for jQuery and Bootstrap Upgrades Receive_PR #91: Pull request #31 synchronize by SaillantNicolas
November 7, 2023 08:47 1m 16s SaillantNicolas:update-bootstrap-jquery-GF
SaillantNicolas:update-bootstrap-jquery-GF
November 7, 2023 08:47 1m 16s
pages build and deployment pages-build-deployment #31: by github-pages bot
November 6, 2023 14:54 1m 41s gh-pages
gh-pages
November 6, 2023 14:54 1m 41s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #91: completed by SaillantNicolas
November 6, 2023 14:54 33s
November 6, 2023 14:54 33s
Applying npm for jQuery and Bootstrap Upgrades Receive_PR #90: Pull request #31 synchronize by SaillantNicolas
November 6, 2023 14:52 1m 29s SaillantNicolas:update-bootstrap-jquery-GF
SaillantNicolas:update-bootstrap-jquery-GF
November 6, 2023 14:52 1m 29s
pages build and deployment pages-build-deployment #30: by github-pages bot
November 2, 2023 14:59 1m 42s gh-pages
gh-pages
November 2, 2023 14:59 1m 42s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #90: completed by SaillantNicolas
November 2, 2023 14:58 34s
November 2, 2023 14:58 34s
Applying npm for jQuery and Bootstrap Upgrades Receive_PR #89: Pull request #31 synchronize by SaillantNicolas
November 2, 2023 14:57 1m 40s SaillantNicolas:update-bootstrap-jquery-GF
SaillantNicolas:update-bootstrap-jquery-GF
November 2, 2023 14:57 1m 40s
pages build and deployment pages-build-deployment #29: by github-pages bot
November 2, 2023 10:17 1m 35s gh-pages
gh-pages
November 2, 2023 10:17 1m 35s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #89: completed by SaillantNicolas
November 2, 2023 10:17 31s
November 2, 2023 10:17 31s
Applying npm for jQuery and Bootstrap Upgrades Receive_PR #88: Pull request #31 synchronize by SaillantNicolas
November 2, 2023 10:15 1m 39s SaillantNicolas:update-bootstrap-jquery-GF
SaillantNicolas:update-bootstrap-jquery-GF
November 2, 2023 10:15 1m 39s
pages build and deployment pages-build-deployment #28: by github-pages bot
October 30, 2023 11:01 1m 32s gh-pages
gh-pages
October 30, 2023 11:01 1m 32s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #88: completed by SaillantNicolas
October 30, 2023 11:00 33s
October 30, 2023 11:00 33s
Applying npm for jQuery and Bootstrap Upgrades Receive_PR #87: Pull request #31 synchronize by SaillantNicolas
October 30, 2023 10:59 1m 35s SaillantNicolas:update-bootstrap-jquery-GF
SaillantNicolas:update-bootstrap-jquery-GF
October 30, 2023 10:59 1m 35s
pages build and deployment pages-build-deployment #27: by github-pages bot
October 25, 2023 11:47 1m 39s gh-pages
gh-pages
October 25, 2023 11:47 1m 39s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #87: completed by SaillantNicolas
October 25, 2023 11:47 41s
October 25, 2023 11:47 41s
ProTip! You can narrow down the results and go further in time using created:<2023-10-25 or the other filters available.