Skip to content

Actions: agda/agda-categories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
542 workflow runs
542 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #1186661934 Dependabot Updates #433: by dependabot bot
33s master
master
33s
github_actions in /. - Update #1185672218 Dependabot Updates #432: by dependabot bot
37s master
master
37s
Clean up monoidal functor properties Ubuntu build #625: Pull request #492 synchronize by jacquescomeaux
13m 57s jacquescomeaux:monoidal-refactor
jacquescomeaux:monoidal-refactor
13m 57s
pages build and deployment pages-build-deployment #90: by github-pages bot
39s gh-pages
gh-pages
39s
Merge pull request #502 from agda/action-monad Ubuntu build #624: Commit 56790e4 pushed by JacquesCarette
16m 32s master
master
16m 32s
github_actions in /. - Update #1184845557 Dependabot Updates #431: by dependabot bot
34s master
master
34s
Add Action monad Ubuntu build #623: Pull request #502 synchronize by Taneb
16m 17s action-monad
action-monad
16m 17s
github_actions in /. - Update #1183936453 Dependabot Updates #430: by dependabot bot
37s master
master
37s
github_actions in /. - Update #1182358407 Dependabot Updates #429: by dependabot bot
30s master
master
30s
Merge pull request #496 from agda/dependabot/github_actions/actions/c… Ubuntu build #622: Commit 081c9f6 pushed by JacquesCarette
16m 15s master
master
16m 15s
Merge pull request #501 from agda/dependabot/github_actions/actions/c… Ubuntu build #621: Commit b118bd1 pushed by JacquesCarette
16m 36s master
master
16m 36s
Add Action monad Ubuntu build #620: Pull request #502 synchronize by Taneb
16m 17s action-monad
action-monad
16m 17s
Add Action monad Ubuntu build #619: Pull request #502 opened by Taneb
16m 6s action-monad
action-monad
16m 6s
Bump actions/cache from 4 to 5 Ubuntu build #618: Pull request #501 opened by dependabot bot
16m 45s dependabot/github_actions/actions/cache-5
dependabot/github_actions/actions/cache-5
16m 45s
github_actions in /. - Update #1180923541 Dependabot Updates #428: by dependabot bot
40s master
master
40s
pages build and deployment pages-build-deployment #89: by github-pages bot
42s gh-pages
gh-pages
42s
Merge pull request #500 from Taneb/F-resp-inverse Ubuntu build #617: Commit a4c1c49 pushed by JacquesCarette
16m 8s master
master
16m 8s
Add [_]-resp-inverse Ubuntu build #616: Pull request #500 opened by Taneb
16m 28s Taneb:F-resp-inverse
Taneb:F-resp-inverse
16m 28s
github_actions in /. - Update #1179970999 Dependabot Updates #427: by dependabot bot
31s master
master
31s
github_actions in /. - Update #1179144101 Dependabot Updates #426: by dependabot bot
34s master
master
34s
github_actions in /. - Update #1178278924 Dependabot Updates #425: by dependabot bot
35s master
master
35s
github_actions in /. - Update #1176666517 Dependabot Updates #424: by dependabot bot
34s master
master
34s
github_actions in /. - Update #1174907091 Dependabot Updates #423: by dependabot bot
33s master
master
33s
github_actions in /. - Update #1173779641 Dependabot Updates #422: by dependabot bot
33s master
master
33s
github_actions in /. - Update #1172774843 Dependabot Updates #421: by dependabot bot
34s master
master
34s