Skip to content

Actions: hargoniX/q

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
198 workflow runs
198 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
Literal selection Rust #173: Pull request #21 synchronize by Daniel1854
40s literal_selection
literal_selection
40s
Literal selection Rust #172: Pull request #21 synchronize by Daniel1854
39s literal_selection
literal_selection
39s
Literal selection Rust #171: Pull request #21 synchronize by Daniel1854
55s literal_selection
literal_selection
55s
Literal selection Rust #170: Pull request #21 opened by Daniel1854
20s literal_selection
literal_selection
20s
fix: dont support distinct objects Rust #169: Commit 1a7c7c0 pushed by Daniel1854
34s main
main
34s
feat: make wrapper scripts more user friendly Rust #168: Commit 8c0552b pushed by Daniel1854
1m 3s main
main
1m 3s
perf: cache literal orientation (#20) Rust #167: Commit 04e6c5a pushed by hargoniX
44s main
main
44s
perf: cache literal orientation Rust #166: Pull request #20 opened by hargoniX
1m 6s hbv/literal_orientation_cache
hbv/literal_orientation_cache
1m 6s
chore: test casc24 with fixed lit cmp Rust #165: Commit 1d842d8 pushed by Daniel1854
34s main
main
34s
fix: hashing of literals Rust #164: Commit 7811e23 pushed by hargoniX
35s main
main
35s
chore: new measurements for fixed lit comparison Rust #163: Commit 2dc8369 pushed by Daniel1854
18s main
main
18s
chore: new measurements for fixed lit selection Rust #162: Commit ae2f6df pushed by Daniel1854
24s main
main
24s
chore: duper literal comparison Rust #161: Commit 7093299 pushed by hargoniX
24s main
main
24s
chore: remove symmetry trick Rust #160: Commit 2c28a56 pushed by hargoniX
22s main
main
22s
feat: add types (#19) Rust #159: Commit 8d87b04 pushed by hargoniX
37s main
main
37s
feat: add types Rust #158: Pull request #19 synchronize by Daniel1854
36s typed
typed
36s
feat: add types Rust #157: Pull request #19 opened by hargoniX
26s typed
typed
26s
style: unneeded import Rust #156: Commit e6bb27f pushed by Daniel1854
44s main
main
44s
test: the remaining tptp fof problems -Arithmetic Rust #155: Commit 1a5291c pushed by Daniel1854
22s main
main
22s
chore: true must be minimal Rust #154: Commit 254687b pushed by hargoniX
26s main
main
26s
style: formatter Rust #153: Commit c9fc668 pushed by Daniel1854
51s main
main
51s
test: all fof theorems -Arithmetic Rust #152: Commit d441361 pushed by Daniel1854
9s main
main
9s
chore: extend gitignore Rust #151: Commit badbd7a pushed by Daniel1854
17s main
main
17s
feat: extend infra to enable testing of subsections of the full tptp … Rust #150: Commit 9f3c48b pushed by Daniel1854
38s main
main
38s
refactor: pull rules closer and add graphviz logging Rust #149: Commit bba9228 pushed by hargoniX
40s main
main
40s