Workflow runs · kAIto47802/Prover-Agent · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

16 workflow runs

16 workflow runs

Merge pull request #4 from kAIto47802/fix-doc-citation Type Check #8: Commit c337a48 pushed by kAIto47802

43s main

main

43s

Merge pull request #4 from kAIto47802/fix-doc-citation Lint and Format #8: Commit c337a48 pushed by kAIto47802

14s main

main

14s

Fix README Type Check #7: Commit 6db49c2 pushed by kAIto47802

44s fix-doc-citation

fix-doc-citation

44s

Fix README Lint and Format #7: Commit 6db49c2 pushed by kAIto47802

15s fix-doc-citation

fix-doc-citation

15s

Merge pull request #3 from kAIto47802/add-a-link-to-hf-papers Type Check #6: Commit 742fd32 pushed by kAIto47802

55s main

main

55s

Merge pull request #3 from kAIto47802/add-a-link-to-hf-papers Lint and Format #6: Commit 742fd32 pushed by kAIto47802

21s main

main

21s

Add a link to hugging face papers Lint and Format #5: Commit 64a51b1 pushed by kAIto47802

22s add-a-link-to-hf-papers

add-a-link-to-hf-papers

22s

Add a link to hugging face papers Type Check #5: Commit 64a51b1 pushed by kAIto47802

55s add-a-link-to-hf-papers

add-a-link-to-hf-papers

55s

Merge pull request #2 from kAIto47802/use-preprocessed-minif2f Type Check #4: Commit 2369d0c pushed by kAIto47802

51s main

main

51s

Merge pull request #2 from kAIto47802/use-preprocessed-minif2f Lint and Format #4: Commit 2369d0c pushed by kAIto47802

16s main

main

16s

Update README Lint and Format #3: Commit 18ec796 pushed by kAIto47802

27s use-preprocessed-minif2f

use-preprocessed-minif2f

27s

Update README Type Check #3: Commit 18ec796 pushed by kAIto47802

56s use-preprocessed-minif2f

use-preprocessed-minif2f

56s

Initial commit Type Check #2: Commit 49be72b pushed by kAIto47802

58s v0.1.0

v0.1.0

58s

Initial commit Lint and Format #2: Commit 49be72b pushed by kAIto47802

21s v0.1.0

v0.1.0

21s

Initial commit Type Check #1: Commit 49be72b pushed by kAIto47802

49s main

main

49s

Initial commit Lint and Format #1: Commit 49be72b pushed by kAIto47802

19s main

main

19s