Skip to content

Actions: jwiegley/category-theory

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-ci.yml
89 workflow runs
89 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Switch to a flake-based Nix build CI #718: Commit f5a4aaa pushed by jwiegley
July 11, 2024 20:39 29m 52s johnw/flake
johnw/flake
July 11, 2024 20:39 29m 52s
Switch to a flake-based Nix build CI #717: Pull request #145 synchronize by jwiegley
July 11, 2024 20:38 25m 2s johnw/flake
johnw/flake
July 11, 2024 20:38 25m 2s
Switch to a flake-based Nix build CI #716: Commit dc9e4d7 pushed by jwiegley
July 11, 2024 20:38 19m 18s johnw/flake
johnw/flake
July 11, 2024 20:38 19m 18s
Switch to a flake-based Nix build CI #715: Pull request #145 opened by jwiegley
July 11, 2024 20:35 19m 41s johnw/flake
johnw/flake
July 11, 2024 20:35 19m 41s
Switch to a flake-based Nix build CI #714: Commit 9eaca5d pushed by jwiegley
July 11, 2024 20:35 19m 28s johnw/flake
johnw/flake
July 11, 2024 20:35 19m 28s
Adapt w.r.t. coq/coq#18910. CI #712: Commit f8295f0 pushed by jwiegley
April 10, 2024 18:45 20m 24s master
master
April 10, 2024 18:45 20m 24s
Adapt w.r.t. coq/coq#18910. CI #711: Pull request #143 opened by ppedrot
April 8, 2024 06:31 19m 20s ppedrot:setoid-type-core-tc-opaque
ppedrot:setoid-type-core-tc-opaque
April 8, 2024 06:31 19m 20s
Merge pull request #136 from t-wissmann/master CI #710: Commit 07f092d pushed by jwiegley
March 28, 2024 18:13 37m 45s master
master
March 28, 2024 18:13 37m 45s
Merge pull request #142 from jwiegley/johnw/cayley CI #709: Commit b36a2a2 pushed by jwiegley
March 28, 2024 18:12 28m 34s master
master
March 28, 2024 18:12 28m 34s
Notational simplifications in Cayley.v CI #708: Pull request #142 opened by jwiegley
March 26, 2024 21:31 29m 13s johnw/cayley
johnw/cayley
March 26, 2024 21:31 29m 13s
Notational simplifications in Cayley.v CI #707: Commit e11f4b5 pushed by jwiegley
March 26, 2024 21:31 28m 42s johnw/cayley
johnw/cayley
March 26, 2024 21:31 28m 42s
Merge remote-tracking branch 'origin/master' into coq-8.18 CI #706: Commit 0f9b3f2 pushed by jwiegley
January 31, 2024 02:00 38m 48s coq-8.18
coq-8.18
January 31, 2024 02:00 38m 48s
Merge remote-tracking branch 'origin/master' into coq-8.17 CI #705: Commit 3bfc550 pushed by jwiegley
January 31, 2024 02:00 34m 21s coq-8.17
coq-8.17
January 31, 2024 02:00 34m 21s
Merge remote-tracking branch 'origin/master' into coq-8.16 CI #704: Commit ba58843 pushed by jwiegley
January 31, 2024 02:00 29m 35s coq-8.16
coq-8.16
January 31, 2024 02:00 29m 35s
Merge remote-tracking branch 'origin/master' into coq-8.15 CI #703: Commit 1654bbc pushed by jwiegley
January 31, 2024 02:00 24m 49s coq-8.15
coq-8.15
January 31, 2024 02:00 24m 49s
Merge remote-tracking branch 'origin/master' into coq-8.14 CI #702: Commit e9a0cae pushed by jwiegley
January 31, 2024 02:00 19m 46s coq-8.14
coq-8.14
January 31, 2024 02:00 19m 46s
Merge pull request #140 from jwiegley/johnw/8.19 CI #701: Commit 5ff107d pushed by jwiegley
January 31, 2024 01:56 19m 38s coq-8.19
coq-8.19
January 31, 2024 01:56 19m 38s
Merge pull request #140 from jwiegley/johnw/8.19 CI #700: Commit 5ff107d pushed by jwiegley
January 31, 2024 01:56 19m 55s master
master
January 31, 2024 01:56 19m 55s
Use 8.19 CI #699: Pull request #140 synchronize by jwiegley
January 31, 2024 01:10 19m 44s johnw/8.19
johnw/8.19
January 31, 2024 01:10 19m 44s
Be more explicit in Functor/Traversable/Product.v CI #698: Commit 3fe04f4 pushed by jwiegley
January 31, 2024 01:10 19m 23s johnw/8.19
johnw/8.19
January 31, 2024 01:10 19m 23s
Use 8.19 CI #697: Pull request #140 synchronize by jwiegley
January 31, 2024 00:57 20m 13s johnw/8.19
johnw/8.19
January 31, 2024 00:57 20m 13s
Be more explicit in Hom.v CI #696: Commit 284c4bd pushed by jwiegley
January 31, 2024 00:57 19m 4s johnw/8.19
johnw/8.19
January 31, 2024 00:57 19m 4s
Use 8.19 CI #695: Pull request #140 synchronize by jwiegley
January 31, 2024 00:47 19m 55s johnw/8.19
johnw/8.19
January 31, 2024 00:47 19m 55s
Make more uses explicit CI #694: Commit 4482ec2 pushed by jwiegley
January 31, 2024 00:46 19m 14s johnw/8.19
johnw/8.19
January 31, 2024 00:46 19m 14s
Use 8.19 CI #693: Pull request #140 synchronize by jwiegley
January 31, 2024 00:38 19m 7s johnw/8.19
johnw/8.19
January 31, 2024 00:38 19m 7s