Skip to content

Actions: Gecode/gecode.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
93 workflow runs
93 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Support independent documentation revisions in R2 (#11) Build and Deploy Pages #30: Commit 0a0b374 pushed by zayenz
2m 59s main
main
2m 59s
Publish revisable RST documentation through R2 Build and Deploy Pages #29: Pull request #11 opened by zayenz
2m 38s codex/documentation-revisions
codex/documentation-revisions
2m 38s
Support independent documentation revisions in R2 Build and Deploy Pages #28: Commit f39ead8 pushed by zayenz
2m 45s codex/documentation-revisions
codex/documentation-revisions
2m 45s
Deploy edge workers Deploy edge workers #10: Manually run by zayenz
2m 6s main
main
2m 6s
Complete Astro cutover and enable validated main deployments (#10) Build and Deploy Pages #27: Commit 0e5441e pushed by zayenz
2m 56s main
main
2m 56s
Complete Astro cutover and enable validated main deployments Build and Deploy Pages #26: Pull request #10 opened by zayenz
2m 40s codex/complete-astro-cutover
codex/complete-astro-cutover
2m 40s
Complete Astro cutover and enable validated main deployments Build and Deploy Pages #25: Commit e09b46a pushed by zayenz
2m 41s codex/complete-astro-cutover
codex/complete-astro-cutover
2m 41s
Deploy edge workers Deploy edge workers #9: Manually run by zayenz
2m 7s main
main
2m 7s
Build and Deploy Pages Build and Deploy Pages #24: Manually run by zayenz
3m 42s main
main
3m 42s
Record the verified production documentation cutover and soak window Build and Deploy Pages #23: Commit 385bc0b pushed by zayenz
2m 43s main
main
2m 43s
Deploy edge workers Deploy edge workers #8: Manually run by zayenz
48s main
main
48s
Deploy edge workers Deploy edge workers #7: Manually run by zayenz
2m 57s main
main
2m 57s
Deploy edge workers Deploy edge workers #6: Manually run by zayenz
1m 13s main
main
1m 13s
Merge pull request #9 from Gecode/codex/docs-entry-routes Build and Deploy Pages #22: Commit f4051a2 pushed by zayenz
2m 51s main
main
2m 51s
Preserve documentation entry queries during the site cutover Build and Deploy Pages #21: Pull request #9 opened by zayenz
2m 42s codex/docs-entry-routes
codex/docs-entry-routes
2m 42s
Deploy edge workers Deploy edge workers #5: Manually run by zayenz
58s codex/docs-entry-routes
codex/docs-entry-routes
58s
Handle documentation entry queries across the classic and Astro cutover Build and Deploy Pages #20: Commit 8af4932 pushed by zayenz
2m 54s codex/docs-entry-routes
codex/docs-entry-routes
2m 54s
Deploy edge workers Deploy edge workers #4: Manually run by zayenz
8m 9s main
main
8m 9s
Deploy edge workers Deploy edge workers #3: Manually run by zayenz
1m 3s main
main
1m 3s
Merge pull request #8 from Gecode/codex/docs-cutover-checks Build and Deploy Pages #19: Commit d5ddce1 pushed by zayenz
2m 59s main
main
2m 59s
Deploy edge workers Deploy edge workers #2: Manually run by zayenz
7m 25s codex/docs-cutover-checks
codex/docs-cutover-checks
7m 25s
Index only latest documentation and complete Cloudflare cutover checks Build and Deploy Pages #18: Pull request #8 synchronize by zayenz
7m 56s codex/docs-cutover-checks
codex/docs-cutover-checks
7m 56s
Index only canonical latest documentation while preserving archived URLs Build and Deploy Pages #17: Commit 902d2a7 pushed by zayenz
7m 8s codex/docs-cutover-checks
codex/docs-cutover-checks
7m 8s
Index only latest documentation and complete Cloudflare cutover checks Build and Deploy Pages #16: Pull request #8 opened by zayenz
2m 47s codex/docs-cutover-checks
codex/docs-cutover-checks
2m 47s
Finish canary cleanup and record verified documentation cutover readi… Build and Deploy Pages #15: Commit f0d3683 pushed by zayenz
2m 44s codex/docs-cutover-checks
codex/docs-cutover-checks
2m 44s