Skip to content

Actions: SkyLabsAI/BRiCk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
770 workflow runs
770 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
Extend typechecking for Econstructor/Eglobal Remote #673: Pull request #258 opened by pgiarrusso-sl
11s paolo/typed-econstructor-eglobal
paolo/typed-econstructor-eglobal
11s
Add complexity estimator library with Ltac2 bindings Remote #672: Pull request #256 opened by Janno
9s janno/guesstimato
janno/guesstimato
9s
Merge pull request #255 from SkyLabsAI/gmalecha/rocq-style Remote #671: Commit 4a8ce6c pushed by pgiarrusso-sl
10s main
main
10s
Proposals for some coding conventions Remote #670: Pull request #255 opened by gmalecha-at-skylabs
9s gmalecha/rocq-style
gmalecha/rocq-style
9s
Split cpp.prog into separate plugins Remote #669: Pull request #249 synchronize by pgiarrusso-sl
13s paolo/split-cpp2v-plugin
paolo/split-cpp2v-plugin
13s
Support spaceship operator Remote #668: Pull request #231 synchronize by pgiarrusso-sl
6s paolo/spaceship
paolo/spaceship
6s
Split cpp.prog into separate plugins Remote #667: Pull request #249 synchronize by pgiarrusso-sl
11s paolo/split-cpp2v-plugin
paolo/split-cpp2v-plugin
11s
Split cpp.prog into separate plugins Remote #666: Pull request #249 synchronize by pgiarrusso-sl
9s paolo/split-cpp2v-plugin
paolo/split-cpp2v-plugin
9s
Split cpp.prog into separate plugins Remote #665: Pull request #249 synchronize by pgiarrusso-sl
12s paolo/split-cpp2v-plugin
paolo/split-cpp2v-plugin
12s
Merge pull request #253 from SkyLabsAI/gmalecha/cff-file Remote #664: Commit a8d9e8a pushed by pgiarrusso-sl
8s main
main
8s
pages build and deployment pages-build-deployment #444: by rlepigre-skylabs-ai
26s gh-pages
gh-pages
26s
Merge pull request #247 from SkyLabsAI/paolo/better-val-eq Remote #663: Commit b4ff388 pushed by pgiarrusso-sl
9s main
main
9s
pages build and deployment pages-build-deployment #443: by rlepigre-skylabs-ai
30s gh-pages
gh-pages
30s
Merge pull request #251 from SkyLabsAI/gmalecha/parser-const-scoped-c… Remote #662: Commit 327495b pushed by gmalecha-at-skylabs
14s main
main
14s
Add citation file Remote #661: Pull request #253 synchronize by gmalecha-at-skylabs
9s gmalecha/cff-file
gmalecha/cff-file
9s
Add citation file Remote #660: Pull request #253 synchronize by gmalecha-at-skylabs
6s gmalecha/cff-file
gmalecha/cff-file
6s
Add citation file Remote #659: Pull request #253 synchronize by gmalecha-at-skylabs
7s gmalecha/cff-file
gmalecha/cff-file
7s
Add citation file Remote #658: Pull request #253 opened by gmalecha-at-skylabs
8s gmalecha/cff-file
gmalecha/cff-file
8s
Bug fix for parsing const, scoped conversion functions Remote #657: Pull request #251 synchronize by gmalecha-at-skylabs
9s gmalecha/parser-const-scoped-conversion-functions
gmalecha/parser-const-scoped-conversion-functions
9s
Bug fix for parsing const, scoped conversion functions Remote #656: Pull request #251 opened by gmalecha-at-skylabs
8s gmalecha/parser-const-scoped-conversion-functions
gmalecha/parser-const-scoped-conversion-functions
8s
Split cpp.prog into separate plugins Remote #655: Pull request #249 opened by pgiarrusso-sl
8s paolo/split-cpp2v-plugin
paolo/split-cpp2v-plugin
8s
val_eq_dec: avoid tactics in transparent terms (and revise injectivity lemmas) Remote #654: Pull request #247 opened by pgiarrusso-sl
12s paolo/better-val-eq
paolo/better-val-eq
12s
enable native libstdc++ cpp2v in macos Remote #653: Pull request #246 opened by aa755
8s aa755:codex/cpp2v-env-toolchain-config
aa755:codex/cpp2v-env-toolchain-config
8s
pages build and deployment pages-build-deployment #442: by rlepigre-skylabs-ai
28s gh-pages
gh-pages
28s
Merge pull request #240 from SkyLabsAI/gmalecha/dependent-name-printer Remote #652: Commit 49f8618 pushed by gmalecha-at-skylabs
8s main
main
8s