Skip to content

Actions: math-comp/real-closed

Actions

Nix CI for bundle master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-master.yml
40 workflow runs
40 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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