Skip to content

Actions: math-comp/real-closed

Actions

Nix CI for bundle 8.19

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.19.yml
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

adapt to mc#1256 Nix CI for bundle 8.19 #28: Pull request #64 opened by Tragicus
November 4, 2024 13:55 6m 59s
November 4, 2024 13:55 6m 59s
adapt to MC#1258 Nix CI for bundle 8.19 #27: Pull request #63 opened by Tragicus
September 11, 2024 15:03 17m 10s
September 11, 2024 15:03 17m 10s
Merge pull request #62 from Tragicus/pr1256 Nix CI for bundle 8.19 #26: Commit 21062a5 pushed by CohenCyril
August 14, 2024 21:40 4m 29s master
master
August 14, 2024 21:40 4m 29s
adapt to MC#1256 Nix CI for bundle 8.19 #25: Pull request #62 synchronize by CohenCyril
August 14, 2024 14:09 21m 54s Tragicus:pr1256
Tragicus:pr1256
August 14, 2024 14:09 21m 54s
adapt to MC#1256 Nix CI for bundle 8.19 #24: Pull request #62 synchronize by CohenCyril
August 14, 2024 14:09 21m 43s
August 14, 2024 14:09 21m 43s
adapt to MC#1256 Nix CI for bundle 8.19 #23: Pull request #62 synchronize by Tragicus
August 5, 2024 11:40 18m 35s
August 5, 2024 11:40 18m 35s
adapt to MC#1256 Nix CI for bundle 8.19 #22: Pull request #62 opened by Tragicus
August 5, 2024 11:17 40m 43s
August 5, 2024 11:17 40m 43s
Merge pull request #61 from math-comp/cleanup-require-imports Nix CI for bundle 8.19 #21: Commit 9472b06 pushed by proux01
July 15, 2024 16:20 8m 58s master
master
July 15, 2024 16:20 8m 58s
Clean up the Require Import lists Nix CI for bundle 8.19 #20: Pull request #61 synchronize by pi8027
July 9, 2024 11:34 20m 11s cleanup-require-imports
cleanup-require-imports
July 9, 2024 11:34 20m 11s
Clean up the Require Import lists Nix CI for bundle 8.19 #19: Pull request #61 synchronize by pi8027
July 9, 2024 11:34 20m 47s
July 9, 2024 11:34 20m 47s
Clean up the Require Import lists Nix CI for bundle 8.19 #18: Pull request #61 synchronize by pi8027
July 8, 2024 11:51 4m 53s
July 8, 2024 11:51 4m 53s
Clean up the Require Import lists Nix CI for bundle 8.19 #17: Pull request #61 synchronize by pi8027
July 8, 2024 11:28 17m 52s
July 8, 2024 11:28 17m 52s
Clean up the Require Import lists Nix CI for bundle 8.19 #16: Pull request #61 synchronize by pi8027
July 3, 2024 13:34 49m 21s
July 3, 2024 13:34 49m 21s
Clean up the Require Import lists Nix CI for bundle 8.19 #15: Pull request #61 opened by pi8027
July 3, 2024 13:21 5m 7s
July 3, 2024 13:21 5m 7s
Merge pull request #60 from math-comp/fix-and-update Nix CI for bundle 8.19 #14: Commit 73e068a pushed by CohenCyril
April 3, 2024 10:41 3m 46s master
master
April 3, 2024 10:41 3m 46s
Deprecation warning for rolle, mvt, etc and properly testing Abel Nix CI for bundle 8.19 #13: Pull request #60 synchronize by CohenCyril
April 2, 2024 22:50 18m 51s fix-and-update
fix-and-update
April 2, 2024 22:50 18m 51s
Deprecation warning for rolle, mvt, etc and properly testing Abel Nix CI for bundle 8.19 #12: Pull request #60 synchronize by CohenCyril
April 2, 2024 22:50 19m 16s
April 2, 2024 22:50 19m 16s
Deprecation warning for rolle, mvt, etc and properly testing Abel Nix CI for bundle 8.19 #11: Pull request #60 opened by CohenCyril
April 2, 2024 22:14 20m 21s
April 2, 2024 22:14 20m 21s
Deprecation warning for rolle, mvt, etc and properly testing Abel Nix CI for bundle 8.19 #10: Pull request #60 opened by CohenCyril
April 2, 2024 22:14 21m 7s fix-and-update
fix-and-update
April 2, 2024 22:14 21m 7s
Merge pull request #59 from CohenCyril/refactor Nix CI for bundle 8.19 #9: Commit c265c5f pushed by CohenCyril
March 26, 2024 17:26 4m 10s master
master
March 26, 2024 17:26 4m 10s
Simplifications, phase 1 Nix CI for bundle 8.19 #8: Pull request #59 synchronize by CohenCyril
March 26, 2024 16:06 46m 59s
March 26, 2024 16:06 46m 59s
Simplifications, phase 1 Nix CI for bundle 8.19 #7: Pull request #59 synchronize by CohenCyril
March 26, 2024 16:01 50m 3s
March 26, 2024 16:01 50m 3s
Simplifications, phase 1 Nix CI for bundle 8.19 #6: Pull request #59 synchronize by CohenCyril
March 26, 2024 15:33 55m 50s
March 26, 2024 15:33 55m 50s
Simplifications, phase 1 Nix CI for bundle 8.19 #5: Pull request #59 synchronize by CohenCyril
March 26, 2024 15:22 20m 54s
March 26, 2024 15:22 20m 54s
Simplifications, phase 1 Nix CI for bundle 8.19 #4: Pull request #59 synchronize by CohenCyril
March 26, 2024 00:25 36m 27s
March 26, 2024 00:25 36m 27s