Skip to content

Actions: agda/agda-categories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
332 workflow runs
332 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #413 from agda/association-improvement Ubuntu build #416: Commit 09d9cae pushed by JacquesCarette
April 3, 2024 18:06 44m 41s master
master
April 3, 2024 18:06 44m 41s
Rename and expand Assoc4 reasoning combinators Ubuntu build #415: Pull request #413 synchronize by Taneb
April 3, 2024 08:27 38m 28s association-improvement
association-improvement
April 3, 2024 08:27 38m 28s
Rename and expand Assoc4 reasoning combinators Ubuntu build #414: Pull request #413 opened by Taneb
March 14, 2024 09:40 16m 33s association-improvement
association-improvement
March 14, 2024 09:40 16m 33s
pages build and deployment pages-build-deployment #44: by github-pages bot
March 13, 2024 20:05 43s gh-pages
gh-pages
March 13, 2024 20:05 43s
Merge pull request #412 from 4e554c4c/monads-comonads Ubuntu build #413: Commit 956862e pushed by JacquesCarette
March 13, 2024 19:26 39m 37s master
master
March 13, 2024 19:26 39m 37s
Add constructions for Monads and Comonads Ubuntu build #412: Pull request #412 synchronize by 4e554c4c
March 13, 2024 15:19 41m 9s 4e554c4c:monads-comonads
4e554c4c:monads-comonads
March 13, 2024 15:19 41m 9s
Add constructions for Monads and Comonads Ubuntu build #411: Pull request #412 synchronize by 4e554c4c
March 12, 2024 16:16 35m 16s 4e554c4c:monads-comonads
4e554c4c:monads-comonads
March 12, 2024 16:16 35m 16s
ProTip! You can narrow down the results and go further in time using created:<2024-03-12 or the other filters available.