Skip to content

Actions: imandra-ai/imandrax-api

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add named hypotheses build and test #934: Pull request #142 synchronize by wintersteiger
7m 30s christoph/named-hypotheses
christoph/named-hypotheses
7m 30s
Add named hypotheses format #869: Pull request #142 synchronize by wintersteiger
48s christoph/named-hypotheses
christoph/named-hypotheses
48s
Add named hypotheses format #868: Pull request #142 synchronize by wintersteiger
47s christoph/named-hypotheses
christoph/named-hypotheses
47s
Add named hypotheses build and test #933: Pull request #142 synchronize by wintersteiger
6m 46s christoph/named-hypotheses
christoph/named-hypotheses
6m 46s
Add named hypotheses format #867: Pull request #142 opened by wintersteiger
55s christoph/named-hypotheses
christoph/named-hypotheses
55s
Add named hypotheses build and test #932: Pull request #142 opened by wintersteiger
6m 11s christoph/named-hypotheses
christoph/named-hypotheses
6m 11s
Add QuickCheck (#135) format #866: Commit d7caf4b pushed by wintersteiger
46s main
main
46s
Add QuickCheck (#135) build and test #931: Commit d7caf4b pushed by wintersteiger
7m 58s main
main
7m 58s
[API bump] changes for qcheck decl format #865: Pull request #135 synchronize by wintersteiger
47s simon/quickcheck-decl
simon/quickcheck-decl
47s
[API bump] changes for qcheck decl build and test #930: Pull request #135 synchronize by wintersteiger
7m 38s simon/quickcheck-decl
simon/quickcheck-decl
7m 38s
[API bump] changes for qcheck decl format #864: Pull request #135 synchronize by wintersteiger
47s simon/quickcheck-decl
simon/quickcheck-decl
47s
[API bump] changes for qcheck decl build and test #929: Pull request #135 synchronize by wintersteiger
1m 58s simon/quickcheck-decl
simon/quickcheck-decl
1m 58s
[API bump] changes for qcheck decl build and test #928: Pull request #135 synchronize by wintersteiger
7m 43s simon/quickcheck-decl
simon/quickcheck-decl
7m 43s
[API bump] changes for qcheck decl format #863: Pull request #135 synchronize by wintersteiger
51s simon/quickcheck-decl
simon/quickcheck-decl
51s
[API bump] changes for qcheck decl format #862: Pull request #135 synchronize by wintersteiger
48s simon/quickcheck-decl
simon/quickcheck-decl
48s
[API bump] changes for qcheck decl build and test #927: Pull request #135 synchronize by wintersteiger
7m 32s simon/quickcheck-decl
simon/quickcheck-decl
7m 32s
[API bump] changes for qcheck decl format #861: Pull request #135 synchronize by wintersteiger
48s simon/quickcheck-decl
simon/quickcheck-decl
48s
[API bump] changes for qcheck decl build and test #926: Pull request #135 synchronize by wintersteiger
7m 45s simon/quickcheck-decl
simon/quickcheck-decl
7m 45s
[API bump] changes for qcheck decl format #860: Pull request #135 synchronize by wintersteiger
49s simon/quickcheck-decl
simon/quickcheck-decl
49s
[API bump] changes for qcheck decl build and test #925: Pull request #135 synchronize by wintersteiger
7m 31s simon/quickcheck-decl
simon/quickcheck-decl
7m 31s
[API bump] changes for qcheck decl format #859: Pull request #135 synchronize by wintersteiger
55s simon/quickcheck-decl
simon/quickcheck-decl
55s
[API bump] changes for qcheck decl build and test #924: Pull request #135 synchronize by wintersteiger
7m 11s simon/quickcheck-decl
simon/quickcheck-decl
7m 11s
[API bump] changes for qcheck decl format #858: Pull request #135 synchronize by wintersteiger
48s simon/quickcheck-decl
simon/quickcheck-decl
48s
[API bump] changes for qcheck decl build and test #923: Pull request #135 synchronize by wintersteiger
5m 27s simon/quickcheck-decl
simon/quickcheck-decl
5m 27s
[API bump] changes for qcheck decl build and test #922: Pull request #135 synchronize by wintersteiger
4m 59s simon/quickcheck-decl
simon/quickcheck-decl
4m 59s