Skip to content

Actions: agda/agda-categories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
289 workflow runs
289 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
Revert a revert, because the changes were supposed to go in! I just Ubuntu build #378: Commit 85ecdcf pushed by JacquesCarette
December 29, 2023 14:49 10m 45s master
master
December 29, 2023 14:49 10m 45s
Revert "change definition of function sets equality to not build-in c… Ubuntu build #377: Commit c9a31ec pushed by JacquesCarette
December 28, 2023 22:10 1m 30s master
master
December 28, 2023 22:10 1m 30s
change definition of function sets equality to not build-in cong ( Ubuntu build #376: Pull request #407 opened by JacquesCarette
December 28, 2023 22:09 10m 50s change-function-setoid
change-function-setoid
December 28, 2023 22:09 10m 50s
pages build and deployment pages-build-deployment #38: by github-pages bot
December 26, 2023 01:27 52s gh-pages
gh-pages
December 26, 2023 01:27 52s
Merge pull request #406 from agda/bump-stdlib-2.0 Ubuntu build #375: Commit aee4189 pushed by JacquesCarette
December 26, 2023 00:49 38m 34s master
master
December 26, 2023 00:49 38m 34s
Bump stdlib to 2.0 Ubuntu build #374: Pull request #406 synchronize by JacquesCarette
December 25, 2023 19:51 15m 10s bump-stdlib-2.0
bump-stdlib-2.0
December 25, 2023 19:51 15m 10s
Bump stdlib to 2.0 Ubuntu build #373: Pull request #406 synchronize by JacquesCarette
December 25, 2023 16:47 15m 38s bump-stdlib-2.0
bump-stdlib-2.0
December 25, 2023 16:47 15m 38s
Bump stdlib to 2.0 Ubuntu build #372: Pull request #406 synchronize by JacquesCarette
December 22, 2023 04:02 38m 0s bump-stdlib-2.0
bump-stdlib-2.0
December 22, 2023 04:02 38m 0s
Bump stdlib to 2.0 Ubuntu build #371: Pull request #406 synchronize by JacquesCarette
December 22, 2023 00:50 32m 34s bump-stdlib-2.0
bump-stdlib-2.0
December 22, 2023 00:50 32m 34s
Bump stdlib to 2.0 Ubuntu build #370: Pull request #406 synchronize by JacquesCarette
December 22, 2023 00:48 21m 16s bump-stdlib-2.0
bump-stdlib-2.0
December 22, 2023 00:48 21m 16s
Bump stdlib to 2.0 Ubuntu build #369: Pull request #406 synchronize by JacquesCarette
December 21, 2023 20:22 20m 19s bump-stdlib-2.0
bump-stdlib-2.0
December 21, 2023 20:22 20m 19s
Bump stdlib to 2.0 Ubuntu build #368: Pull request #406 synchronize by JacquesCarette
December 21, 2023 19:56 20m 43s bump-stdlib-2.0
bump-stdlib-2.0
December 21, 2023 19:56 20m 43s
Bump stdlib to 2.0 Ubuntu build #367: Pull request #406 synchronize by JacquesCarette
December 21, 2023 03:47 23s bump-stdlib-2.0
bump-stdlib-2.0
December 21, 2023 03:47 23s
Bump stdlib to 2.0 Ubuntu build #366: Pull request #406 synchronize by Taneb
December 16, 2023 09:33 18s bump-stdlib-2.0
bump-stdlib-2.0
December 16, 2023 09:33 18s
Bump stdlib to 2.0 Ubuntu build #365: Pull request #406 synchronize by Taneb
December 16, 2023 09:31 26s bump-stdlib-2.0
bump-stdlib-2.0
December 16, 2023 09:31 26s
Bump stdlib to 2.0 Ubuntu build #364: Pull request #406 synchronize by Taneb
December 16, 2023 05:44 16s bump-stdlib-2.0
bump-stdlib-2.0
December 16, 2023 05:44 16s
Bump stdlib to 2.0 Ubuntu build #363: Pull request #406 synchronize by Taneb
December 16, 2023 05:38 22s bump-stdlib-2.0
bump-stdlib-2.0
December 16, 2023 05:38 22s
Bump stdlib to 2.0 Ubuntu build #362: Pull request #406 synchronize by Taneb
December 16, 2023 04:52 19s bump-stdlib-2.0
bump-stdlib-2.0
December 16, 2023 04:52 19s
ProTip! You can narrow down the results and go further in time using created:<2023-12-16 or the other filters available.