Skip to content

Actions: mituharu/math-comp

Actions

Nix CI for bundle coq-master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-coq-master.yml
4 workflow runs
4 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-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-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 #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