Skip to content

Actions: smackers/smack

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #806 from smackers/bump-dependencies SMACK CI #660: Commit ebb810b pushed by shaobo-he
21m 52s develop
develop
21m 52s
Bump Boogie and Z3 versions SMACK CI #659: Pull request #806 synchronize by shaobo-he
23m 28s bump-dependencies
bump-dependencies
23m 28s
bump z3 version SMACK CI #658: Commit 3f4f5ca pushed by shaobo-he
13m 41s bump-dependencies
bump-dependencies
13m 41s
Bump Boogie and Z3 versions SMACK CI #657: Pull request #806 synchronize by shaobo-he
20m 58s bump-dependencies
bump-dependencies
20m 58s
fix SMACK CI #656: Commit c61d4c5 pushed by shaobo-he
16m 41s bump-dependencies
bump-dependencies
16m 41s
Bump Boogie and Z3 versions SMACK CI #655: Pull request #806 synchronize by shaobo-he
7m 45s bump-dependencies
bump-dependencies
7m 45s
fix SMACK CI #654: Commit 208365e pushed by shaobo-he
4m 10s bump-dependencies
bump-dependencies
4m 10s
Bump Boogie and Z3 versions SMACK CI #653: Pull request #806 opened by shaobo-he
12m 43s bump-dependencies
bump-dependencies
12m 43s
Bump Boogie version SMACK CI #652: Commit e86aaf3 pushed by shaobo-he
4m 14s bump-dependencies
bump-dependencies
4m 14s
Merge pull request #805 from smackers/shaobo-he-patch-1 SMACK CI #651: Commit d2c4588 pushed by shaobo-he
19m 36s develop
develop
19m 36s
Add Ubuntu 22.04 support SMACK CI #650: Pull request #805 synchronize by shaobo-he
25m 0s shaobo-he-patch-1
shaobo-he-patch-1
25m 0s
fix SMACK CI #649: Commit 277eea7 pushed by shaobo-he
13m 55s shaobo-he-patch-1
shaobo-he-patch-1
13m 55s
Add Ubuntu 22.04 support SMACK CI #648: Pull request #805 synchronize by shaobo-he
17m 4s shaobo-he-patch-1
shaobo-he-patch-1
17m 4s
disable Rust tests for now SMACK CI #647: Commit 1db2c29 pushed by shaobo-he
12m 7s shaobo-he-patch-1
shaobo-he-patch-1
12m 7s
Add Ubuntu 22.04 support SMACK CI #646: Pull request #805 synchronize by shaobo-he
11m 1s shaobo-he-patch-1
shaobo-he-patch-1
11m 1s
fix SMACK CI #645: Commit 3ee6a7e pushed by shaobo-he
21m 28s shaobo-he-patch-1
shaobo-he-patch-1
21m 28s
Add Ubuntu 22.04 support SMACK CI #644: Pull request #805 synchronize by shaobo-he
3m 37s shaobo-he-patch-1
shaobo-he-patch-1
3m 37s
fix SMACK CI #643: Commit d6ef597 pushed by shaobo-he
2m 7s shaobo-he-patch-1
shaobo-he-patch-1
2m 7s
Add Ubuntu 22.04 support SMACK CI #642: Pull request #805 synchronize by shaobo-he
3m 52s shaobo-he-patch-1
shaobo-he-patch-1
3m 52s
fix SMACK CI #641: Commit 89dbef2 pushed by shaobo-he
2m 1s shaobo-he-patch-1
shaobo-he-patch-1
2m 1s
Add Ubuntu 22.04 support SMACK CI #640: Pull request #805 synchronize by shaobo-he
48s shaobo-he-patch-1
shaobo-he-patch-1
48s
Add ubuntu 22.04 support SMACK CI #639: Commit 2a82cd0 pushed by shaobo-he
6m 8s shaobo-he-patch-1
shaobo-he-patch-1
6m 8s
Add Ubuntu 22.04 support SMACK CI #638: Pull request #805 synchronize by shaobo-he
18s shaobo-he-patch-1
shaobo-he-patch-1
18s
Update smack-ci.yaml SMACK CI #637: Commit e85e571 pushed by shaobo-he
15s shaobo-he-patch-1
shaobo-he-patch-1
15s
Add Ubuntu 22.04 support SMACK CI #636: Pull request #805 synchronize by shaobo-he
46s shaobo-he-patch-1
shaobo-he-patch-1
46s