Skip to content

Actions: kupl/tryCoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add direction option to rewrite tactic in README BenchMark Test #24: Pull request #33 opened by jmkjmt
9s jmkjmt-patch-1
jmkjmt-patch-1
9s
Refine README content and formatting BenchMark Test #23: Pull request #32 opened by jmkjmt
11s jmkjmt-patch-1
jmkjmt-patch-1
11s
Enhance README with usage examples and syntax BenchMark Test #22: Pull request #31 opened by jmkjmt
13s readme
readme
13s
licensed annotate BenchMark Test #21: Pull request #30 opened by jmkjmt
13s licence
licence
13s
Optimization BenchMark Test #20: Pull request #28 opened by jmkjmt
15m 45s optimization
optimization
15m 45s
Lemma validate BenchMark Test #19: Pull request #27 opened by jmkjmt
36m 48s lemma-validate
lemma-validate
36m 48s
Solve problem BenchMark Test #18: Pull request #26 opened by jmkjmt
40m 38s solve-problem
solve-problem
40m 38s
Create test-benchmark.yml BenchMark Test #17: Pull request #25 synchronize by henrylee97
32m 0s github-actions
github-actions
32m 0s
Create test-benchmark.yml BenchMark Test #16: Pull request #25 synchronize by jmkjmt
2m 34s github-actions
github-actions
2m 34s
Create test-benchmark.yml BenchMark Test #15: Pull request #25 synchronize by jmkjmt
2m 2s github-actions
github-actions
2m 2s
Create test-benchmark.yml BenchMark Test #14: Pull request #25 synchronize by jmkjmt
9m 13s github-actions
github-actions
9m 13s
Create test-benchmark.yml BenchMark Test #13: Pull request #25 synchronize by jmkjmt
8m 54s github-actions
github-actions
8m 54s
Create test-benchmark.yml BenchMark Test #12: Pull request #25 synchronize by jmkjmt
8m 44s github-actions
github-actions
8m 44s
Create test-benchmark.yml BenchMark Test #11: Pull request #25 synchronize by jmkjmt
8m 39s github-actions
github-actions
8m 39s
Create test-benchmark.yml BenchMark Test #10: Pull request #25 synchronize by jmkjmt
11s github-actions
github-actions
11s
Create test-benchmark.yml BenchMark Test #9: Pull request #25 synchronize by jmkjmt
17s github-actions
github-actions
17s
Create test-benchmark.yml BenchMark Test #8: Pull request #25 synchronize by jmkjmt
8m 34s github-actions
github-actions
8m 34s
Create test-benchmark.yml BenchMark Test #7: Pull request #25 synchronize by jmkjmt
8m 48s github-actions
github-actions
8m 48s
Create test-benchmark.yml BenchMark Test #6: Pull request #25 synchronize by jmkjmt
1m 9s github-actions
github-actions
1m 9s
Create test-benchmark.yml BenchMark Test #5: Pull request #25 synchronize by jmkjmt
8m 57s github-actions
github-actions
8m 57s
Create test-benchmark.yml BenchMark Test #4: Pull request #25 synchronize by jmkjmt
8m 46s github-actions
github-actions
8m 46s
Create test-benchmark.yml BenchMark Test #3: Pull request #25 synchronize by jmkjmt
8m 36s github-actions
github-actions
8m 36s
Create test-benchmark.yml BenchMark Test #2: Pull request #25 synchronize by jmkjmt
8m 22s github-actions
github-actions
8m 22s
Create test-benchmark.yml BenchMark Test #1: Pull request #25 opened by jmkjmt
7m 7s github-actions
github-actions
7m 7s