Skip to content

Actions: sipma/CodeHawk-C

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #62 from sipma/invariantquery CI_mypy #34: Commit 46e378c pushed by sipma
37s master
master
37s
Merge pull request #62 from sipma/invariantquery CI_pycodestyle #33: Commit 46e378c pushed by sipma
15s master
master
15s
Merge pull request #62 from sipma/invariantquery Documentation #11: Commit 46e378c pushed by sipma
8s master
master
8s
Merge branch 'master' into invariantquery CI_mypy #33: Commit f3bc3ed pushed by sipma
26s invariantquery
invariantquery
26s
Merge branch 'master' into invariantquery CI_pycodestyle #32: Commit f3bc3ed pushed by sipma
17s invariantquery
invariantquery
17s
fix pycode style issues CI_pycodestyle #31: Commit 66ca36d pushed by sipma
23s invariantquery
invariantquery
23s
fix pycode style issues CI_mypy #32: Commit 66ca36d pushed by sipma
26s invariantquery
invariantquery
26s
CMD: add query facility for invariants CI_pycodestyle #30: Commit c92168b pushed by sipma
19s invariantquery
invariantquery
19s
CMD: add query facility for invariants CI_mypy #31: Commit c92168b pushed by sipma
48s invariantquery
invariantquery
48s
Merge pull request #58 from sipma/parsing CI_pycodestyle #29: Commit 9ee0aac pushed by sipma
29s master
master
29s
Merge pull request #58 from sipma/parsing Documentation #10: Commit 9ee0aac pushed by sipma
6s master
master
6s
Merge pull request #58 from sipma/parsing CI_mypy #30: Commit 9ee0aac pushed by sipma
27s master
master
27s
Merge branch 'master' into parsing CI_mypy #29: Commit c111d36 pushed by sipma
1m 37s parsing
parsing
1m 37s
Merge branch 'master' into parsing CI_pycodestyle #28: Commit c111d36 pushed by sipma
20s parsing
parsing
20s
CLI: add command to print header file CI_mypy #28: Commit 9cfc6a0 pushed by sipma
1s parsing
parsing
1s
CLI: add command to print header file CI_pycodestyle #27: Commit 9cfc6a0 pushed by sipma
1s parsing
parsing
1s
add error handling Documentation #9: Commit 2cb7996 pushed by sipma
3m 32s master
master
3m 32s
add error handling CI_mypy #27: Commit 2cb7996 pushed by sipma
28s master
master
28s
add error handling CI_pycodestyle #26: Commit 2cb7996 pushed by sipma
32s master
master
32s
add error handling CI_pycodestyle #25: Commit dc00539 pushed by sipma
35s errorhandling
errorhandling
35s
add error handling CI_mypy #26: Commit dc00539 pushed by sipma
31s errorhandling
errorhandling
31s
JSON: add program context to proof obligations CI_pycodestyle #24: Commit 10d9c4f pushed by sipma
18s master
master
18s
JSON: add program context to proof obligations Documentation #8: Commit 10d9c4f pushed by sipma
2m 36s master
master
2m 36s
JSON: add program context to proof obligations CI_mypy #25: Commit 10d9c4f pushed by sipma
38s master
master
38s
JSON: add program context to proof obligations CI_mypy #24: Commit 9c7b666 pushed by sipma
36s programcontexts
programcontexts
36s