Skip to content

Actions: williamdemeo/williamdemeo.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
215 workflow runs
215 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
project-plan-check project-plan-check #5: Scheduled
12s main
main
12s
project-plan-check project-plan-check #4: Scheduled
14s main
main
14s
project-plan-check project-plan-check #3: Scheduled
13s main
main
13s
project-plan-check project-plan-check #2: Scheduled
9s main
main
9s
adjustments for repo relocation deploy #42: Commit 779c66f pushed by williamdemeo
1m 37s main
main
1m 37s
Merge pull request #113 from williamdemeo/21-m3-5-social-cards deploy #41: Commit e47d7b7 pushed by williamdemeo
1m 39s main
main
1m 39s
Social cards, favicon, and metadata (M3-5, #21) build #125: Pull request #113 synchronize by williamdemeo
55s 21-m3-5-social-cards
21-m3-5-social-cards
55s
Merge pull request #112 from williamdemeo/96-constellation-overture deploy #40: Commit b84cf2b pushed by williamdemeo
1m 19s main
main
1m 19s
Running Copilot Code Review Copilot #40: by Copilot AI
2m 39s 21-m3-5-social-cards
21-m3-5-social-cards
2m 39s
[M3-2d] The lattices draw themselves in again (#96) build #124: Pull request #112 synchronize by williamdemeo
1m 5s 96-constellation-overture
96-constellation-overture
1m 5s
Social cards, favicon, and metadata (M3-5, #21) build #123: Pull request #113 opened by williamdemeo
56s 21-m3-5-social-cards
21-m3-5-social-cards
56s
Running Copilot Code Review Copilot #39: by Copilot AI
1m 46s 96-constellation-overture
96-constellation-overture
1m 46s
[M3-2d] The lattices draw themselves in again (#96) build #122: Pull request #112 opened by williamdemeo
1m 3s 96-constellation-overture
96-constellation-overture
1m 3s
Merge pull request #111 from williamdemeo/41-m7-1-cv-rendering deploy #39: Commit eedc7a5 pushed by williamdemeo
1m 30s main
main
1m 30s
Running Copilot Code Review Copilot #38: by Copilot AI
3m 0s 41-m7-1-cv-rendering
41-m7-1-cv-rendering
3m 0s
[M7-1] Single-source CV rendering to web and PDF build #121: Pull request #111 opened by williamdemeo
56s 41-m7-1-cv-rendering
41-m7-1-cv-rendering
56s
Merge pull request #110 from williamdemeo/96-m3-2d-typed-proof-hero deploy #38: Commit d311022 pushed by williamdemeo
1m 26s main
main
1m 26s
[M3-2d] Typed-proof hero replay: the landing page type-checks a lemma (#96) build #120: Pull request #110 synchronize by williamdemeo
55s 96-m3-2d-typed-proof-hero
96-m3-2d-typed-proof-hero
55s
Running Copilot Code Review Copilot #37: by Copilot AI
2m 28s 96-m3-2d-typed-proof-hero
96-m3-2d-typed-proof-hero
2m 28s
[M3-2d] Typed-proof hero replay: the landing page type-checks a lemma (#96) build #119: Pull request #110 synchronize by williamdemeo
1m 4s 96-m3-2d-typed-proof-hero
96-m3-2d-typed-proof-hero
1m 4s
[M3-2d] Typed-proof hero replay: the landing page type-checks a lemma (#96) build #118: Pull request #110 synchronize by williamdemeo
1m 5s 96-m3-2d-typed-proof-hero
96-m3-2d-typed-proof-hero
1m 5s
[M3-2d] Typed-proof hero replay: the landing page type-checks a lemma (#96) build #117: Pull request #110 synchronize by williamdemeo
53s 96-m3-2d-typed-proof-hero
96-m3-2d-typed-proof-hero
53s
Running Copilot Code Review Copilot #36: by Copilot AI
2m 53s 96-m3-2d-typed-proof-hero
96-m3-2d-typed-proof-hero
2m 53s
[M3-2d] Typed-proof hero replay: the landing page type-checks a lemma (#96) build #116: Pull request #110 opened by williamdemeo
1m 1s 96-m3-2d-typed-proof-hero
96-m3-2d-typed-proof-hero
1m 1s
update project plan deploy #37: Commit 6622438 pushed by williamdemeo
1m 37s main
main
1m 37s