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

Sets: use ≗ Ubuntu build #428: Pull request #421 opened by Taneb
June 2, 2024 13:49 1m 48s sets-other-equality
sets-other-equality
June 2, 2024 13:49 1m 48s
More dagger category theory Ubuntu build #427: Pull request #420 synchronize by Taneb
May 29, 2024 08:07 15m 10s dagger-functors
dagger-functors
May 29, 2024 08:07 15m 10s
More dagger category theory Ubuntu build #426: Pull request #420 synchronize by Taneb
May 29, 2024 07:45 15m 28s dagger-functors
dagger-functors
May 29, 2024 07:45 15m 28s
More dagger category theory Ubuntu build #425: Pull request #420 synchronize by Taneb
May 29, 2024 07:40 14m 58s dagger-functors
dagger-functors
May 29, 2024 07:40 14m 58s
More dagger category theory Ubuntu build #424: Pull request #420 synchronize by Taneb
May 28, 2024 19:23 1m 36s dagger-functors
dagger-functors
May 28, 2024 19:23 1m 36s
More dagger category theory Ubuntu build #423: Pull request #420 opened by Taneb
May 27, 2024 13:28 1m 29s dagger-functors
dagger-functors
May 27, 2024 13:28 1m 29s
pages build and deployment pages-build-deployment #46: by github-pages bot
May 26, 2024 15:21 38s gh-pages
gh-pages
May 26, 2024 15:21 38s
Merge pull request #418 from Reijix/restriction-order Ubuntu build #422: Commit 429cd39 pushed by JacquesCarette
May 26, 2024 15:20 1m 28s master
master
May 26, 2024 15:20 1m 28s
Restriction Order Ubuntu build #421: Pull request #418 opened by Reijix
May 23, 2024 10:34 1m 41s Reijix:restriction-order
Reijix:restriction-order
May 23, 2024 10:34 1m 41s
Merge pull request #416 from agda/dependabot/github_actions/JamesIves… Ubuntu build #420: Commit 87360d6 pushed by JacquesCarette
May 21, 2024 00:49 38m 6s master
master
May 21, 2024 00:49 38m 6s
Bump JamesIves/github-pages-deploy-action from 4.6.0 to 4.6.1 Ubuntu build #419: Pull request #416 opened by dependabot bot
May 20, 2024 07:12 38m 42s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.1
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.1
May 20, 2024 07:12 38m 42s
Merge pull request #415 from agda/dependabot/github_actions/JamesIves… Ubuntu build #418: Commit dc2a5bd pushed by JacquesCarette
May 3, 2024 00:31 39m 24s master
master
May 3, 2024 00:31 39m 24s
Bump JamesIves/github-pages-deploy-action from 4.5.0 to 4.6.0 Ubuntu build #417: Pull request #415 opened by dependabot bot
April 18, 2024 07:22 38m 34s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.0
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.0
April 18, 2024 07:22 38m 34s
pages build and deployment pages-build-deployment #45: by github-pages bot
April 3, 2024 18:51 45s gh-pages
gh-pages
April 3, 2024 18:51 45s
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
pages build and deployment pages-build-deployment #43: by github-pages bot
February 2, 2024 13:30 45s gh-pages
gh-pages
February 2, 2024 13:30 45s
Merge pull request #411 from Reijix/setoid-stdlib Ubuntu build #402: Commit 944a487 pushed by JacquesCarette
February 2, 2024 13:19 11m 8s master
master
February 2, 2024 13:19 11m 8s
Use definitions from stdlib Ubuntu build #401: Pull request #411 opened by Reijix
February 2, 2024 13:01 11m 26s Reijix:setoid-stdlib
Reijix:setoid-stdlib
February 2, 2024 13:01 11m 26s
pages build and deployment with artifacts-next pages-build-deployment #42: by github-pages bot
January 28, 2024 14:22 42s gh-pages
gh-pages
January 28, 2024 14:22 42s
ProTip! You can narrow down the results and go further in time using created:<2024-01-28 or the other filters available.