Skip to content

Actions: hbgit/Map2Check

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
88 workflow runs
88 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
crabllvm (seahorn/crab-llvm) is incompatible with LLVM 16 — --add-invariants is a no-op Greetings #122: Issue #54 opened by GuilhermeBn198
21s
21s
Merge pull request #53 from hbgit/feat/wasm-clean CI #73: Commit 00b1bec pushed by GuilhermeBn198
4m 26s develop
develop
4m 26s
Feat/wasm clean CI #72: Pull request #53 synchronize by GuilhermeBn198
4m 45s feat/wasm-clean
feat/wasm-clean
4m 45s
Feat/wasm clean CI #71: Pull request #53 opened by GuilhermeBn198
3m 33s feat/wasm-clean
feat/wasm-clean
3m 33s
docs: update OpenSSF status; make backend C cppcheck blocking in CI CI #70: Commit c1990fe pushed by GuilhermeBn198
4m 41s develop
develop
4m 41s
fix(gitignore): remove tests/castle/results/ from .gitignore CI #69: Commit 6e8af81 pushed by GuilhermeBn198
4m 47s develop
develop
4m 47s
feat/wasm-clean: clean WASM branch + CASTLE regression pipeline CI #68: Pull request #52 synchronize by GuilhermeBn198
4m 16s feat/wasm-clean
feat/wasm-clean
4m 16s
feat/wasm-clean: clean WASM branch + CASTLE regression pipeline CI #67: Pull request #52 synchronize by GuilhermeBn198
1m 36s feat/wasm-clean
feat/wasm-clean
1m 36s
feat/wasm-clean: clean WASM branch + CASTLE regression pipeline CI #66: Pull request #52 opened by GuilhermeBn198
4m 11s feat/wasm-clean
feat/wasm-clean
4m 11s
docs: update OpenSSF status; make backend C cppcheck blocking in CI Release #3: Commit 83471fb pushed by hbgit
2m 46s master
master
2m 46s
docs: update OpenSSF status; make backend C cppcheck blocking in CI CI #65: Commit 83471fb pushed by hbgit
4m 49s master
master
4m 49s
docs: update OpenSSF status; make backend C cppcheck blocking in CI CI #64: Commit c1990fe pushed by hbgit
4m 54s develop
develop
4m 54s
docs: update OpenSSF status; make backend C cppcheck blocking in CI CI #63: Commit c1990fe pushed by hbgit
3m 54s feat-valgrind
feat-valgrind
3m 54s
fix: resolve remaining static-analysis security findings (OpenSSF) CI #62: Commit f0d6a28 pushed by hbgit
4m 7s feat-valgrind
feat-valgrind
4m 7s
fix(valgrind): suppress libstdc++ static-init exception pool CI #61: Commit ba4e372 pushed by hbgit
4m 20s feat-valgrind
feat-valgrind
4m 20s
test: fix Valgrind leaks in AllocationLogTest and drop HelloGTest CI #60: Commit dd7f326 pushed by hbgit
4m 21s feat-valgrind
feat-valgrind
4m 21s
ci: add Valgrind memcheck job for OpenSSF dynamic analysis CI #59: Commit 68e86f4 pushed by hbgit
4m 26s feat-valgrind
feat-valgrind
4m 26s
Merge pull request #51 from hbgit/develop CI #58: Commit dc61b92 pushed by hbgit
4m 4s master
master
4m 4s
Merge pull request #51 from hbgit/develop Release #2: Commit dc61b92 pushed by hbgit
2m 34s master
master
2m 34s
feat(release): embed semantic version in map2check --version Greetings #121: Pull request #51 opened by hbgit
25s develop
develop
25s
feat(release): embed semantic version in map2check --version CI #57: Pull request #51 opened by hbgit
3m 38s develop
develop
3m 38s
feat(release): embed semantic version in map2check --version CI #56: Commit 7105450 pushed by hbgit
4m 21s develop
develop
4m 21s
Merge branch 'develop' CI #55: Commit 61df071 pushed by hbgit
5s master
master
5s
Merge branch 'develop' Release #1: Commit 61df071 pushed by hbgit
5s master
master
5s
ci: automate draft releases on master via semantic-release Greetings #120: Pull request #50 opened by hbgit
4s develop
develop
4s