Skip to content

Actions: coq-community/trocq

Actions

Nix CI for bundle default

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-default.yml
186 workflow runs
186 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
Better examples about reduction modulo p Nix CI for bundle default #169: Pull request #36 synchronize by CohenCyril
March 29, 2024 08:05 4m 38s
March 29, 2024 08:05 4m 38s
Better examples about reduction modulo p Nix CI for bundle default #168: Pull request #36 synchronize by amahboubi
March 28, 2024 18:25 4m 19s
March 28, 2024 18:25 4m 19s
Better examples about reduction modulo p Nix CI for bundle default #167: Pull request #36 synchronize by CohenCyril
March 28, 2024 15:51 4m 49s
March 28, 2024 15:51 4m 49s
Better examples about reduction modulo p Nix CI for bundle default #166: Pull request #36 opened by CohenCyril
March 28, 2024 15:50 4m 22s
March 28, 2024 15:50 4m 22s
preparing Trocq to add prop Nix CI for bundle default #165: Pull request #9 synchronize by CohenCyril
March 15, 2024 09:21 4m 16s
March 15, 2024 09:21 4m 16s
preparing Trocq to add prop Nix CI for bundle default #164: Pull request #9 synchronize by CohenCyril
March 7, 2024 13:25 4m 41s
March 7, 2024 13:25 4m 41s
Example with refinements Nix CI for bundle default #163: Pull request #35 synchronize by CohenCyril
February 9, 2024 15:38 10m 43s
February 9, 2024 15:38 10m 43s
Example with refinements Nix CI for bundle default #162: Pull request #35 opened by ecranceMERCE
February 1, 2024 16:16 5m 49s
February 1, 2024 16:16 5m 49s