Skip to content

Actions: deeplethe/utopia

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,826 workflow runs
1,826 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
fix: localize alignment conflicts by stable error code CI #1764: Pull request #837 opened by Maya-Kid
In progress Maya-Kid:codex/stage2-conflict-codes
Maya-Kid:codex/stage2-conflict-codes
In progress
feat(web): expose candidate rule definition dependencies CI #1763: Pull request #830 synchronize by Maya-Kid
4m 20s Maya-Kid:codex/show-rule-definition-dependencies
Maya-Kid:codex/show-rule-definition-dependencies
4m 20s
fix(store): enforce same-KB provenance references CI #1762: Pull request #832 reopened by ansonnmm
8m 22s ansonnmm:upstream-pr-provenance-schema-invariant
ansonnmm:upstream-pr-provenance-schema-invariant
8m 22s
fix(web): preserve computed definitions during rule metadata edits CI #1761: Pull request #829 synchronize by WaylandYang
4m 51s Maya-Kid:codex/preserve-computed-rule-editing
Maya-Kid:codex/preserve-computed-rule-editing
4m 51s
docs(export): document the RDF export contract CI #1760: Pull request #836 opened by ansonnmm
2m 12s ansonnmm:upstream-pr-export-contract-docs
ansonnmm:upstream-pr-export-contract-docs
2m 12s
test(export): account for every emitted RDF quad CI #1759: Pull request #835 opened by ansonnmm
2m 13s ansonnmm:upstream-pr-export-oracle
ansonnmm:upstream-pr-export-oracle
2m 13s
feat(export): serialize all supported ledger surfaces CI #1758: Pull request #834 opened by ansonnmm
2m 13s ansonnmm:upstream-pr-whole-ledger-serializer
ansonnmm:upstream-pr-whole-ledger-serializer
2m 13s
fix(export): use one snapshot and validate local references CI #1757: Pull request #833 opened by ansonnmm
2m 47s ansonnmm:upstream-pr-export-single-snapshot
ansonnmm:upstream-pr-export-single-snapshot
2m 47s
fix(store): enforce same-KB provenance references CI #1756: Pull request #832 opened by ansonnmm
3m 6s ansonnmm:upstream-pr-provenance-schema-invariant
ansonnmm:upstream-pr-provenance-schema-invariant
3m 6s
feat(web): expose candidate rule definition dependencies CI #1755: Pull request #830 opened by Maya-Kid
8m 18s Maya-Kid:codex/show-rule-definition-dependencies
Maya-Kid:codex/show-rule-definition-dependencies
8m 18s
fix(web): preserve computed definitions during rule metadata edits CI #1754: Pull request #829 opened by Maya-Kid
8m 26s Maya-Kid:codex/preserve-computed-rule-editing
Maya-Kid:codex/preserve-computed-rule-editing
8m 26s
Bound lock waits for human kind-word review decisions CI #1753: Pull request #828 opened by Maya-Kid
8m 11s Maya-Kid:codex/bound-human-review-locks
Maya-Kid:codex/bound-human-review-locks
8m 11s
Add walker + tests for the recursive proof renderer CI #1752: Pull request #827 opened by rollroyces
7m 11s rollroyces:feat/proof-step-tree-test
rollroyces:feat/proof-step-tree-test
7m 11s
Preserve fractional values when expanding written magnitudes CI #1751: Pull request #825 synchronize by WaylandYang
3m 56s Maya-Kid:codex/preserve-quantity-fractions
Maya-Kid:codex/preserve-quantity-fractions
3m 56s
Preserve declared inverse and subproperty links in RDF exports CI #1750: Pull request #824 synchronize by WaylandYang
4m 35s Maya-Kid:codex/export-property-axiom-links
Maya-Kid:codex/export-property-axiom-links
4m 35s
Preserve subsecond record timestamps in RDF exports CI #1749: Pull request #823 synchronize by WaylandYang
4m 33s Maya-Kid:codex/preserve-rdf-subseconds
Maya-Kid:codex/preserve-rdf-subseconds
4m 33s
Keep opposite relationship directions distinct in graph paths CI #1748: Pull request #822 synchronize by WaylandYang
5m 3s Maya-Kid:codex/preserve-path-directions
Maya-Kid:codex/preserve-path-directions
5m 3s
The browser tab shows the official site's mark CI #1747: Pull request #826 opened by zhongqishang
7m 30s zhongqishang:tab-favicon
zhongqishang:tab-favicon
7m 30s
Preserve subsecond record timestamps in RDF exports CI #1746: Pull request #823 synchronize by Maya-Kid
8m 6s Maya-Kid:codex/preserve-rdf-subseconds
Maya-Kid:codex/preserve-rdf-subseconds
8m 6s
Keep opposite relationship directions distinct in graph paths CI #1745: Pull request #822 synchronize by Maya-Kid
8m 20s Maya-Kid:codex/preserve-path-directions
Maya-Kid:codex/preserve-path-directions
8m 20s
Preserve fractional values when expanding written magnitudes CI #1744: Pull request #825 opened by Maya-Kid
8m 18s Maya-Kid:codex/preserve-quantity-fractions
Maya-Kid:codex/preserve-quantity-fractions
8m 18s
Preserve declared inverse and subproperty links in RDF exports CI #1743: Pull request #824 opened by Maya-Kid
8m 12s Maya-Kid:codex/export-property-axiom-links
Maya-Kid:codex/export-property-axiom-links
8m 12s
Preserve subsecond record timestamps in RDF exports CI #1742: Pull request #823 opened by Maya-Kid
8m 5s Maya-Kid:codex/preserve-rdf-subseconds
Maya-Kid:codex/preserve-rdf-subseconds
8m 5s
Keep opposite relationship directions distinct in graph paths CI #1741: Pull request #822 opened by Maya-Kid
8m 10s Maya-Kid:codex/preserve-path-directions
Maya-Kid:codex/preserve-path-directions
8m 10s
Preserve literal objects when exporting unbound statements CI #1740: Pull request #821 opened by Maya-Kid
7m 4s Maya-Kid:codex/preserve-unbound-rdf
Maya-Kid:codex/preserve-unbound-rdf
7m 4s