Skip to content

Actions: SkyLabsAI/rocq-iris

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 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
Switch to [rocq.theory]. Remote #6: Commit 3ad4ddd pushed by rlepigre-skylabs-ai
9s skylabs-master
skylabs-master
9s
[SkyLabs AI] Add missing Ltac2 dependencies. Remote #5: Commit 51c753a pushed by Janno
11s skylabs-master
skylabs-master
11s
[SkyLabs AI] Use dune in opam package & Add missing Ltac2 dependencies Remote #4: Pull request #1 opened by Janno
10s janno/opam
janno/opam
10s
[SkyLabs AI, FM CI] Workflow update Remote #3: Commit 7bb7b43 pushed by rlepigre-skylabs-ai
13s skylabs-master
skylabs-master
13s
[SkyLabs AI] Work slowness due to Typeclasses Strict Resolution Remote #2: Commit 2fc29ea pushed by Janno
7m 56s skylabs-master
skylabs-master
7m 56s
[SkyLabs AI, FM CI] Workflow update Remote #1: Commit 133516d pushed by rlepigre-skylabs-ai
18m 17s skylabs-master
skylabs-master
18m 17s