Skip to content

Actions: CGAL/cgal-web

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
638 workflow runs
638 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update the config, and use bundler Deploy_web_site_with_ssh #104: Commit 7cca02e pushed by lrineau
October 23, 2024 10:03 34s master
master
October 23, 2024 10:03 34s
update the config, and use bundler Receive_PR #226: Commit 7cca02e pushed by lrineau
October 23, 2024 10:03 30s master
master
October 23, 2024 10:03 30s
pages build and deployment pages-build-deployment #156: by github-pages bot
October 23, 2024 09:33 41s
October 23, 2024 09:33 41s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #226: completed by lrineau
October 23, 2024 09:32 24s
October 23, 2024 09:32 24s
announce 5.6.2 and 5.5.5.5 Deploy_web_site_with_ssh #103: Commit a1d15ef pushed by lrineau
October 23, 2024 09:31 1m 17s master
master
October 23, 2024 09:31 1m 17s
announce 5.6.2 and 5.5.5.5 Receive_PR #225: Commit a1d15ef pushed by lrineau
October 23, 2024 09:31 1m 15s master
master
October 23, 2024 09:31 1m 15s
pages build and deployment pages-build-deployment #155: by github-pages bot
October 23, 2024 09:17 41s
October 23, 2024 09:17 41s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #225: completed by lrineau
October 23, 2024 09:16 33s
October 23, 2024 09:16 33s
fix the link Deploy_web_site_with_ssh #102: Commit 7fad322 pushed by lrineau
October 23, 2024 09:15 1m 18s master
master
October 23, 2024 09:15 1m 18s
fix the link Receive_PR #224: Commit 7fad322 pushed by lrineau
October 23, 2024 09:15 1m 8s master
master
October 23, 2024 09:15 1m 8s
pages build and deployment pages-build-deployment #154: by github-pages bot
October 22, 2024 15:00 40s
October 22, 2024 15:00 40s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #224: completed by lrineau
October 22, 2024 14:59 25s
October 22, 2024 14:59 25s
fix link? Receive_PR #223: Commit 756c56a pushed by lrineau
October 22, 2024 14:58 1m 13s master
master
October 22, 2024 14:58 1m 13s
fix link? Deploy_web_site_with_ssh #101: Commit 756c56a pushed by lrineau
October 22, 2024 14:58 1m 17s master
master
October 22, 2024 14:58 1m 17s
pages build and deployment pages-build-deployment #153: by github-pages bot
October 22, 2024 14:11 42s
October 22, 2024 14:11 42s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #223: completed by lrineau
October 22, 2024 14:11 23s
October 22, 2024 14:11 23s
publish 6.0.1 Receive_PR #222: Commit 1b494eb pushed by lrineau
October 22, 2024 14:10 1m 20s master
master
October 22, 2024 14:10 1m 20s
publish 6.0.1 Deploy_web_site_with_ssh #100: Commit 1b494eb pushed by lrineau
October 22, 2024 14:10 1m 34s master
master
October 22, 2024 14:10 1m 34s
github_actions in /. - Update #904159207 Dependabot Updates #15: by dependabot bot
October 21, 2024 12:47 1m 12s
October 21, 2024 12:47 1m 12s
github_actions in /. - Update #900551595 Dependabot Updates #14: by dependabot bot
October 14, 2024 12:29 51s
October 14, 2024 12:29 51s
github_actions in /. - Update #896924029 Dependabot Updates #13: by dependabot bot
October 7, 2024 12:05 1m 0s
October 7, 2024 12:05 1m 0s
pages build and deployment pages-build-deployment #152: by github-pages bot
October 3, 2024 12:07 37s
October 3, 2024 12:07 37s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #222: completed by sloriot
October 3, 2024 12:06 24s
October 3, 2024 12:06 24s
Merge pull request #44 from joachim-reichel/master Deploy_web_site_with_ssh #99: Commit 9a3b75e pushed by sloriot
October 3, 2024 12:05 1m 16s master
master
October 3, 2024 12:05 1m 16s
Merge pull request #44 from joachim-reichel/master Receive_PR #221: Commit 9a3b75e pushed by sloriot
October 3, 2024 12:05 1m 5s master
master
October 3, 2024 12:05 1m 5s