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
183 workflow runs
183 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
📝 Doc: composition + begin refinement Nix CI for bundle default #161: Commit b1c881a pushed by ecranceMERCE
February 1, 2024 16:02 6m 15s master
master
February 1, 2024 16:02 6m 15s
📝 Associated doc on option->list Nix CI for bundle default #160: Commit 3a790c4 pushed by ecranceMERCE
January 31, 2024 22:31 5m 38s master
master
January 31, 2024 22:31 5m 38s
✨ Directed relation option->list Nix CI for bundle default #159: Commit 42061d2 pushed by ecranceMERCE
January 31, 2024 17:56 6m 12s master
master
January 31, 2024 17:56 6m 12s