Skip to content

Actions: qed-solver/prover

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update test cases. Build #36: Commit 772f80b pushed by wsx-ucb
June 2, 2024 00:33 1m 16s main
main
June 2, 2024 00:33 1m 16s
Extended version of the paper. Build #35: Commit 96ecd03 pushed by wsx-ucb
June 2, 2024 00:00 10m 2s main
main
June 2, 2024 00:00 10m 2s
Add CockroachDB test cases. Build #34: Commit ffd3543 pushed by wsx-ucb
December 3, 2023 02:55 4m 52s main
main
December 3, 2023 02:55 4m 52s
Merge pull request #2 from qed-solver/test Build #33: Commit 50d1e16 pushed by wsx-ucb
November 20, 2023 04:58 1m 55s main
main
November 20, 2023 04:58 1m 55s
Merge pull request #2 from qed-solver/test Build #32: Commit 41eb732 pushed by wsx-ucb
November 20, 2023 04:50 4m 49s main
main
November 20, 2023 04:50 4m 49s
Merge pull request #2 from qed-solver/test Build #31: Commit 79ac0c1 pushed by wsx-ucb
November 20, 2023 04:46 4m 53s main
main
November 20, 2023 04:46 4m 53s
Various experimental features. Build #30: Pull request #2 synchronize by wsx-ucb
November 20, 2023 04:44 6m 24s test
test
November 20, 2023 04:44 6m 24s
Various experimental features. Build #29: Pull request #2 synchronize by wsx-ucb
November 20, 2023 04:40 1m 43s test
test
November 20, 2023 04:40 1m 43s
Various experimental features. Build #28: Pull request #2 synchronize by wsx-ucb
November 20, 2023 04:38 2m 35s test
test
November 20, 2023 04:38 2m 35s
Various experimental features. Build #27: Pull request #2 synchronize by wsx-ucb
November 19, 2023 05:21 3m 54s test
test
November 19, 2023 05:21 3m 54s
Various experimental features. Build #26: Pull request #2 synchronize by wsx-ucb
November 19, 2023 04:32 36m 35s test
test
November 19, 2023 04:32 36m 35s