Workflow runs · SRI-CSL/yices2_java_bindings · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

10 workflow runs

10 workflow runs

Add CI harness CI #10: Pull request #9 synchronize by disteph

6h 5m 4s codex/github-ci-windows-harness

codex/github-ci-windows-harness

6h 5m 4s

Allow null parameters in context checks CI #9: Commit 8c2a658 pushed by disteph

6h 5m 4s codex/github-ci-windows-harness

codex/github-ci-windows-harness

6h 5m 4s

Add CI harness CI #8: Pull request #9 synchronize by disteph

19m 47s codex/github-ci-windows-harness

codex/github-ci-windows-harness

19m 47s

Align Java value tags with Yices 2.7 CI #7: Commit 45c2ab4 pushed by disteph

21m 3s codex/github-ci-windows-harness

codex/github-ci-windows-harness

21m 3s

Add CI harness CI #6: Pull request #9 synchronize by disteph

20m 38s codex/github-ci-windows-harness

codex/github-ci-windows-harness

20m 38s

Update JNI status constants for Yices 2.7 CI #5: Commit a0bf50a pushed by disteph

20m 44s codex/github-ci-windows-harness

codex/github-ci-windows-harness

20m 44s

Add CI harness CI #4: Pull request #9 opened by disteph

19m 54s codex/github-ci-windows-harness

codex/github-ci-windows-harness

19m 54s

Include gmaketest in Yices sparse checkout CI #3: Commit 9ff6067 pushed by disteph

20m 16s codex/github-ci-windows-harness

codex/github-ci-windows-harness

20m 16s

Fix GitHub CI checkout and Yices pin CI #2: Commit 58b6d02 pushed by disteph

15m 24s codex/github-ci-windows-harness

codex/github-ci-windows-harness

15m 24s

Add GitHub CI with Windows JNI harness CI #1: Commit c5ff1f1 pushed by disteph

4m 7s codex/github-ci-windows-harness

codex/github-ci-windows-harness

4m 7s