Skip to content

Actions: agda/agda-categories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow run results
4 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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