Skip to content

Actions: CGAL/cgal-web

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
696 workflow runs
696 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Applying npm for jQuery and Bootstrap Upgrades Receive_PR #86: Pull request #31 synchronize by SaillantNicolas
October 25, 2023 11:45 1m 49s SaillantNicolas:update-bootstrap-jquery-GF
SaillantNicolas:update-bootstrap-jquery-GF
October 25, 2023 11:45 1m 49s
pages build and deployment pages-build-deployment #26: by github-pages bot
October 18, 2023 12:51 1m 38s gh-pages
gh-pages
October 18, 2023 12:51 1m 38s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #86: completed by SaillantNicolas
October 18, 2023 12:51 35s
October 18, 2023 12:51 35s
Applying npm for jQuery and Bootstrap Upgrades Receive_PR #85: Pull request #31 synchronize by SaillantNicolas
October 18, 2023 12:49 1m 50s SaillantNicolas:update-bootstrap-jquery-GF
SaillantNicolas:update-bootstrap-jquery-GF
October 18, 2023 12:49 1m 50s
pages build and deployment pages-build-deployment #25: by github-pages bot
October 16, 2023 12:31 1m 42s gh-pages
gh-pages
October 16, 2023 12:31 1m 42s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #85: completed by SaillantNicolas
October 16, 2023 12:31 32s
October 16, 2023 12:31 32s
Applying npm for jQuery and Bootstrap Upgrades Receive_PR #84: Pull request #31 synchronize by SaillantNicolas
October 16, 2023 12:29 1m 47s SaillantNicolas:update-bootstrap-jquery-GF
SaillantNicolas:update-bootstrap-jquery-GF
October 16, 2023 12:29 1m 47s
pages build and deployment pages-build-deployment #24: by github-pages bot
October 16, 2023 12:25 1m 27s gh-pages
gh-pages
October 16, 2023 12:25 1m 27s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #84: completed by SaillantNicolas
October 16, 2023 12:24 36s
October 16, 2023 12:24 36s
Applying npm for jQuery and Bootstrap Upgrades Receive_PR #83: Pull request #31 opened by SaillantNicolas
October 16, 2023 12:23 1m 50s SaillantNicolas:update-bootstrap-jquery-GF
SaillantNicolas:update-bootstrap-jquery-GF
October 16, 2023 12:23 1m 50s
ProTip! You can narrow down the results and go further in time using created:<2023-10-16 or the other filters available.