Skip to content

Actions: krnk0/pc_proof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Show refuted proof tree, remove unsupported <-> hint, add refuted tre… CI #17: Commit c04e8ef pushed by krnk0
7s main
main
7s
Add sequent derivation tree and dynamic node width for tableau CI #16: Commit fc05bf3 pushed by krnk0
10s main
main
10s
Improve UI: fraction-style rules, segmented control, rename to Propos… CI #15: Commit dfd1df5 pushed by krnk0
12s main
main
12s
Fix build.sh: install Rust if rustup not in PATH CI #14: Commit 5260908 pushed by krnk0
10s main
main
10s
Add D3.js proof tree visualization and Smullyan-style tableau CI #13: Commit 0b9fa5e pushed by krnk0
10s main
main
10s
Add CLI crate (pc-proof binary) CI #12: Commit bce9d40 pushed by krnk0
9s main
main
9s
Merge pull request #14 from krnk0/codex/create-tests-for-invalid-cli-… CI #11: Commit 7a210be pushed by krnk0
1m 16s main
main
1m 16s
Add invalid CLI usage tests CI #10: Pull request #14 opened by krnk0
1m 43s codex/create-tests-for-invalid-cli-usage
codex/create-tests-for-invalid-cli-usage
1m 43s
Merge pull request #13 from krnk0/codex/extend-tests-test-parser-py-w… CI #9: Commit eefb8fe pushed by krnk0
35s main
main
35s
Add parser tests CI #8: Pull request #13 opened by krnk0
30s codex/extend-tests-test-parser-py-with-new-inputs
codex/extend-tests-test-parser-py-with-new-inputs
30s
Merge pull request #12 from krnk0/codex/add-test-for-satisfiable-form… CI #7: Commit b305d31 pushed by krnk0
1m 29s main
main
1m 29s
Add satisfiable tableau test CI #6: Pull request #12 opened by krnk0
30s codex/add-test-for-satisfiable-formula-in-test-tableau-py
codex/add-test-for-satisfiable-formula-in-test-tableau-py
30s
Merge pull request #11 from krnk0/codex/add-parametrized-test-for-for… CI #5: Commit 5c77335 pushed by krnk0
35s main
main
35s
Add cross-check test and run using venv CI #4: Pull request #11 opened by krnk0
31s codex/add-parametrized-test-for-formulas
codex/add-parametrized-test-for-formulas
31s
Merge pull request #10 from krnk0/codex/github-actions-ci-qwabme CI #3: Commit 2827a54 pushed by krnk0
40s main
main
40s
Add CI workflow for running tests CI #2: Pull request #10 opened by krnk0
40s codex/github-actions-ci-qwabme
codex/github-actions-ci-qwabme
40s
Add CI workflow for running tests CI #1: Pull request #9 opened by krnk0
29s codex/github-actions-ci
codex/github-actions-ci
29s