Skip to content

Actions: UQ-PAC/BASIL

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
run-examples.yml
1,206 workflow runs
1,206 workflow runs

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
fix broken java cup sources URL Test #2073: Pull request #625 opened by katrinafyi
11m 35s cup-fix
cup-fix
11m 35s
Unique global names from symbol table Test #2072: Pull request #624 synchronize by l-kent
14m 34s unique-symbol-table
unique-symbol-table
14m 34s
Merge pull request #613 from UQ-PAC/dsa-ssc-fixes Test #2071: Commit 565fc1c pushed by l-kent
14m 55s main
main
14m 55s
Unique global names from symbol table Test #2070: Pull request #624 opened by l-kent
15m 21s unique-symbol-table
unique-symbol-table
15m 21s
add vacuous check to default boogie invocation Test #2069: Pull request #622 opened by agle
14m 41s check-vacuous
check-vacuous
14m 41s
mill: 1.1.3 (#620) Test #2068: Commit fd20626 pushed by katrinafyi
14m 44s main
main
14m 44s
mill: 1.1.3 Test #2067: Pull request #620 synchronize by katrinafyi
14m 58s millupd2
millupd2
14m 58s
mill: 1.1.3 Test #2066: Pull request #620 opened by katrinafyi
14m 58s millupd2
millupd2
14m 58s
Millbug Test #2065: Pull request #619 synchronize by katrinafyi
47s millbug
millbug
47s
Millbug Test #2064: Pull request #619 synchronize by katrinafyi
40s millbug
millbug
40s
Millbug Test #2063: Pull request #619 synchronize by katrinafyi
38s millbug
millbug
38s
Millbug Test #2062: Pull request #619 synchronize by katrinafyi
37s millbug
millbug
37s
Millbug Test #2061: Pull request #619 synchronize by katrinafyi
50s millbug
millbug
50s
Millbug Test #2060: Pull request #619 synchronize by katrinafyi
32s millbug
millbug
32s
Millbug Test #2059: Pull request #619 opened by katrinafyi
44s millbug
millbug
44s
z3: embed native deps within jar using java resources Test #2058: Pull request #618 synchronize by katrinafyi
39s z3jar
z3jar
39s
z3: embed native deps within jar using java resources Test #2057: Pull request #618 synchronize by katrinafyi
38s z3jar
z3jar
38s
z3: embed native deps within jar using java resources Test #2056: Pull request #618 synchronize by katrinafyi
39s z3jar
z3jar
39s
z3: embed native deps within jar using java resources Test #2055: Pull request #618 synchronize by katrinafyi
40s z3jar
z3jar
40s
z3: embed native deps within jar using java resources Test #2054: Pull request #618 synchronize by katrinafyi
40s z3jar
z3jar
40s
z3: embed native deps within jar using java resources Test #2053: Pull request #618 synchronize by katrinafyi
44s z3jar
z3jar
44s
z3: embed native deps within jar using java resources Test #2052: Pull request #618 synchronize by katrinafyi
47s z3jar
z3jar
47s
z3: embed native deps within jar using java resources Test #2051: Pull request #618 synchronize by katrinafyi
14m 31s z3jar
z3jar
14m 31s
z3: embed native deps within jar using java resources Test #2050: Pull request #618 synchronize by katrinafyi
14m 23s z3jar
z3jar
14m 23s
z3: embed native deps within jar using java resources Test #2049: Pull request #618 opened by katrinafyi
14m 48s z3jar
z3jar
14m 48s