Skip to content

Actions: Certora/wala-solidity

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,065 workflow runs
1,065 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Dispatch Private Tests Dispatch Private Tests #198: completed by chandrakananandi
10s
10s
license (#60) Publish JAR and Docker image #37: Commit b984042 pushed by chandrakananandi
1m 50s main
main
1m 50s
license (#60) Test RoundAbout #256: Commit b984042 pushed by chandrakananandi
1m 16s main
main
1m 16s
license (#60) Test RoundAbout JNI #222: Commit b984042 pushed by chandrakananandi
6m 1s main
main
6m 1s
license (#60) Test Viewer #334: Commit b984042 pushed by chandrakananandi
18s main
main
18s
Dispatch Private Tests Dispatch Private Tests #197: completed by julian-certora
1s
1s
Dispatch Private Tests Dispatch Private Tests #196: completed by julian-certora
1s
1s
Dispatch Private Tests Dispatch Private Tests #195: completed by julian-certora
2s
2s
Dispatch Private Tests Dispatch Private Tests #194: completed by julian-certora
1s
1s
license Test RoundAbout JNI #221: Pull request #60 synchronize by julian-certora
4m 36s license
license
4m 36s
license Integration Tests #15: Pull request #60 synchronize by julian-certora
1m 44s license
license
1m 44s
license Test RoundAbout #255: Pull request #60 synchronize by julian-certora
37s license
license
37s
license Test Viewer #333: Pull request #60 synchronize by julian-certora
16s license
license
16s
Merge branch 'main' into license Test RoundAbout #254: Commit 0af55e9 pushed by julian-certora
39s license
license
39s
Merge branch 'main' into license Test RoundAbout JNI #220: Commit 0af55e9 pushed by julian-certora
4m 35s license
license
4m 35s
Merge branch 'main' into license Test Viewer #332: Commit 0af55e9 pushed by julian-certora
19s license
license
19s
license Test Viewer #331: Pull request #60 opened by julian-certora
18s license
license
18s
license Test RoundAbout JNI #219: Pull request #60 opened by julian-certora
6m 24s license
license
6m 24s
license Test RoundAbout #253: Pull request #60 opened by julian-certora
37s license
license
37s
license Integration Tests #14: Pull request #60 opened by julian-certora
2m 18s license
license
2m 18s
license Test RoundAbout #252: Commit 7156232 pushed by julian-certora
45s license
license
45s
license Test Viewer #330: Commit 7156232 pushed by julian-certora
16s license
license
16s
license Test RoundAbout JNI #218: Commit 7156232 pushed by julian-certora
6m 3s license
license
6m 3s
Dispatch Private Tests Dispatch Private Tests #193: completed by chandrakananandi
8s
8s
Update README.md (#59) Publish JAR and Docker image #36: Commit 818d248 pushed by chandrakananandi
2m 19s main
main
2m 19s