Skip to content

Actions: PLukas2018/diffkemp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
705 workflow runs
705 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

EqBench: workflow analysis of multiple clang options CI #71: Commit a4709c7 pushed by PLukas2018
September 27, 2023 17:09 37m 13s eqbench-analysis-ci-results
eqbench-analysis-ci-results
September 27, 2023 17:09 37m 13s
EqBench: workflow analysis of multiple clang options Analysis of DiffKemp equivalence checking #8: Commit a4709c7 pushed by PLukas2018
September 27, 2023 17:09 36m 34s eqbench-analysis-ci-results
eqbench-analysis-ci-results
September 27, 2023 17:09 36m 34s
EqBench: workflow analysis of multiple clang options Analysis of DiffKemp equivalence checking #7: Commit 529ec0d pushed by PLukas2018
September 27, 2023 17:08 1m 32s eqbench-analysis-ci-results
eqbench-analysis-ci-results
September 27, 2023 17:08 1m 32s
EqBench: workflow analysis of multiple clang options CI #70: Commit 529ec0d pushed by PLukas2018
September 27, 2023 17:08 1m 22s eqbench-analysis-ci-results
eqbench-analysis-ci-results
September 27, 2023 17:08 1m 22s
EqBench: Add script requirements to requirements.txt Analysis of DiffKemp equivalence checking #6: Commit bbc189d pushed by PLukas2018
September 27, 2023 16:49 8m 35s eqbench-analysis-ci-results
eqbench-analysis-ci-results
September 27, 2023 16:49 8m 35s
EqBench: Add script requirements to requirements.txt CI #69: Commit bbc189d pushed by PLukas2018
September 27, 2023 16:49 20m 18s eqbench-analysis-ci-results
eqbench-analysis-ci-results
September 27, 2023 16:49 20m 18s
EqBench: Run analysis in github workflow Analysis of DiffKemp equivalence checking #5: Commit c5c3929 pushed by PLukas2018
September 27, 2023 16:36 11m 16s eqbench-analysis-ci-results
eqbench-analysis-ci-results
September 27, 2023 16:36 11m 16s
EqBench: Run analysis in github workflow CI #68: Commit c5c3929 pushed by PLukas2018
September 27, 2023 16:36 33m 55s eqbench-analysis-ci-results
eqbench-analysis-ci-results
September 27, 2023 16:36 33m 55s
Tesint github summary CI #67: Commit 9657e45 pushed by PLukas2018
September 27, 2023 15:58 17s eqbench-analysis-ci-results
eqbench-analysis-ci-results
September 27, 2023 15:58 17s
Tesint github summary Analysis of DiffKemp equivalence checking #4: Commit 9657e45 pushed by PLukas2018
September 27, 2023 15:58 4m 26s eqbench-analysis-ci-results
eqbench-analysis-ci-results
September 27, 2023 15:58 4m 26s
Tesint github summary CI #66: Commit b46ef1f pushed by PLukas2018
September 27, 2023 15:46 16s eqbench-analysis-ci-results
eqbench-analysis-ci-results
September 27, 2023 15:46 16s
Tesint github summary Analysis of DiffKemp equivalence checking #3: Commit b46ef1f pushed by PLukas2018
September 27, 2023 15:46 2m 47s eqbench-analysis-ci-results
eqbench-analysis-ci-results
September 27, 2023 15:46 2m 47s
Tesint github summary Analysis of DiffKemp equivalence checking #2: Commit 135c346 pushed by PLukas2018
September 27, 2023 15:42 1m 47s eqbench-analysis-ci-results
eqbench-analysis-ci-results
September 27, 2023 15:42 1m 47s
Tesint github summary CI #65: Commit 135c346 pushed by PLukas2018
September 27, 2023 15:42 5m 25s eqbench-analysis-ci-results
eqbench-analysis-ci-results
September 27, 2023 15:42 5m 25s
Tesint github summary CI #64: Commit 1009d98 pushed by PLukas2018
September 27, 2023 15:29 12m 46s eqbench-analysis-ci-results
eqbench-analysis-ci-results
September 27, 2023 15:29 12m 46s
Tesint github summary Analysis of DiffKemp equivalence checking #1: Commit 1009d98 pushed by PLukas2018
September 27, 2023 15:29 58s eqbench-analysis-ci-results
eqbench-analysis-ci-results
September 27, 2023 15:29 58s
fixup! EqBench: Add option for enabling all patterns CI #63: Commit 0616ce9 pushed by PLukas2018
September 27, 2023 15:01 30m 25s eqbench-analysis
eqbench-analysis
September 27, 2023 15:01 30m 25s
EqBench: Add link to useful info CI #62: Commit 4b6bfc8 pushed by PLukas2018
September 26, 2023 07:32 36m 11s eqbench-analysis
eqbench-analysis
September 26, 2023 07:32 36m 11s
EqBench: Add ingnoring of some funs for aggregated CI #61: Commit 02410d1 pushed by PLukas2018
September 25, 2023 07:22 33m 8s eqbench-analysis
eqbench-analysis
September 25, 2023 07:22 33m 8s
EqBench: Add ingnoring of some funs for aggregated CI #60: Commit f328b7e pushed by PLukas2018
September 25, 2023 07:19 33m 44s eqbench-analysis
eqbench-analysis
September 25, 2023 07:19 33m 44s
Add creating snapshots for a single C file CI #59: Commit 89d631b pushed by PLukas2018
September 22, 2023 15:50 32m 46s build-one-c-file
build-one-c-file
September 22, 2023 15:50 32m 46s
Revert "Add unit tests for build from single C file" CI #58: Commit a7c275f pushed by PLukas2018
September 22, 2023 15:22 33m 0s build-one-c-file
build-one-c-file
September 22, 2023 15:22 33m 0s
Add unit tests for build from single C file CI #57: Commit c1b1c1d pushed by PLukas2018
September 21, 2023 10:02 52m 5s build-one-c-file
build-one-c-file
September 21, 2023 10:02 52m 5s
Add unit tests for build from single C file CI #56: Commit 79c024b pushed by PLukas2018
September 21, 2023 09:57 4m 36s build-one-c-file
build-one-c-file
September 21, 2023 09:57 4m 36s
EqBench: problem aggregated programs CI #55: Commit f84cedc pushed by PLukas2018
September 20, 2023 19:23 33m 22s eqbench-analysis
eqbench-analysis
September 20, 2023 19:23 33m 22s
ProTip! You can narrow down the results and go further in time using created:<2023-09-20 or the other filters available.