Workflow runs · erdos-network/erdos-graph-proofs · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

23 workflow runs

23 workflow runs

chore: update erdos-graph submodule to latest Verify Erdos Graph #28: Commit 94ebaf9 pushed by liamjdavis

25s main

main

25s

Merge pull request #6 from erdos-network/liamjdavis/z3-triggers Verify Erdos Graph #27: Commit 5a8f063 pushed by liamjdavis

26s main

main

26s

fix(specs): auto triggers for Z3 quantifiers Verify Erdos Graph #26: Pull request #6 opened by liamjdavis

30s liamjdavis/z3-triggers

liamjdavis/z3-triggers

30s

Merge pull request #5 from erdos-network/liamjdavis/helixdb-stub-inge… Verify Erdos Graph #25: Commit 0dd1387 pushed by liamjdavis

26s main

main

26s

feat(specs): helixdb and chrono axiomatic stubs and ingestion sepcs Verify Erdos Graph #24: Pull request #5 opened by liamjdavis

26s liamjdavis/helixdb-stub-ingestion-specs

liamjdavis/helixdb-stub-ingestion-specs

26s

chore: update erdos-graph submodule to latest Verify Erdos Graph #23: Commit 7578ecb pushed by liamjdavis

23s main

main

23s

Merge pull request #2 from erdos-network/liamjdavis/thread-safe-queue… Verify Erdos Graph #22: Commit 982a6b5 pushed by liamjdavis

26s main

main

26s

Merge pull request #4 from erdos-network/copilot/fix-submodule-url-issue Verify Erdos Graph #21: Commit c27002f pushed by liamjdavis

25s main

main

25s

Fix malformed submodule URL in .gitmodules Verify Erdos Graph #18: Pull request #4 synchronize by Copilot AI

20s copilot/fix-submodule-url-issue

copilot/fix-submodule-url-issue

20s

Running Copilot coding agent Copilot coding agent #2: by Copilot AI

1m 51s copilot/fix-submodule-url-issue

copilot/fix-submodule-url-issue

1m 51s

Running Copilot coding agent Copilot coding agent #1: by Copilot AI

6m 38s copilot/fix-submodule-update-command

copilot/fix-submodule-update-command

6m 38s

Merge pull request #2 from erdos-network/liamjdavis/thread-safe-queue… Verify Erdos Graph #12: Commit 982a6b5 pushed by liamjdavis

28s main

main

28s

specs(thread_safe_queue): producer registration and unregistration with concurrency Verify Erdos Graph #11: Pull request #2 opened by liamjdavis

20s liamjdavis/thread-safe-queue-specs

liamjdavis/thread-safe-queue-specs

20s

Merge pull request #1 from erdos-network/liamjdavis/trivial-thread-sa… Verify Erdos Graph #10: Commit 82c8404 pushed by liamjdavis

26s main

main

26s

specs(thread safe queue): trivial specs for existence Verify Erdos Graph #9: Pull request #1 opened by liamjdavis

25s liamjdavis/trivial-thread-safe-queue-proofs

liamjdavis/trivial-thread-safe-queue-proofs

25s

Fix README and CONTRIBUTING.md Verify Erdos Graph #8: Commit ca76e90 pushed by liamjdavis

24s main

main

24s

Updated CONTRIBUTING.md Verify Erdos Graph #7: Commit 6641f02 pushed by liamjdavis

21s main

main

21s

Updated README Verify Erdos Graph #6: Commit f53674a pushed by liamjdavis

22s main

main

22s

Modularized verification specs Verify Erdos Graph #5: Commit d33ee05 pushed by liamjdavis

25s main

main

25s

docs: add README and CONTRIBUTING guide for verification workflow Verify Erdos Graph #4: Commit 6c3b2ae pushed by liamjdavis

20s main

main

20s

Fixed install verus script Verify Erdos Graph #3: Commit ba68697 pushed by liamjdavis

31s main

main

31s

Fixed versioning for cicd Verify Erdos Graph #2: Commit 9cf23d9 pushed by liamjdavis

19s main

main

19s

Added simple verification test and CICD verification Verify Erdos Graph #1: Commit b1d08fe pushed by liamjdavis

7s main

main

7s