Skip to content

Actions: purescript/registry-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
180 workflow runs
180 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
Split Registry read and write effects (#785) deploy #211: Commit 97b854d pushed by thomashoneyman
12m 25s master
master
12m 25s
Split Registry read and write effects (#785) CI #26: Commit 97b854d pushed by thomashoneyman
9m 43s master
master
9m 43s
Split Registry read and write effects CI #25: Pull request #785 synchronize by f-f
9m 33s issue-722-split-registry-effects
issue-722-split-registry-effects
9m 33s
Implement registry version check script CI #24: Pull request #786 opened by thomashoneyman
12m 40s issue-426-registry-version-check
issue-426-registry-version-check
12m 40s
Split Registry read and write effects CI #23: Pull request #785 opened by thomashoneyman
10m 59s issue-722-split-registry-effects
issue-722-split-registry-effects
10m 59s
Fix solver build warnings (#784) deploy #210: Commit 4526934 pushed by thomashoneyman
11m 47s master
master
11m 47s
Fix solver build warnings (#784) CI #22: Commit 4526934 pushed by thomashoneyman
9m 57s master
master
9m 57s
Fix solver build warnings CI #21: Pull request #784 opened by thomashoneyman
9m 43s fix-solver-build-warnings
fix-solver-build-warnings
9m 43s
Make package publication retries safe (#783) CI #20: Commit 1f66591 pushed by thomashoneyman
10m 25s master
master
10m 25s
Make package publication retries safe (#783) deploy #209: Commit 1f66591 pushed by thomashoneyman
11m 28s master
master
11m 28s
Make package publication retries safe CI #19: Pull request #783 opened by thomashoneyman
10m 47s fix/645-safe-publication-retries
fix/645-safe-publication-retries
10m 47s
Notify GitHub users about duplicate jobs (#780) CI #18: Commit 5eedc08 pushed by f-f
10m 39s master
master
10m 39s
Notify GitHub users about duplicate jobs (#780) deploy #208: Commit 5eedc08 pushed by f-f
12m 1s master
master
12m 1s
Notify users about duplicate jobs CI #17: Pull request #780 synchronize by f-f
9m 31s notify-duplicate-jobs
notify-duplicate-jobs
9m 31s
Add indexes for job queries (#777) deploy #207: Commit 45d7a1d pushed by f-f
7m 52s master
master
7m 52s
Add indexes for job queries (#777) CI #16: Commit 45d7a1d pushed by f-f
9m 31s master
master
9m 31s
Notify users about duplicate jobs CI #15: Pull request #780 synchronize by f-f
10m 4s notify-duplicate-jobs
notify-duplicate-jobs
10m 4s
Add indexes for non-primary-key job queries CI #14: Pull request #777 synchronize by f-f
9m 22s issue-731-add-job-query-indexes
issue-731-add-job-query-indexes
9m 22s
Fix publish payload error message (#778) deploy #206: Commit 6d97fca pushed by f-f
21m 10s master
master
21m 10s
Fix publish payload error message (#778) CI #13: Commit 6d97fca pushed by f-f
9m 12s master
master
9m 12s
Clarify package name character restrictions (#779) deploy #205: Commit 6771209 pushed by f-f
21m 56s master
master
21m 56s
Clarify package name character restrictions (#779) CI #12: Commit 6771209 pushed by f-f
49s master
master
49s
Add job IDs to registry commit messages (#781) CI #11: Commit 10e8ee5 pushed by f-f
2m 53s master
master
2m 53s
Add job IDs to registry commit messages (#781) deploy #204: Commit 10e8ee5 pushed by f-f
19m 17s master
master
19m 17s
Bump tar from 7.5.11 to 7.5.21 (#782) deploy #203: Commit 2a7528a pushed by f-f
27m 30s master
master
27m 30s