Skip to content

Actions: SkyLabsAI/workspace

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
986 workflow runs
986 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #184 from SkyLabsAI/rodolphe/fix-filter-dune-output Remote #283: Commit f6f58f7 pushed by rlepigre-skylabs-ai
9s main
main
9s
Fix [filter-dune-output]. Remote #282: Pull request #184 opened by rlepigre-skylabs-ai
11s rodolphe/fix-filter-dune-output
rodolphe/fix-filter-dune-output
11s
Merge pull request #183 from SkyLabsAI/paolo/clang-19 Remote #281: Commit 500ecfe pushed by pgiarrusso-sl
9s main
main
9s
Clang: support >= 20.0.0 < 23, recommend 22 Remote #280: Pull request #183 synchronize by pgiarrusso-sl
9s paolo/clang-19
paolo/clang-19
9s
Merge pull request #182 from SkyLabsAI/paolo/ide-prepare-vsrocq Remote #279: Commit d867115 pushed by pgiarrusso-sl
10s main
main
10s
Clang: support >= 20.0.0 < 23, recommend 22 Remote #278: Pull request #183 opened by pgiarrusso-sl
15s paolo/clang-19
paolo/clang-19
15s
Add vsrocq to ide-prepare Remote #277: Pull request #182 opened by pgiarrusso-sl
12s paolo/ide-prepare-vsrocq
paolo/ide-prepare-vsrocq
12s
Merge pull request #181 from SkyLabsAI/rodolphe/rocqproject Remote #276: Commit d0ca455 pushed by rlepigre-skylabs-ai
12s main
main
12s
Provide a @rocqproject alias. Remote #275: Pull request #181 synchronize by rlepigre-skylabs-ai
12s rodolphe/rocqproject
rodolphe/rocqproject
12s
Provide a @rocqproject alias. Remote #274: Pull request #181 opened by rlepigre-skylabs-ai
10s rodolphe/rocqproject
rodolphe/rocqproject
10s
build-list.py: implicitly add _RocqProject targets corresponding to each file in the list Remote #273: Pull request #180 opened by simon-skylabs
9s simon/build-list-rocq-project
simon/build-list-rocq-project
9s
Merge pull request #179 from SkyLabsAI/janno/sandbox Remote #272: Commit db1581e pushed by Janno
8s main
main
8s
sandbox: make entire ~/.cache folder writable Remote #271: Pull request #179 opened by Janno
10s janno/sandbox
janno/sandbox
10s
clang version check: we only support LLVM 22 now Remote #270: Pull request #178 synchronize by simon-skylabs
10s simon/clang-version-check
simon/clang-version-check
10s
clang version check: we only support LLVM 22 now Remote #269: Pull request #178 opened by simon-skylabs
9s simon/clang-version-check
simon/clang-version-check
9s
Merge pull request #177 from SkyLabsAI/simon/make-rocq-api Remote #268: Commit fc2860d pushed by rlepigre-skylabs-ai
8s main
main
8s
build the OCaml Rocq API as part of bootstrapping Remote #267: Pull request #177 opened by simon-skylabs
11s simon/make-rocq-api
simon/make-rocq-api
11s
Merge pull request #176 from SkyLabsAI/rodolphe/no-ext-lib Remote #266: Commit 60933be pushed by rlepigre-skylabs-ai
9s main
main
9s
Remove [vendorec/rocq-ext-lib]. Remote #265: Pull request #176 opened by rlepigre-skylabs-ai
11s rodolphe/no-ext-lib
rodolphe/no-ext-lib
11s
Merge pull request #175 from SkyLabsAI/rodolphe/no-psi-data Remote #264: Commit 499f3bf pushed by rlepigre-skylabs-ai
9s main
main
9s
Remove mentions of [psi]. Remote #263: Pull request #175 opened by rlepigre-skylabs-ai
11s rodolphe/no-psi-data
rodolphe/no-psi-data
11s
Merge pull request #174 from SkyLabsAI/rodolphe/simplify-rocq-ed-shim Remote #262: Commit f5283df pushed by rlepigre-skylabs-ai
9s main
main
9s
Simplify [dev/bin/rocq-ed]. Remote #261: Pull request #174 synchronize by rlepigre-skylabs-ai
12s rodolphe/simplify-rocq-ed-shim
rodolphe/simplify-rocq-ed-shim
12s
Simplify [dev/bin/rocq-ed]. Remote #260: Pull request #174 synchronize by rlepigre-skylabs-ai
9s rodolphe/simplify-rocq-ed-shim
rodolphe/simplify-rocq-ed-shim
9s
Simplify [dev/bin/rocq-ed]. Remote #259: Pull request #174 opened by rlepigre-skylabs-ai
9s rodolphe/simplify-rocq-ed-shim
rodolphe/simplify-rocq-ed-shim
9s