Skip to content
Continuous Integration

Merge pull request #112 from sangria-graphql/remove-dot #40

Sign in to view logs

Merge pull request #112 from sangria-graphql/remove-dot

Merge pull request #112 from sangria-graphql/remove-dot #40

Triggered via push November 7, 2024 09:10
@github-merge-queuegithub-merge-queue[bot]
pushed b63ce46
gh-readonly-queue/main/pr-112-8abfd932605861f299f4712944788193e337130f
Status Success
Total duration 1m 16s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push
Build
1m 5s
Build
Fit to window
Zoom out
Zoom in