Skip to content

Actions: seahorn/crab

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(ci): run ci on dev branch
CI #1246: Commit 146f539 pushed by caballa
September 21, 2023 02:58 1h 37m 15s master
September 21, 2023 02:58 1h 37m 15s
docker: fix dockerfiles
CI #1245: Commit 26dacab pushed by caballa
September 16, 2023 22:15 1h 6m 5s master
September 16, 2023 22:15 1h 6m 5s
ci: fix yaml syntax
CI #1244: Commit 3068206 pushed by caballa
September 16, 2023 20:48 20m 15s master
September 16, 2023 20:48 20m 15s
ci: split into more actions
CI #1243: Commit a288b5e pushed by caballa
September 16, 2023 20:44 20m 3s master
September 16, 2023 20:44 20m 3s
Merging dev branch into master
CI #1242: Pull request #57 synchronize by caballa
September 16, 2023 15:44 1h 11m 6s dev
dev
September 16, 2023 15:44 1h 11m 6s
CI
CI #1241: Scheduled
September 16, 2023 01:05 1h 24m 22s master
September 16, 2023 01:05 1h 24m 22s
fix(bool-domain): propagation in assume(not b)
CI #1240: Commit e43a7a1 pushed by caballa
September 15, 2023 17:02 1h 16m 42s master
September 15, 2023 17:02 1h 16m 42s
CI
CI #1239: Scheduled
September 15, 2023 01:07 1h 8m 44s master
September 15, 2023 01:07 1h 8m 44s
CI
CI #1238: Scheduled
September 14, 2023 01:05 1h 15m 19s master
September 14, 2023 01:05 1h 15m 19s
CI
CI #1237: Scheduled
September 13, 2023 01:07 1h 14m 22s master
September 13, 2023 01:07 1h 14m 22s
CI
CI #1236: Scheduled
September 12, 2023 01:05 1h 15m 17s master
September 12, 2023 01:05 1h 15m 17s
CI
CI #1235: Scheduled
September 11, 2023 01:07 1h 7m 22s master
September 11, 2023 01:07 1h 7m 22s
CI
CI #1234: Scheduled
September 10, 2023 01:10 1h 22m 53s master
September 10, 2023 01:10 1h 22m 53s
CI
CI #1233: Scheduled
September 9, 2023 01:04 1h 12m 10s master
September 9, 2023 01:04 1h 12m 10s
CI
CI #1232: Scheduled
September 8, 2023 01:06 1h 13m 17s master
September 8, 2023 01:06 1h 13m 17s
CI
CI #1231: Scheduled
September 7, 2023 01:06 1h 37m 52s master
September 7, 2023 01:06 1h 37m 52s
CI
CI #1230: Scheduled
September 6, 2023 01:06 1h 31m 7s master
September 6, 2023 01:06 1h 31m 7s
CI
CI #1229: Scheduled
September 5, 2023 01:05 1h 34m 24s master
September 5, 2023 01:05 1h 34m 24s
CI
CI #1228: Scheduled
September 4, 2023 01:07 1h 11m 34s master
September 4, 2023 01:07 1h 11m 34s
CI
CI #1227: Scheduled
September 3, 2023 01:09 1h 36m 47s master
September 3, 2023 01:09 1h 36m 47s
CI
CI #1226: Scheduled
September 2, 2023 01:03 1h 11m 31s master
September 2, 2023 01:03 1h 11m 31s