Skip to content

Actions: seahorn/sea-dsa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: recognize ownsem instrinsic aliases CI #59: Commit 93edd5d pushed by priyasiddharth
June 13, 2024 18:09 1m 56s dev14
dev14
June 13, 2024 18:09 1m 56s
feat: recognize ownsem instrinsic aliases CI #58: Pull request #161 synchronize by priyasiddharth
June 13, 2024 15:22 1m 58s priyasiddharth:dev14-ownsem
priyasiddharth:dev14-ownsem
June 13, 2024 15:22 1m 58s
feat: recognize ownsem instrinsic aliases CI #57: Pull request #161 opened by priyasiddharth
June 12, 2024 18:49 2m 1s priyasiddharth:dev14-ownsem
priyasiddharth:dev14-ownsem
June 12, 2024 18:49 2m 1s
doc: updated badge in README CI #56: Commit 8fc33bd pushed by priyasiddharth
September 21, 2023 14:54 2m 25s dev14
dev14
September 21, 2023 14:54 2m 25s
fix: memhavoc should be mem def CI #55: Commit 910fa15 pushed by caballa
September 19, 2023 03:20 2m 18s dev14
dev14
September 19, 2023 03:20 2m 18s
fix: memhavoc should be mem def CI #54: Pull request #157 opened by priyasiddharth
September 17, 2023 20:30 2m 23s priyasiddharth:memhavoc
priyasiddharth:memhavoc
September 17, 2023 20:30 2m 23s
fix: rearrange so assert(false) not on return path CI #53: Pull request #150 synchronize by priyasiddharth
September 17, 2023 20:27 2m 25s priyasiddharth:dev14
priyasiddharth:dev14
September 17, 2023 20:27 2m 25s
fix: rearrange so assert(false) not on return path CI #52: Pull request #150 synchronize by priyasiddharth
September 17, 2023 20:05 2m 19s priyasiddharth:dev14
priyasiddharth:dev14
September 17, 2023 20:05 2m 19s
doc: updated badge in README CI #51: Commit 8fc33bd pushed by caballa
September 16, 2023 16:23 2m 45s dev14
dev14
September 16, 2023 16:23 2m 45s
fix(complete-cg): remove call graph edges CI #50: Commit a284e59 pushed by caballa
September 16, 2023 16:05 2m 21s dev14
dev14
September 16, 2023 16:05 2m 21s
Changes and fixes to run dev14 successfully CI CI #49: Pull request #156 opened by caballa
September 15, 2023 04:05 3m 25s dev14-fix-tests
dev14-fix-tests
September 15, 2023 04:05 3m 25s