Skip to content

Actions: Floating-Y/utopia

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
Workflows are not currently being run on this fork due to the scale of GitHub Actions usage. A repository maintainer can choose to re-enable these.
73 workflow runs
73 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
A capped spreadsheet or CSV says what was left out (#1022) (#1043) CI #4: Commit e50b5b2 pushed by Floating-Y
4m 16s dev
dev
4m 16s
A transitive derivation keeps every premise of the edge it extends (#… CI #3: Commit 765e0ed pushed by Floating-Y
7m 1s dev
dev
7m 1s
Star History Star History #29: Scheduled
11s main
main
11s
The OCR reader chooses its provider: MinerU as before, or a Volcengin… CI #2: Commit 798fb24 pushed by Floating-Y
4m 20s dev
dev
4m 20s
Star History Star History #28: Scheduled
7s main
main
7s
Merge pull request #915 from deeplethe/dev CI #15: Commit 70e852e pushed by Floating-Y
6m 45s main
main
6m 45s
An attribute whose range is xsd:hexBinary is imported as text (#1008) CI #1: Commit c7ac51a pushed by Floating-Y
3m 19s dev
dev
3m 19s
Star History Star History #27: Scheduled
9s main
main
9s
The recall bench labels a run by whether the prompt carried known, re… CI #14: Commit befb0e8 pushed by Floating-Y
3m 58s dev
dev
3m 58s
A bench for time words: what each sentence of a written document shou… CI #13: Commit 841b619 pushed by Floating-Y
4m 1s dev
dev
4m 1s
Star History Star History #26: Scheduled
9s main
main
9s
Star History Star History #25: Scheduled
8s main
main
8s
Star History Star History #24: Scheduled
9s main
main
9s
Never auto-merge a similarity-proposed pair on the batch verdict alon… CI #12: Commit 2f90d8b pushed by Floating-Y
3m 6s dev
dev
3m 6s
Star History Star History #23: Scheduled
7s main
main
7s
Export says which family a rule belongs to, and an axiom rule its kin… CI #11: Commit 8857be5 pushed by Floating-Y
6m 23s dev
dev
6m 23s
Merge pull request #787 from deeplethe/dev CI #10: Commit ee8a873 pushed by Floating-Y
4m 38s main
main
4m 38s
Star History Star History #22: Scheduled
19s main
main
19s
Star History Star History #21: Scheduled
20s main
main
20s
Schema reads do not apply ROW_CAP and follow result chunks (#737) CI #9: Commit 4137f7d pushed by Floating-Y
8m 17s main
main
8m 17s
Star History Star History #20: Scheduled
12s main
main
12s
Star History Star History #19: Scheduled
10s main
main
10s
Star History Star History #18: Scheduled
12s main
main
12s
Star History Star History #17: Scheduled
8s main
main
8s
Star History Star History #16: Scheduled
9s main
main
9s