Skip to content

Actions: mituharu/math-comp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

removes a usage of the subst tactic, relying on idiomatic ssreflect Nix CI for bundle coq-8.19 #4: Pull request #1 synchronize by ybertot
March 29, 2024 14:07 2h 5m 5s
March 29, 2024 14:07 2h 5m 5s
removes a usage of the subst tactic, relying on idiomatic ssreflect Nix CI for bundle coq-8.18 #4: Pull request #1 synchronize by ybertot
March 29, 2024 14:07 1h 57m 19s
March 29, 2024 14:07 1h 57m 19s
removes a usage of the subst tactic, relying on idiomatic ssreflect Nix CI for bundle coq-master #4: Pull request #1 synchronize by ybertot
March 29, 2024 14:07 2h 6m 16s
March 29, 2024 14:07 2h 6m 16s
removes a usage of the subst tactic, relying on idiomatic ssreflect Nix CI for bundle coq-8.18 #3: Pull request #1 opened by ybertot
March 29, 2024 14:02 1h 48m 50s
March 29, 2024 14:02 1h 48m 50s
removes a usage of the subst tactic, relying on idiomatic ssreflect Nix CI for bundle coq-8.19 #3: Pull request #1 opened by ybertot
March 29, 2024 14:02 1h 46m 28s
March 29, 2024 14:02 1h 46m 28s
removes a usage of the subst tactic, relying on idiomatic ssreflect Nix CI for bundle coq-master #3: Pull request #1 opened by ybertot
March 29, 2024 14:02 1h 59m 33s
March 29, 2024 14:02 1h 59m 33s
Merge pull request #1186 from math-comp/count_sort Nix CI for bundle coq-master #2: Commit 2aeffe0 pushed by mituharu
March 23, 2024 05:46 1h 37m 16s master
master
March 23, 2024 05:46 1h 37m 16s
Merge pull request #1186 from math-comp/count_sort Nix CI for bundle coq-8.19 #2: Commit 2aeffe0 pushed by mituharu
March 23, 2024 05:46 9m 5s master
master
March 23, 2024 05:46 9m 5s
Merge pull request #1186 from math-comp/count_sort Nix CI for bundle coq-8.18 #2: Commit 2aeffe0 pushed by mituharu
March 23, 2024 05:46 10m 5s master
master
March 23, 2024 05:46 10m 5s
Merge pull request #1183 from proux01/doc_overlays Nix CI for bundle coq-8.19 #1: Commit 1441170 pushed by mituharu
March 22, 2024 03:39 35m 1s master
master
March 22, 2024 03:39 35m 1s
Merge pull request #1183 from proux01/doc_overlays Nix CI for bundle coq-8.18 #1: Commit 1441170 pushed by mituharu
March 22, 2024 03:39 35m 19s master
master
March 22, 2024 03:39 35m 19s
Merge pull request #1183 from proux01/doc_overlays Nix CI for bundle coq-master #1: Commit 1441170 pushed by mituharu
March 22, 2024 03:39 1h 45m 1s master
master
March 22, 2024 03:39 1h 45m 1s