Skip to content

Actions: duckki/GraphQL.lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 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
Update LeanFmt to v0.1.3 Lean Action CI #7: Commit 566fe71 pushed by duckki
5m 15s main
main
5m 15s
Updat leanfmt version to 0.1.2 Lean Action CI #6: Commit 80d555a pushed by duckki
3m 55s main
main
3m 55s
Add Lean import-closure lint Lean Action CI #5: Commit 4103c02 pushed by duckki
1m 31s main
main
1m 31s
Update leanfmt with new 90-column max default Lean Action CI #4: Commit d6f573e pushed by duckki
3m 34s main
main
3m 34s
Add lint/fmt tooling Lean Action CI #3: Commit cca48e1 pushed by duckki
4m 23s main
main
4m 23s
Add named fragment operations and execution Lean Action CI #2: Commit 8dac089 pushed by duckki
3m 12s main
main
3m 12s
Add graphql-js execution conformance fixtures Lean Action CI #1: Commit f3f1aae pushed by duckki
2m 54s main
main
2m 54s