Skip to content

Actions: SkyLabsAI/auto-docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #9 from SkyLabsAI/gmalecha/elaboration-options Remote #32: Commit 9f57097 pushed by pgiarrusso-sl
10s main
main
10s
Merge pull request #9 from SkyLabsAI/gmalecha/elaboration-options Build and Deploy #20: Commit 9f57097 pushed by pgiarrusso-sl
32s main
main
32s
Explicitly add [#[elaborate]] attribute. Remote #31: Pull request #9 opened by gmalecha-at-skylabs
13s gmalecha/elaboration-options
gmalecha/elaboration-options
13s
Explicitly add [#[elaborate]] attribute. Build and Deploy #19: Pull request #9 opened by gmalecha-at-skylabs
25s gmalecha/elaboration-options
gmalecha/elaboration-options
25s
Switch to [rocq-perf]. Build and Deploy #18: Commit e83c1ad pushed by rlepigre-skylabs-ai
37s main
main
37s
Switch to [rocq-perf]. Remote #30: Commit e83c1ad pushed by rlepigre-skylabs-ai
9s main
main
9s
Rename [bluerock] into [skylabs] and more. Remote #29: Commit b22de96 pushed by rlepigre-skylabs-ai
9s main
main
9s
Rename [bluerock] into [skylabs] and more. Build and Deploy #17: Commit b22de96 pushed by rlepigre-skylabs-ai
37s main
main
37s
Merge pull request #8 from SkyLabsAI/paolo/consistent-sort Build and Deploy #16: Commit 307a93d pushed by rlepigre-skylabs-ai
34s main
main
34s
Merge pull request #8 from SkyLabsAI/paolo/consistent-sort Remote #28: Commit 307a93d pushed by rlepigre-skylabs-ai
8s main
main
8s
Rename [bluerock] into [skylabs] and more. Remote #27: Commit b22de96 pushed by rlepigre-skylabs-ai
8s main
main
8s
Rename [bluerock] into [skylabs] and more. Build and Deploy #15: Commit b22de96 pushed by rlepigre-skylabs-ai
1m 12s main
main
1m 12s
Merge pull request #8 from SkyLabsAI/paolo/consistent-sort Remote #26: Commit 307a93d pushed by pgiarrusso-sl
7s main
main
7s
Merge pull request #8 from SkyLabsAI/paolo/consistent-sort Build and Deploy #14: Commit 307a93d pushed by pgiarrusso-sl
37s main
main
37s
dune.inc: pick consistent sort ordering and locale Remote #25: Pull request #8 opened by pgiarrusso-sl
10s paolo/consistent-sort
paolo/consistent-sort
10s
dune.inc: pick consistent sort ordering and locale Build and Deploy #13: Pull request #8 opened by pgiarrusso-sl
21s paolo/consistent-sort
paolo/consistent-sort
21s
Merge pull request #7 from SkyLabsAI/rodolphe/bluerock-skylabs Remote #24: Commit cb2d125 pushed by rlepigre-skylabs-ai
6s main
main
6s
Merge pull request #7 from SkyLabsAI/rodolphe/bluerock-skylabs Build and Deploy #12: Commit cb2d125 pushed by rlepigre-skylabs-ai
38s main
main
38s
Moving *-bluerock-* to rocq-skylabs-*. Build and Deploy #11: Pull request #7 opened by rlepigre-skylabs-ai
23s rodolphe/bluerock-skylabs
rodolphe/bluerock-skylabs
23s
Moving *-bluerock-* to rocq-skylabs-*. Remote #23: Pull request #7 opened by rlepigre-skylabs-ai
9s rodolphe/bluerock-skylabs
rodolphe/bluerock-skylabs
9s
Merge pull request #6 from SkyLabsAI/rodolphe/bluerock-skylabs Build and Deploy #10: Commit a466874 pushed by rlepigre-skylabs-ai
45s main
main
45s
Merge pull request #6 from SkyLabsAI/rodolphe/bluerock-skylabs Remote #22: Commit a466874 pushed by rlepigre-skylabs-ai
10s main
main
10s
Fix symbolic link after a directory rename. Remote #21: Pull request #6 opened by rlepigre-skylabs-ai
9s rodolphe/bluerock-skylabs
rodolphe/bluerock-skylabs
9s
Fix symbolic link after a directory rename. Build and Deploy #9: Pull request #6 opened by rlepigre-skylabs-ai
23s rodolphe/bluerock-skylabs
rodolphe/bluerock-skylabs
23s
Merge pull request #5 from SkyLabsAI/simon/big-sep-doc Build and Deploy #8: Commit b5366b5 pushed by rlepigre-skylabs-ai
41s main
main
41s