Skip to content

Actions: hbgit/Map2Check

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
100 workflow runs
100 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #64 from hbgit/feat/cover-branches CI #100: Commit 120b986 pushed by GuilhermeBn198
6m 54s develop
develop
6m 54s
Cover-Branches, engine measurement, and eleven defects the corpus found CI #99: Pull request #64 synchronize by GuilhermeBn198
5m 17s feat/cover-branches
feat/cover-branches
5m 17s
Cover-Branches, engine measurement, and eleven defects the corpus found CI #98: Pull request #64 synchronize by GuilhermeBn198
7m 42s feat/cover-branches
feat/cover-branches
7m 42s
Cover-Branches, engine measurement, and eleven defects the corpus found CI #97: Pull request #64 opened by GuilhermeBn198
7m 19s feat/cover-branches
feat/cover-branches
7m 19s
Merge pull request #63 from hbgit/fix/klee-symbolic-object-names CI #96: Commit a68c33b pushed by GuilhermeBn198
6m 19s develop
develop
6m 19s
fix(klee): name symbolic objects by their type, not by unexpanded macro text CI #95: Pull request #63 opened by GuilhermeBn198
6m 2s fix/klee-symbolic-object-names
fix/klee-symbolic-object-names
6m 2s
Merge pull request #62 from hbgit/fix/nondet-log-unsigned-row CI #94: Commit 35233a1 pushed by GuilhermeBn198
6m 19s develop
develop
6m 19s
Merge pull request #61 from hbgit/feat/testcomp-benchexec-packaging CI #93: Commit bb64de7 pushed by GuilhermeBn198
7m 18s develop
develop
7m 18s
fix(nondet-log): unsigned rows carried a duplicated value column CI #92: Pull request #62 opened by GuilhermeBn198
6m 22s fix/nondet-log-unsigned-row
fix/nondet-log-unsigned-row
6m 22s
feat(testcomp): BenchExec packaging, and always emit a test suite (H1.4) CI #91: Pull request #61 opened by GuilhermeBn198
6m 52s feat/testcomp-benchexec-packaging
feat/testcomp-benchexec-packaging
6m 52s
Merge pull request #60 from hbgit/fix/target-coverage-warning CI #90: Commit e1438e5 pushed by GuilhermeBn198
6m 40s develop
develop
6m 40s
fix(reachability): announce a target that is never called (finding B) CI #89: Pull request #60 opened by GuilhermeBn198
6m 57s fix/target-coverage-warning
fix/target-coverage-warning
6m 57s
Merge pull request #59 from hbgit/chore/pin-clam-shas CI #88: Commit 05a5535 pushed by GuilhermeBn198
6m 27s develop
develop
6m 27s
chore(docker): pin Clam and its three dependencies to SHAs CI #87: Pull request #59 opened by GuilhermeBn198
9m 28s chore/pin-clam-shas
chore/pin-clam-shas
9m 28s
Merge pull request #58 from hbgit/fix/clam-image-build CI #86: Commit 1c46d9f pushed by GuilhermeBn198
6m 10s develop
develop
6m 10s
fix(docker): build Clam with clang-16, and validate Dockerfile.dev on PRs CI #85: Pull request #58 opened by GuilhermeBn198
5m 40s fix/clam-image-build
fix/clam-image-build
5m 40s
Merge pull request #57 from hbgit/feat/castle-juliet-baseline CI #84: Commit 49954ad pushed by GuilhermeBn198
6m 20s develop
develop
6m 20s
Bring the Test-Comp conformance work into develop (follow-up to #55/#56) CI #83: Pull request #57 opened by GuilhermeBn198
7m 16s feat/castle-juliet-baseline
feat/castle-juliet-baseline
7m 16s
Merge pull request #55 from hbgit/feat/castle-juliet-baseline CI #82: Commit 350ddbb pushed by hbgit
15m 0s develop
develop
15m 0s
Test-Comp conformance: emit test suites, gate them on TestCov, and revive --add-invariants on Clam CI #81: Pull request #56 synchronize by GuilhermeBn198
5m 49s feat/testcomp-conformance
feat/testcomp-conformance
5m 49s
Test-Comp conformance: emit test suites, gate them on TestCov, and revive --add-invariants on Clam CI #80: Pull request #56 synchronize by GuilhermeBn198
6m 6s feat/testcomp-conformance
feat/testcomp-conformance
6m 6s
Test-Comp conformance: emit test suites, gate them on TestCov, and revive --add-invariants on Clam CI #79: Pull request #56 synchronize by GuilhermeBn198
6m 39s feat/testcomp-conformance
feat/testcomp-conformance
6m 39s
Test-Comp conformance: emit test suites, gate them on TestCov, and revive --add-invariants on Clam CI #78: Pull request #56 synchronize by GuilhermeBn198
5m 51s feat/testcomp-conformance
feat/testcomp-conformance
5m 51s
Test-Comp conformance: emit test suites, gate them on TestCov, and revive --add-invariants on Clam CI #77: Pull request #56 synchronize by GuilhermeBn198
5m 49s feat/testcomp-conformance
feat/testcomp-conformance
5m 49s
ci: fire on feat/** branches, for pushes and for stacked PRs CI #76: Commit 9da09d4 pushed by GuilhermeBn198
6m 39s feat/testcomp-conformance
feat/testcomp-conformance
6m 39s