Skip to content

Actions: jwiegley/category-theory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
121 workflow runs
121 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplify two definitions CI #686: Commit 5336ee1 pushed by jwiegley
January 30, 2024 23:51 19m 17s johnw/8.19
johnw/8.19
January 30, 2024 23:51 19m 17s
Use 8.19 CI #685: Pull request #140 synchronize by jwiegley
January 30, 2024 22:08 19m 45s johnw/8.19
johnw/8.19
January 30, 2024 22:08 19m 45s
Another attempt at being more specific CI #684: Commit 9a17d8b pushed by jwiegley
January 30, 2024 22:08 19m 11s johnw/8.19
johnw/8.19
January 30, 2024 22:08 19m 11s
Use 8.19 CI #683: Pull request #140 synchronize by jwiegley
January 30, 2024 21:49 19m 14s johnw/8.19
johnw/8.19
January 30, 2024 21:49 19m 14s
More fixes CI #682: Commit 48ea563 pushed by jwiegley
January 30, 2024 21:49 19m 28s johnw/8.19
johnw/8.19
January 30, 2024 21:49 19m 28s
Use 8.19 CI #681: Pull request #140 synchronize by jwiegley
January 30, 2024 21:37 19m 16s johnw/8.19
johnw/8.19
January 30, 2024 21:37 19m 16s
Another attempt at fixing the counit problem for coq:dev CI #680: Commit a67a044 pushed by jwiegley
January 30, 2024 21:37 19m 43s johnw/8.19
johnw/8.19
January 30, 2024 21:37 19m 43s
Use 8.19 CI #679: Pull request #140 synchronize by jwiegley
January 30, 2024 20:56 19m 12s johnw/8.19
johnw/8.19
January 30, 2024 20:56 19m 12s
Another fix to the check script CI #678: Commit 4501fb3 pushed by jwiegley
January 30, 2024 20:56 19m 12s johnw/8.19
johnw/8.19
January 30, 2024 20:56 19m 12s
Use 8.19 CI #677: Pull request #140 synchronize by jwiegley
January 30, 2024 20:02 19m 15s johnw/8.19
johnw/8.19
January 30, 2024 20:02 19m 15s
Make a use of counit more explicit CI #676: Commit e2d060b pushed by jwiegley
January 30, 2024 20:02 19m 5s johnw/8.19
johnw/8.19
January 30, 2024 20:02 19m 5s
Use 8.19 CI #675: Pull request #140 synchronize by jwiegley
January 30, 2024 19:47 19m 6s johnw/8.19
johnw/8.19
January 30, 2024 19:47 19m 6s
Update OPAM file for 8.19 CI #674: Commit 26eb688 pushed by jwiegley
January 30, 2024 19:47 19m 46s johnw/8.19
johnw/8.19
January 30, 2024 19:47 19m 46s
Use 8.19 CI #673: Pull request #140 synchronize by jwiegley
January 30, 2024 19:33 19m 33s johnw/8.19
johnw/8.19
January 30, 2024 19:33 19m 33s
Update check script CI #672: Commit 17bdf54 pushed by jwiegley
January 30, 2024 19:33 19m 17s johnw/8.19
johnw/8.19
January 30, 2024 19:33 19m 17s
Use 8.19 CI #671: Pull request #140 opened by jwiegley
January 30, 2024 19:27 19m 13s johnw/8.19
johnw/8.19
January 30, 2024 19:27 19m 13s
Use 8.19 CI #670: Commit 303c221 pushed by jwiegley
January 30, 2024 19:26 19m 17s johnw/8.19
johnw/8.19
January 30, 2024 19:26 19m 17s
Merge pull request #137 from herbelin/master+adapt-coq-pr18445-fix-ap… CI #669: Commit e50af05 pushed by jwiegley
January 9, 2024 17:31 19m 8s master
master
January 9, 2024 17:31 19m 8s
Adapt to Coq PR #18445, that fixes an issue with multiple signatures of implicit arguments for notations CI #668: Pull request #137 opened by herbelin
January 4, 2024 10:47 19m 11s herbelin:master+adapt-coq-pr18445-fix-applied-notations-multiple-implicit
herbelin:master+adapt-coq-pr18445-fix-applied-notations-multiple-implicit
January 4, 2024 10:47 19m 11s
Merge remote-tracking branch 'origin/master' into coq-8.14 CI #665: Commit 11c6789 pushed by jwiegley
November 13, 2023 17:47 27m 52s coq-8.14
coq-8.14
November 13, 2023 17:47 27m 52s
Merge remote-tracking branch 'origin/master' into coq-8.16 CI #664: Commit 993bfec pushed by jwiegley
November 13, 2023 17:47 19m 36s coq-8.16
coq-8.16
November 13, 2023 17:47 19m 36s
Merge remote-tracking branch 'origin/master' into coq-8.15 CI #663: Commit aa21fb3 pushed by jwiegley
November 13, 2023 17:47 22m 59s coq-8.15
coq-8.15
November 13, 2023 17:47 22m 59s
Merge remote-tracking branch 'origin/master' into coq-8.17 CI #662: Commit 2aaea15 pushed by jwiegley
November 13, 2023 17:47 32m 12s coq-8.17
coq-8.17
November 13, 2023 17:47 32m 12s
Merge remote-tracking branch 'origin/master' into coq-8.18 CI #661: Commit 6c7e2c5 pushed by jwiegley
November 13, 2023 17:47 24m 3s coq-8.18
coq-8.18
November 13, 2023 17:47 24m 3s
Merge pull request #135 from jwiegley/johnw/sheaf CI #660: Commit 41ab38d pushed by jwiegley
November 6, 2023 21:48 24m 13s master
master
November 6, 2023 21:48 24m 13s