Skip to content

Actions: jwiegley/category-theory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
124 workflow runs
124 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Define sites and sheaves CI #659: Pull request #135 synchronize by jwiegley
November 6, 2023 16:41 28m 28s johnw/sheaf
johnw/sheaf
November 6, 2023 16:41 28m 28s
Make the sheaf definition more succinct CI #658: Commit 856fdf6 pushed by jwiegley
November 6, 2023 16:41 21m 54s johnw/sheaf
johnw/sheaf
November 6, 2023 16:41 21m 54s
Define sites and sheaves CI #657: Pull request #135 synchronize by jwiegley
November 6, 2023 16:33 24m 12s johnw/sheaf
johnw/sheaf
November 6, 2023 16:33 24m 12s
Make the sheaf definition more succinct CI #656: Commit 606c390 pushed by jwiegley
November 6, 2023 16:33 29m 1s johnw/sheaf
johnw/sheaf
November 6, 2023 16:33 29m 1s
Merge pull request #134 from herbelin/master+closed-notation-level-0 CI #655: Commit cdf5afc pushed by jwiegley
November 6, 2023 15:48 27m 41s master
master
November 6, 2023 15:48 27m 41s
Define sites and sheaves CI #654: Pull request #135 opened by jwiegley
November 5, 2023 19:15 21m 51s johnw/sheaf
johnw/sheaf
November 5, 2023 19:15 21m 51s
Define sites and sheaves CI #653: Commit 29d7edf pushed by jwiegley
November 5, 2023 19:15 23m 0s johnw/sheaf
johnw/sheaf
November 5, 2023 19:15 23m 0s
Moving closed notations at level 0 in anticipation of the removal of the Coq fallback ignoring levels when nothing else applies. CI #652: Pull request #134 opened by herbelin
October 29, 2023 22:32 29m 5s herbelin:master+closed-notation-level-0
herbelin:master+closed-notation-level-0
October 29, 2023 22:32 29m 5s
Use 8.14 CI #651: Commit 1994905 pushed by jwiegley
September 23, 2023 00:46 33m 13s coq-8.14
coq-8.14
September 23, 2023 00:46 33m 13s
Use 8.17 CI #650: Commit 6bb150a pushed by jwiegley
September 23, 2023 00:46 38m 0s coq-8.17
coq-8.17
September 23, 2023 00:46 38m 0s
Use 8.15 CI #649: Commit 37df6eb pushed by jwiegley
September 23, 2023 00:46 30m 3s coq-8.15
coq-8.15
September 23, 2023 00:46 30m 3s
Use 8.18 CI #648: Commit 69166ff pushed by jwiegley
September 23, 2023 00:46 28m 10s coq-8.18
coq-8.18
September 23, 2023 00:46 28m 10s
Use 8.16 CI #647: Commit 626c1d6 pushed by jwiegley
September 23, 2023 00:46 25m 47s coq-8.16
coq-8.16
September 23, 2023 00:46 25m 47s
Merge pull request #133 from jwiegley/johnw/silence CI #646: Commit 4427c02 pushed by jwiegley
September 22, 2023 23:02 25m 9s master
master
September 22, 2023 23:02 25m 9s
Silence all warnings in Coq 8.18 CI #645: Pull request #133 synchronize by jwiegley
September 22, 2023 22:28 25m 57s johnw/silence
johnw/silence
September 22, 2023 22:28 25m 57s
Do not use :> in two places where it is unnecessary. CI #644: Commit c177ff7 pushed by jwiegley
September 22, 2023 22:28 22m 51s johnw/silence
johnw/silence
September 22, 2023 22:28 22m 51s
Silence all warnings in Coq 8.18 CI #643: Pull request #133 opened by jwiegley
September 22, 2023 22:20 18m 43s johnw/silence
johnw/silence
September 22, 2023 22:20 18m 43s
Silence all warnings in Coq 8.18 CI #642: Commit f27a280 pushed by jwiegley
September 22, 2023 22:20 15m 38s johnw/silence
johnw/silence
September 22, 2023 22:20 15m 38s
Use 8.14 CI #641: Commit 77f3d70 pushed by jwiegley
September 22, 2023 20:31 1h 19m 48s coq-8.14
coq-8.14
September 22, 2023 20:31 1h 19m 48s
Use 8.15 CI #640: Commit b64f982 pushed by jwiegley
September 22, 2023 20:31 1h 14m 23s coq-8.15
coq-8.15
September 22, 2023 20:31 1h 14m 23s
Use 8.18 CI #639: Commit 0019107 pushed by jwiegley
September 22, 2023 20:31 1h 9m 5s coq-8.18
coq-8.18
September 22, 2023 20:31 1h 9m 5s
Use 8.16 CI #638: Commit e230dc3 pushed by jwiegley
September 22, 2023 20:31 1h 8m 50s coq-8.16
coq-8.16
September 22, 2023 20:31 1h 8m 50s