Skip to content

Actions: rocq-community/trocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #12: by CohenCyril
March 24, 2025 13:40 24s master
master
March 24, 2025 13:40 24s
Prove optimality of dependencies for forall and arrow types Nix CI for bundle default #191: Pull request #41 synchronize by lweqx
March 10, 2025 15:59 6m 47s
March 10, 2025 15:59 6m 47s
Prove optimality of dependencies for forall and arrow types Nix CI for bundle default #190: Pull request #41 synchronize by lweqx
February 28, 2025 16:21 4m 0s
February 28, 2025 16:21 4m 0s
Prove optimality of dependencies for forall and arrow types Nix CI for bundle default #189: Pull request #41 opened by lweqx
February 28, 2025 16:14 4m 51s
February 28, 2025 16:14 4m 51s
update meta and readme (#39) Nix CI for bundle default #188: Commit f8403f9 pushed by CohenCyril
January 3, 2025 16:10 4m 18s master
master
January 3, 2025 16:10 4m 18s
pages build and deployment pages-build-deployment #11: by CohenCyril
January 3, 2025 16:10 24s master
master
January 3, 2025 16:10 24s
update meta and readme Nix CI for bundle default #187: Pull request #39 opened by CohenCyril
January 3, 2025 16:09 4m 23s
January 3, 2025 16:09 4m 23s
preparing Trocq to add prop Nix CI for bundle default #186: Pull request #9 synchronize by CohenCyril
October 18, 2024 09:41 6m 18s
October 18, 2024 09:41 6m 18s
preparing Trocq to add prop Nix CI for bundle default #185: Pull request #9 synchronize by CohenCyril
October 17, 2024 09:52 7m 25s
October 17, 2024 09:52 7m 25s
preparing Trocq to add prop Nix CI for bundle default #184: Pull request #9 synchronize by CohenCyril
October 7, 2024 15:24 6m 15s
October 7, 2024 15:24 6m 15s
fix link to univalent parametricity in README.md Nix CI for bundle default #183: Pull request #38 opened by chenson2018
August 1, 2024 06:37 5m 1s
August 1, 2024 06:37 5m 1s
preparing Trocq to add prop Nix CI for bundle default #182: Pull request #9 synchronize by amahboubi
July 30, 2024 09:20 5m 51s
July 30, 2024 09:20 5m 51s
preparing Trocq to add prop Nix CI for bundle default #181: Pull request #9 synchronize by amahboubi
July 27, 2024 22:12 6m 14s
July 27, 2024 22:12 6m 14s
preparing Trocq to add prop Nix CI for bundle default #180: Pull request #9 synchronize by amahboubi
July 26, 2024 21:29 6m 23s
July 26, 2024 21:29 6m 23s
updating README Nix CI for bundle default #179: Commit d417b00 pushed by amahboubi
July 26, 2024 20:30 4m 50s master
master
July 26, 2024 20:30 4m 50s
pages build and deployment pages-build-deployment #10: by amahboubi
July 26, 2024 20:30 25s master
master
July 26, 2024 20:30 25s
preparing Trocq to add prop Nix CI for bundle default #178: Pull request #9 synchronize by CohenCyril
July 19, 2024 17:02 5m 51s
July 19, 2024 17:02 5m 51s
preparing Trocq to add prop Nix CI for bundle default #177: Pull request #9 synchronize by CohenCyril
July 19, 2024 16:56 5m 51s
July 19, 2024 16:56 5m 51s
preparing Trocq to add prop Nix CI for bundle default #176: Pull request #9 synchronize by CohenCyril
July 18, 2024 08:25 4m 38s
July 18, 2024 08:25 4m 38s
preparing Trocq to add prop Nix CI for bundle default #175: Pull request #9 synchronize by CohenCyril
July 17, 2024 15:23 26m 16s
July 17, 2024 15:23 26m 16s
preparing Trocq to add prop Nix CI for bundle default #174: Pull request #9 synchronize by CohenCyril
July 17, 2024 15:20 28m 16s
July 17, 2024 15:20 28m 16s
preparing Trocq to add prop Nix CI for bundle default #173: Pull request #9 synchronize by CohenCyril
July 10, 2024 06:47 4m 20s
July 10, 2024 06:47 4m 20s
preparing Trocq to add prop Nix CI for bundle default #172: Pull request #9 synchronize by CohenCyril
July 10, 2024 06:42 4m 23s
July 10, 2024 06:42 4m 23s
preparing Trocq to add prop Nix CI for bundle default #171: Pull request #9 synchronize by CohenCyril
July 3, 2024 09:10 4m 20s
July 3, 2024 09:10 4m 20s
Better examples about reduction modulo p (#36) Nix CI for bundle default #170: Commit e070818 pushed by CohenCyril
April 22, 2024 12:56 4m 20s master
master
April 22, 2024 12:56 4m 20s