Skip to content

Actions: deeplethe/utopia

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
613 workflow runs
613 workflow runs

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
The security notes are back, with a private address for reports CI #613: Pull request #252 opened by WaylandYang
4m 43s fix/security-notes-restored
fix/security-notes-restored
4m 43s
Compose points at the third release candidate CI #612: Pull request #251 opened by WaylandYang
4m 54s chore/compose-points-at-rc3
chore/compose-points-at-rc3
4m 54s
Source credentials stay on the server CI #611: Pull request #249 synchronize by WaylandYang
1m 26s fix/credentials-stay-on-the-server
fix/credentials-stay-on-the-server
1m 26s
Polish README Community section wording CI #610: Pull request #250 opened by Danmushu
4m 31s Danmushu:codex/docs-community-readme
Danmushu:codex/docs-community-readme
4m 31s
Source credentials stay on the server CI #609: Pull request #249 opened by WaylandYang
4m 58s fix/credentials-stay-on-the-server
fix/credentials-stay-on-the-server
4m 58s
A declared disjointness keeps same names apart (B3) CI #608: Pull request #245 opened by WaylandYang
4m 59s feat/disjoint-reaches-resolution
feat/disjoint-reaches-resolution
4m 59s
A contradiction is visible where it sits (B2b) CI #607: Pull request #243 synchronize by WaylandYang
1m 56s feat/contradictions-are-in-view
feat/contradictions-are-in-view
1m 56s
The decision records are condensed into English CI #606: Pull request #244 synchronize by WaylandYang
3m 48s docs/decision-records-in-english
docs/decision-records-in-english
3m 48s
The decision records are condensed into English CI #605: Pull request #244 opened by WaylandYang
5m 31s docs/decision-records-in-english
docs/decision-records-in-english
5m 31s
A contradiction is visible where it sits (B2b) CI #604: Pull request #243 synchronize by WaylandYang
5m 12s feat/contradictions-are-in-view
feat/contradictions-are-in-view
5m 12s
The lakehouse is one protocol away: Trino, Databricks and Snowflake as query engines CI #603: Pull request #239 synchronize by WaylandYang
1m 35s feat/lakehouse-engines
feat/lakehouse-engines
1m 35s
The lakehouse is one protocol away: Trino, Databricks and Snowflake as query engines CI #602: Pull request #239 synchronize by WaylandYang
1m 29s feat/lakehouse-engines
feat/lakehouse-engines
1m 29s
The lakehouse is one protocol away: Trino, Databricks and Snowflake as query engines CI #601: Pull request #239 opened by WaylandYang
4m 47s feat/lakehouse-engines
feat/lakehouse-engines
4m 47s
A contradiction points at an error upstream (B2a) CI #600: Pull request #238 opened by WaylandYang
3m 56s feat/contradictions-have-a-queue
feat/contradictions-have-a-queue
3m 56s
A derivation explains itself down to the sentence CI #599: Pull request #227 synchronize by WaylandYang
2m 53s feat/proof-tree
feat/proof-tree
2m 53s
A contradiction points at an error upstream CI #598: Pull request #237 opened by WaylandYang
4m 30s feat/contradictions-are-visible
feat/contradictions-are-visible
4m 30s
Bring dev level with main after #235 CI #597: Pull request #236 opened by WaylandYang
4m 27s main
main
4m 27s
Merge pull request #235 from deeplethe/dev CI #596: Commit 69a4c7d pushed by WaylandYang
4m 40s main
main
4m 40s
Fixes from the end-to-end pass, and compose points at rc2 CI #595: Pull request #235 opened by WaylandYang
4m 34s dev
dev
4m 34s
Compose points at the second release candidate CI #594: Pull request #234 synchronize by WaylandYang
4m 19s release/v0.1.0-rc2
release/v0.1.0-rc2
4m 19s
Compose points at the second release candidate CI #593: Pull request #234 opened by WaylandYang
4m 10s release/v0.1.0-rc2
release/v0.1.0-rc2
4m 10s
Signatures reach across packs, and direction is judged by range too CI #592: Pull request #233 synchronize by WaylandYang
1m 19s fix/cross-pack-domains-and-range-direction
fix/cross-pack-domains-and-range-direction
1m 19s
Signatures reach across packs, and direction is judged by range too CI #591: Pull request #233 synchronize by WaylandYang
1m 32s fix/cross-pack-domains-and-range-direction
fix/cross-pack-domains-and-range-direction
1m 32s
A tombstone push no longer needs content, and a bad payload is not a sync failure CI #590: Pull request #229 synchronize by WaylandYang
1m 23s fix/tombstone-push-without-content
fix/tombstone-push-without-content
1m 23s
Same-name entities of sibling classes go to the Duplicates queue CI #589: Pull request #232 synchronize by WaylandYang
1m 21s fix/same-name-sibling-classes-reviewed
fix/same-name-sibling-classes-reviewed
1m 21s