Skip to content

Actions: agda/agda-categories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
311 workflow runs
311 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
ProTip! You can narrow down the results and go further in time using created:<2023-12-25 or the other filters available.