Skip to content

Actions: hbgit/Map2Check

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
125 workflow runs
125 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Merge pull request #64 from hbgit/feat/cover-branches Publish Docker Image #11: Commit 120b986 pushed by GuilhermeBn198
12m 43s develop
develop
12m 43s
Cover-Branches, engine measurement, and eleven defects the corpus found Publish Docker Image #10: Pull request #64 synchronize by GuilhermeBn198
13m 52s feat/cover-branches
feat/cover-branches
13m 52s
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 Publish Docker Image #9: Pull request #64 synchronize by GuilhermeBn198
10m 59s feat/cover-branches
feat/cover-branches
10m 59s
Cover-Branches, engine measurement, and eleven defects the corpus found Publish Docker Image #8: Pull request #64 opened by GuilhermeBn198
12m 41s feat/cover-branches
feat/cover-branches
12m 41s
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 Publish Docker Image #7: Commit 05a5535 pushed by GuilhermeBn198
11m 33s develop
develop
11m 33s
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
chore(docker): pin Clam and its three dependencies to SHAs Publish Docker Image #6: Pull request #59 opened by GuilhermeBn198
11m 21s chore/pin-clam-shas
chore/pin-clam-shas
11m 21s
crabllvm (seahorn/crab-llvm) is incompatible with LLVM 16 — --add-invariants is a no-op Greetings #123: Issue #54 closed by GuilhermeBn198
19s
19s
Merge pull request #58 from hbgit/fix/clam-image-build CI #86: Commit 1c46d9f pushed by GuilhermeBn198
6m 10s develop
develop
6m 10s
Merge pull request #58 from hbgit/fix/clam-image-build Publish Docker Image #5: Commit 1c46d9f pushed by GuilhermeBn198
11m 34s develop
develop
11m 34s
fix(docker): build Clam with clang-16, and validate Dockerfile.dev on PRs Publish Docker Image #4: Pull request #58 opened by GuilhermeBn198
10m 40s fix/clam-image-build
fix/clam-image-build
10m 40s
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