Skip to content

Actions: rocq-community/trocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
241 workflow runs
241 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgrade the prop branch to Coq 8.20 Nix CI for bundle default #195: Pull request #42 synchronize by lweqx
48s
48s
Upgrade the prop branch to Coq 8.20 Nix CI for bundle default #194: Pull request #42 opened by lweqx
41s
41s
Prove optimality of dependencies for forall and arrow types (#41) Nix CI for bundle default #193: Commit 5742b18 pushed by CohenCyril
4m 5s master
master
4m 5s
pages build and deployment pages-build-deployment #14: by CohenCyril
26s master
master
26s
Create AUTHORS Nix CI for bundle default #192: Commit 46c8dd5 pushed by CohenCyril
5m 2s master
master
5m 2s
pages build and deployment pages-build-deployment #13: by CohenCyril
1m 34s master
master
1m 34s
pages build and deployment pages-build-deployment #12: by CohenCyril
24s master
master
24s
Prove optimality of dependencies for forall and arrow types Nix CI for bundle default #191: Pull request #41 synchronize by lweqx
6m 47s
6m 47s
Prove optimality of dependencies for forall and arrow types Nix CI for bundle default #190: Pull request #41 synchronize by lweqx
4m 0s
4m 0s
Prove optimality of dependencies for forall and arrow types Nix CI for bundle default #189: Pull request #41 opened by lweqx
4m 51s
4m 51s
update meta and readme (#39) Nix CI for bundle default #188: Commit f8403f9 pushed by CohenCyril
4m 18s master
master
4m 18s
pages build and deployment pages-build-deployment #11: by CohenCyril
24s master
master
24s
update meta and readme Nix CI for bundle default #187: Pull request #39 opened by CohenCyril
4m 23s
4m 23s
preparing Trocq to add prop Nix CI for bundle default #186: Pull request #9 synchronize by CohenCyril
6m 18s
6m 18s
preparing Trocq to add prop Nix CI for bundle default #185: Pull request #9 synchronize by CohenCyril
7m 25s
7m 25s
preparing Trocq to add prop Nix CI for bundle default #184: Pull request #9 synchronize by CohenCyril
6m 15s
6m 15s
ProTip! You can narrow down the results and go further in time using created:<2024-10-07 or the other filters available.