Skip to content

Actions: math-comp/math-comp

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
4,270 workflow runs
4,270 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Work In Progress: adding forms and spectral theorems Nix CI for bundle coq-8.19 #337: Pull request #207 synchronize by affeldt-aist
May 29, 2024 14:41 19m 55s
May 29, 2024 14:41 19m 55s
Work In Progress: adding forms and spectral theorems Nix CI for bundle coq-master #2022: Pull request #207 synchronize by affeldt-aist
May 29, 2024 14:41 26m 45s
May 29, 2024 14:41 26m 45s
Work In Progress: adding forms and spectral theorems Nix CI for bundle coq-8.18 #608: Pull request #207 synchronize by affeldt-aist
May 29, 2024 14:41 21m 4s
May 29, 2024 14:41 21m 4s
Work In Progress: adding forms and spectral theorems Nix CI for bundle coq-8.18 #607: Pull request #207 synchronize by affeldt-aist
May 29, 2024 14:38 24m 37s
May 29, 2024 14:38 24m 37s
Work In Progress: adding forms and spectral theorems Nix CI for bundle coq-master #2021: Pull request #207 synchronize by affeldt-aist
May 29, 2024 14:38 4m 38s
May 29, 2024 14:38 4m 38s
Work In Progress: adding forms and spectral theorems Nix CI for bundle coq-8.19 #336: Pull request #207 synchronize by affeldt-aist
May 29, 2024 14:38 22m 35s
May 29, 2024 14:38 22m 35s
Sorted cat rcons mc1 (adds a lemma to reason by equivalence on paths cut in the middle) Nix CI for bundle coq-8.18 #606: Pull request #1218 opened by ybertot
May 27, 2024 13:41 1m 24s
May 27, 2024 13:41 1m 24s
Sorted cat rcons mc1 (adds a lemma to reason by equivalence on paths cut in the middle) Nix CI for bundle coq-8.19 #335: Pull request #1218 opened by ybertot
May 27, 2024 13:41 23m 17s
May 27, 2024 13:41 23m 17s
Sorted cat rcons mc1 (adds a lemma to reason by equivalence on paths cut in the middle) Nix CI for bundle coq-master #2020: Pull request #1218 opened by ybertot
May 27, 2024 13:41 25m 38s
May 27, 2024 13:41 25m 38s
Adds a lemma to reason by equivalence on paths cut in the middle Nix CI for bundle coq-8.18 #605: Pull request #1217 opened by ybertot
May 27, 2024 10:35 47m 50s
May 27, 2024 10:35 47m 50s
Adds a lemma to reason by equivalence on paths cut in the middle Nix CI for bundle coq-8.19 #334: Pull request #1217 opened by ybertot
May 27, 2024 10:35 46m 55s
May 27, 2024 10:35 46m 55s
Adds a lemma to reason by equivalence on paths cut in the middle Nix CI for bundle coq-master #2019: Pull request #1217 opened by ybertot
May 27, 2024 10:35 53m 22s
May 27, 2024 10:35 53m 22s
Merge pull request #1216 from jouvelot/big_mknat Nix CI for bundle coq-master #2018: Commit 6a2791d pushed by proux01
May 27, 2024 07:24 25m 42s master
master
May 27, 2024 07:24 25m 42s
Merge pull request #1216 from jouvelot/big_mknat Nix CI for bundle coq-8.18 #604: Commit 6a2791d pushed by proux01
May 27, 2024 07:24 24m 4s master
master
May 27, 2024 07:24 24m 4s
Merge pull request #1216 from jouvelot/big_mknat Nix CI for bundle coq-8.19 #333: Commit 6a2791d pushed by proux01
May 27, 2024 07:24 23m 7s master
master
May 27, 2024 07:24 23m 7s
pages build and deployment pages-build-deployment #266: by proux01
May 27, 2024 07:24 38s
May 27, 2024 07:24 38s
Adding big_mknat. Nix CI for bundle coq-master #2017: Pull request #1216 synchronize by proux01
May 26, 2024 13:28 53m 45s
May 26, 2024 13:28 53m 45s
Adding big_mknat. Nix CI for bundle coq-8.18 #603: Pull request #1216 synchronize by proux01
May 26, 2024 13:28 47m 57s
May 26, 2024 13:28 47m 57s
Adding big_mknat. Nix CI for bundle coq-8.19 #332: Pull request #1216 synchronize by proux01
May 26, 2024 13:28 45m 37s
May 26, 2024 13:28 45m 37s
Add semi-module and semi-algebra structures Nix CI for bundle coq-8.18 #602: Pull request #1125 synchronize by pi8027
May 23, 2024 13:28 17m 43s
May 23, 2024 13:28 17m 43s
Add semi-module and semi-algebra structures Nix CI for bundle coq-master #2016: Pull request #1125 synchronize by pi8027
May 23, 2024 13:28 22m 0s
May 23, 2024 13:28 22m 0s
Add semi-module and semi-algebra structures Nix CI for bundle coq-8.19 #331: Pull request #1125 synchronize by pi8027
May 23, 2024 13:28 14m 49s
May 23, 2024 13:28 14m 49s
Add semi-module and semi-algebra structures Nix CI for bundle coq-master #2015: Pull request #1125 synchronize by pi8027
May 23, 2024 12:21 21m 48s
May 23, 2024 12:21 21m 48s
Add semi-module and semi-algebra structures Nix CI for bundle coq-8.18 #601: Pull request #1125 synchronize by pi8027
May 23, 2024 12:21 15m 10s
May 23, 2024 12:21 15m 10s
Add semi-module and semi-algebra structures Nix CI for bundle coq-8.19 #330: Pull request #1125 synchronize by pi8027
May 23, 2024 12:21 13m 30s
May 23, 2024 12:21 13m 30s