Skip to content

Actions: math-comp/real-closed

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
277 workflow runs
277 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix the level of postfix notations Docker CI #119: Pull request #82 opened by zhou31416
Action required zhou31416:master
zhou31416:master
Action required
Fix the level of postfix notations Nix CI for bundle 9.0 #42: Pull request #82 opened by zhou31416
7m 2s
7m 2s
Fix the level of postfix notations Nix CI for bundle master #108: Pull request #82 opened by zhou31416
35m 5s
35m 5s
Fix the level of postfix notations Nix CI for bundle 9.1 #11: Pull request #82 opened by zhou31416
16m 21s
16m 21s
Merge pull request #81 from math-comp/mc1433 Nix CI for bundle 9.0 #41: Commit d2e1636 pushed by CohenCyril
7m 36s master
master
7m 36s
Merge pull request #81 from math-comp/mc1433 Nix CI for bundle master #107: Commit d2e1636 pushed by CohenCyril
13m 21s master
master
13m 21s
Merge pull request #81 from math-comp/mc1433 Nix CI for bundle 9.1 #10: Commit d2e1636 pushed by CohenCyril
10m 56s master
master
10m 56s
Merge pull request #81 from math-comp/mc1433 Docker CI #118: Commit d2e1636 pushed by CohenCyril
4m 52s master
master
4m 52s
Adapt to math-comp/math-comp#1433 Docker CI #117: Pull request #81 synchronize by pi8027
4m 53s mc1433
mc1433
4m 53s
Adapt to math-comp/math-comp#1433 Nix CI for bundle 9.0 #40: Pull request #81 synchronize by pi8027
8m 36s
8m 36s
Adapt to math-comp/math-comp#1433 Nix CI for bundle 9.1 #9: Pull request #81 synchronize by pi8027
17m 59s
17m 59s
Adapt to math-comp/math-comp#1433 Nix CI for bundle master #106: Pull request #81 synchronize by pi8027
14m 8s
14m 8s
Adapt to math-comp/math-comp#1433 Docker CI #116: Pull request #81 opened by pi8027
3m 50s mc1433
mc1433
3m 50s
Adapt to math-comp/math-comp#1433 Nix CI for bundle 9.0 #39: Pull request #81 opened by pi8027
7m 21s
7m 21s
Adapt to math-comp/math-comp#1433 Nix CI for bundle 9.1 #8: Pull request #81 opened by pi8027
15m 13s
15m 13s
Adapt to math-comp/math-comp#1433 Nix CI for bundle master #105: Pull request #81 opened by pi8027
36m 14s
36m 14s
Merge pull request #76 from Tragicus/complex Nix CI for bundle 9.1 #7: Commit 94cb6a2 pushed by proux01
3m 55s master
master
3m 55s
Merge pull request #76 from Tragicus/complex Docker CI #115: Commit 94cb6a2 pushed by proux01
4m 2s master
master
4m 2s
Merge pull request #76 from Tragicus/complex Nix CI for bundle master #104: Commit 94cb6a2 pushed by proux01
32m 15s master
master
32m 15s
Merge pull request #76 from Tragicus/complex Nix CI for bundle 9.0 #38: Commit 94cb6a2 pushed by proux01
3m 9s master
master
3m 9s
Correct instances on Rcomplex Docker CI #114: Pull request #76 synchronize by proux01
6m 11s Tragicus:complex
Tragicus:complex
6m 11s
Correct instances on Rcomplex Nix CI for bundle 9.0 #37: Pull request #76 synchronize by proux01
11m 14s
11m 14s
Correct instances on Rcomplex Nix CI for bundle master #103: Pull request #76 synchronize by proux01
41m 24s
41m 24s
Correct instances on Rcomplex Nix CI for bundle 9.1 #6: Pull request #76 synchronize by proux01
22m 12s
22m 12s
Merge pull request #80 from proux01/drop820 Nix CI for bundle 9.1 #5: Commit c51181b pushed by proux01
13m 55s master
master
13m 55s