Skip to content

Actions: hbgit/Map2Check

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
131 workflow runs
131 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 #65 from hbgit/fix/slice-target-stub CI #104: Commit 4150327 pushed by hbgit
8m 39s develop
develop
8m 39s
fix: six defects in the engine, and the v15 campaign that measures them CI #103: Pull request #65 synchronize by Copilot AI
10m 10s fix/slice-target-stub
fix/slice-target-stub
10m 10s
Addressing comment on PR #65 Copilot cloud agent #1: by Copilot AI
7m 5s fix/slice-target-stub
fix/slice-target-stub
7m 5s
Running Copilot Code Review Copilot #1: by Copilot AI
5m 20s fix/slice-target-stub
fix/slice-target-stub
5m 20s
fix: six defects in the engine, and the v15 campaign that measures them CI #102: Pull request #65 synchronize by GuilhermeBn198
7m 50s fix/slice-target-stub
fix/slice-target-stub
7m 50s
fix: six defects in the engine, and the v15 campaign that measures them CI #101: Pull request #65 opened by GuilhermeBn198
7m 29s fix/slice-target-stub
fix/slice-target-stub
7m 29s
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