Skip to content

Actions: hargoniX/q

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
170 workflow runs
170 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
fix: pres typo Rust #198: Commit 4cd42d2 pushed by Daniel1854
34s main
main
34s
doc: pres improve wording Rust #197: Commit 75ade65 pushed by Daniel1854
42s main
main
42s
ups Rust #196: Commit 213f1b2 pushed by Daniel1854
39s main
main
39s
fix: less bastel slide number fix Rust #195: Commit ff4ebb9 pushed by Daniel1854
37s main
main
37s
fix: slide numbers for appendix Rust #194: Commit c8b30d5 pushed by Daniel1854
50s main
main
50s
puff Rust #193: Commit 8d56c12 pushed by hargoniX
38s main
main
38s
dynamisch Rust #192: Commit 4f9649c pushed by hargoniX
36s main
main
36s
chore: improve comparison plots Rust #191: Commit 0bf4dee pushed by Daniel1854
51s main
main
51s
doc: note about runner ressources Rust #190: Commit 1665ee7 pushed by Daniel1854
42s main
main
42s
refactor: rename 'pelletier' mode to the more appropriate 'custom' Rust #189: Commit 2540d04 pushed by Daniel1854
45s main
main
45s
doc: clean up some obsolete comments Rust #188: Commit 578eb0b pushed by Daniel1854
45s main
main
45s
feat: parse tptp-cnf Rust #187: Commit a3ee8b0 pushed by Daniel1854
43s main
main
43s
doc: some basic documentation for the library Rust #186: Commit 81c9421 pushed by hargoniX
38s main
main
38s
doc: some basic documentation for the library Rust #185: Commit 14f93b0 pushed by hargoniX
31s main
main
31s
TPTP: parse CNF naively Rust #184: Pull request #22 opened by Daniel1854
51s parse_cnf
parse_cnf
51s
fix: given clause superposing with itself Rust #183: Commit 29e23ed pushed by hargoniX
35s main
main
35s
doc: small implementation notes Rust #182: Commit 31d8eac pushed by hargoniX
36s main
main
36s
chore: comparison plots Rust #181: Commit 6ef1d36 pushed by Daniel1854
41s main
main
41s
feat: initial comparison plot Rust #180: Commit 0744a1d pushed by Daniel1854
40s main
main
40s
fix: broken bib entry with url encoded char Rust #179: Commit 54d735f pushed by Daniel1854
38s main
main
38s
cite zip Rust #178: Commit a21d531 pushed by hargoniX
36s main
main
36s
doc: prepare presentation Rust #177: Commit 35090fa pushed by hargoniX
41s main
main
41s
Literal selection (#21) Rust #176: Commit e45f58d pushed by hargoniX
32s main
main
32s
Literal selection Rust #175: Pull request #21 synchronize by Daniel1854
48s literal_selection
literal_selection
48s
Literal selection Rust #174: Pull request #21 synchronize by Daniel1854
32s literal_selection
literal_selection
32s