Skip to content

Actions: agda/agda-categories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
313 workflow runs
313 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #410 from Reijix/distributive Ubuntu build #400: Commit a1c797e pushed by JacquesCarette
January 28, 2024 14:11 10m 39s master
master
January 28, 2024 14:11 10m 39s
Right adjoint to Functor.Slice.Free Ubuntu build #399: Pull request #408 synchronize by Taneb
January 27, 2024 20:30 4m 48s MoreBaseChanges
MoreBaseChanges
January 27, 2024 20:30 4m 48s
Right adjoint to Functor.Slice.Free Ubuntu build #398: Pull request #408 synchronize by Taneb
January 27, 2024 19:53 2m 50s MoreBaseChanges
MoreBaseChanges
January 27, 2024 19:53 2m 50s
Properties of distributive categories Ubuntu build #397: Pull request #410 synchronize by Reijix
January 27, 2024 15:04 10m 54s Reijix:distributive
Reijix:distributive
January 27, 2024 15:04 10m 54s
Properties of distributive categories Ubuntu build #396: Pull request #410 opened by Reijix
January 25, 2024 15:35 10m 45s Reijix:distributive
Reijix:distributive
January 25, 2024 15:35 10m 45s
Right adjoint to Functor.Slice.Free Ubuntu build #395: Pull request #408 synchronize by Taneb
January 24, 2024 08:45 13m 39s MoreBaseChanges
MoreBaseChanges
January 24, 2024 08:45 13m 39s
pages build and deployment with artifacts-next pages-build-deployment #41: by github-pages bot
January 19, 2024 20:31 44s gh-pages
gh-pages
January 19, 2024 20:31 44s
Merge pull request #409 from agda/dependabot/github_actions/actions/c… Ubuntu build #394: Commit 9ece1e0 pushed by JacquesCarette
January 19, 2024 20:21 10m 28s master
master
January 19, 2024 20:21 10m 28s
Merge pull request #404 from Reijix/comm-monad Ubuntu build #393: Commit cc09b36 pushed by JacquesCarette
January 19, 2024 20:20 10m 56s master
master
January 19, 2024 20:20 10m 56s
Bump actions/cache from 3 to 4 Ubuntu build #392: Pull request #409 opened by dependabot bot
January 18, 2024 07:35 10m 26s dependabot/github_actions/actions/cache-4
dependabot/github_actions/actions/cache-4
January 18, 2024 07:35 10m 26s
[WIP] Commutative Monad Ubuntu build #391: Pull request #404 synchronize by sstucki
January 13, 2024 15:06 10m 40s Reijix:comm-monad
Reijix:comm-monad
January 13, 2024 15:06 10m 40s
Update README.md Ubuntu build #390: Commit 7bcf892 pushed by JacquesCarette
January 12, 2024 16:56 10m 40s master
master
January 12, 2024 16:56 10m 40s
Right adjoint to Functor.Slice.Free Ubuntu build #389: Pull request #408 synchronize by Taneb
January 10, 2024 12:53 10m 34s MoreBaseChanges
MoreBaseChanges
January 10, 2024 12:53 10m 34s
Right adjoint to Functor.Slice.Free Ubuntu build #388: Pull request #408 synchronize by Taneb
January 10, 2024 12:52 2m 17s MoreBaseChanges
MoreBaseChanges
January 10, 2024 12:52 2m 17s
Right adjoint to Functor.Slice.Free Ubuntu build #387: Pull request #408 opened by Taneb
January 10, 2024 07:33 10m 27s MoreBaseChanges
MoreBaseChanges
January 10, 2024 07:33 10m 27s
[WIP] Commutative Monad Ubuntu build #386: Pull request #404 synchronize by sstucki
January 7, 2024 00:27 10m 51s Reijix:comm-monad
Reijix:comm-monad
January 7, 2024 00:27 10m 51s
[WIP] Commutative Monad Ubuntu build #385: Pull request #404 synchronize by sstucki
January 6, 2024 23:34 8m 55s Reijix:comm-monad
Reijix:comm-monad
January 6, 2024 23:34 8m 55s
[WIP] Commutative Monad Ubuntu build #384: Pull request #404 synchronize by sstucki
January 6, 2024 23:28 8m 33s Reijix:comm-monad
Reijix:comm-monad
January 6, 2024 23:28 8m 33s
[WIP] Commutative Monad Ubuntu build #383: Pull request #404 synchronize by sstucki
January 6, 2024 21:49 8m 45s Reijix:comm-monad
Reijix:comm-monad
January 6, 2024 21:49 8m 45s
[WIP] Commutative Monad Ubuntu build #382: Pull request #404 synchronize by sstucki
January 6, 2024 18:13 8m 25s Reijix:comm-monad
Reijix:comm-monad
January 6, 2024 18:13 8m 25s
[WIP] Commutative Monad Ubuntu build #381: Pull request #404 synchronize by sstucki
January 6, 2024 18:10 8m 45s Reijix:comm-monad
Reijix:comm-monad
January 6, 2024 18:10 8m 45s
[WIP] Commutative Monad Ubuntu build #380: Pull request #404 synchronize by Reijix
January 2, 2024 21:15 8m 23s Reijix:comm-monad
Reijix:comm-monad
January 2, 2024 21:15 8m 23s
pages build and deployment pages-build-deployment #40: by github-pages bot
December 30, 2023 14:23 47s gh-pages
gh-pages
December 30, 2023 14:23 47s
Merge pull request #347 from agda/BaseChange Ubuntu build #379: Commit e5fef74 pushed by JacquesCarette
December 30, 2023 14:13 10m 17s master
master
December 30, 2023 14:13 10m 17s
pages build and deployment pages-build-deployment #39: by github-pages bot
December 29, 2023 14:59 44s gh-pages
gh-pages
December 29, 2023 14:59 44s
ProTip! You can narrow down the results and go further in time using created:<2023-12-29 or the other filters available.