Skip to content

Actions: AliveToolkit/alive2

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
588 workflow runs
588 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

optimizations Build #1295: Commit f5bfff5 pushed by nunoplopes
August 14, 2024 09:47 8m 2s int2ptr
int2ptr
August 14, 2024 09:47 8m 2s
int2ptr support Build #1294: Pull request #988 synchronize by nunoplopes
August 13, 2024 15:27 14m 55s int2ptr
int2ptr
August 13, 2024 15:27 14m 55s
edit Build #1293: Commit 77412eb pushed by nunoplopes
August 13, 2024 15:27 13m 22s int2ptr
int2ptr
August 13, 2024 15:27 13m 22s
fix perf regression introduced with last Pointer class refactoring Build #1292: Commit 8404196 pushed by nunoplopes
August 13, 2024 15:27 8m 28s master
master
August 13, 2024 15:27 8m 28s
int2ptr support Build #1291: Pull request #988 synchronize by nunoplopes
August 12, 2024 18:44 11m 48s int2ptr
int2ptr
August 12, 2024 18:44 11m 48s
edit Build #1290: Commit dab16a7 pushed by nunoplopes
August 12, 2024 18:44 8m 29s int2ptr
int2ptr
August 12, 2024 18:44 8m 29s
int2ptr support Build #1289: Pull request #988 synchronize by nunoplopes
August 12, 2024 17:53 12m 3s int2ptr
int2ptr
August 12, 2024 17:53 12m 3s
edit Build #1288: Commit e822ebd pushed by nunoplopes
August 12, 2024 17:53 8m 12s int2ptr
int2ptr
August 12, 2024 17:53 8m 12s
int2ptr support Build #1287: Pull request #988 synchronize by nunoplopes
August 12, 2024 10:56 12m 2s int2ptr
int2ptr
August 12, 2024 10:56 12m 2s
edit Build #1286: Commit bc27b24 pushed by nunoplopes
August 12, 2024 10:56 8m 12s int2ptr
int2ptr
August 12, 2024 10:56 8m 12s
int2ptr support Build #1285: Pull request #988 synchronize by nunoplopes
August 11, 2024 12:04 14m 21s int2ptr
int2ptr
August 11, 2024 12:04 14m 21s
edit Build #1284: Commit 8d01793 pushed by nunoplopes
August 11, 2024 12:04 12m 26s int2ptr
int2ptr
August 11, 2024 12:04 12m 26s
avoid duplicating memory axioms for src & tgt Build #1283: Commit 081d296 pushed by nunoplopes
August 11, 2024 12:03 8m 6s master
master
August 11, 2024 12:03 8m 6s
int2ptr support Build #1282: Pull request #988 synchronize by nunoplopes
August 11, 2024 11:11 14m 20s int2ptr
int2ptr
August 11, 2024 11:11 14m 20s
edit Build #1281: Commit 1349393 pushed by nunoplopes
August 11, 2024 11:11 10m 9s int2ptr
int2ptr
August 11, 2024 11:11 10m 9s
int2ptr support Build #1280: Pull request #988 synchronize by nunoplopes
August 11, 2024 11:06 12m 16s int2ptr
int2ptr
August 11, 2024 11:06 12m 16s
edit Build #1279: Commit 3f1157e pushed by nunoplopes
August 11, 2024 11:06 8m 13s int2ptr
int2ptr
August 11, 2024 11:06 8m 13s
int2ptr support Build #1278: Pull request #988 synchronize by nunoplopes
August 9, 2024 17:28 20m 13s int2ptr
int2ptr
August 9, 2024 17:28 20m 13s
edit Build #1277: Commit b97cedb pushed by nunoplopes
August 9, 2024 17:28 15m 10s int2ptr
int2ptr
August 9, 2024 17:28 15m 10s
int2ptr support Build #1276: Pull request #988 synchronize by nunoplopes
August 9, 2024 17:25 16m 2s int2ptr
int2ptr
August 9, 2024 17:25 16m 2s
edit Build #1275: Commit 111aaa8 pushed by nunoplopes
August 9, 2024 17:25 11m 6s int2ptr
int2ptr
August 9, 2024 17:25 11m 6s
int2ptr support Build #1274: Pull request #988 synchronize by nunoplopes
August 9, 2024 17:21 12m 55s int2ptr
int2ptr
August 9, 2024 17:21 12m 55s
edit Build #1273: Commit 6034dd0 pushed by nunoplopes
August 9, 2024 17:21 8m 20s int2ptr
int2ptr
August 9, 2024 17:21 8m 20s
int2ptr support Build #1272: Pull request #988 synchronize by nunoplopes
August 9, 2024 17:01 12m 23s int2ptr
int2ptr
August 9, 2024 17:01 12m 23s
edit Build #1271: Commit 219bca4 pushed by nunoplopes
August 9, 2024 17:01 8m 26s int2ptr
int2ptr
August 9, 2024 17:01 8m 26s