Skip to content

Actions: hbgit/Map2Check

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
116 workflow runs
116 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
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
Merge pull request #57 from hbgit/feat/castle-juliet-baseline Publish Docker Image #3: Commit 49954ad pushed by GuilhermeBn198
5m 12s develop
develop
5m 12s
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