Skip to content

Actions: agda/agda-categories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
536 workflow runs
536 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
github_actions in /. - Update #1618857744 Dependabot Updates #642: by dependabot Bot
41s master
master
41s
github_actions in /. - Update #1616822055 Dependabot Updates #641: by dependabot Bot
1m 0s master
master
1m 0s
github_actions in /. - Update #1614679483 Dependabot Updates #640: by dependabot Bot
50s master
master
50s
github_actions in /. - Update #1612360563 Dependabot Updates #639: by dependabot Bot
52s master
master
52s
github_actions in /. - Update #1609415334 Dependabot Updates #638: by dependabot Bot
1m 13s master
master
1m 13s
github_actions in /. - Update #1604673605 Dependabot Updates #637: by dependabot Bot
45s master
master
45s
github_actions in /. - Update #1602007002 Dependabot Updates #636: by dependabot Bot
46s master
master
46s
Add ⊗-resp-Iso to monoidal utilities Ubuntu build #758: Pull request #555 opened by Taneb
16m 7s x-resp-Iso
x-resp-Iso
16m 7s
github_actions in /. - Update #1599560500 Dependabot Updates #635: by dependabot Bot
46s master
master
46s
github_actions in /. - Update #1597342012 Dependabot Updates #634: by dependabot Bot
50s master
master
50s
github_actions in /. - Update #1594584725 Dependabot Updates #633: by dependabot Bot
36s master
master
36s
github_actions in /. - Update #1591472755 Dependabot Updates #632: by dependabot Bot
35s master
master
35s
pages build and deployment pages-build-deployment #116: by github-pages Bot
47s gh-pages
gh-pages
47s
Merge pull request #554 from agda/closed-operators Ubuntu build #757: Commit d4a5656 pushed by JacquesCarette
13m 55s master
master
13m 55s
Remove fixity declarations for closed operators (for Agda 2.9.0) Ubuntu build #756: Pull request #554 opened by andreasabel
18m 48s closed-operators
closed-operators
18m 48s
github_actions in /. - Update #1589830534 Dependabot Updates #631: by dependabot Bot
47s master
master
47s
github_actions in /. - Update #1588423532 Dependabot Updates #630: by dependabot Bot
49s master
master
49s
github_actions in /. - Update #1587002091 Dependabot Updates #629: by dependabot Bot
48s master
master
48s
github_actions in /. - Update #1584837564 Dependabot Updates #628: by dependabot Bot
45s master
master
45s
github_actions in /. - Update #1581572436 Dependabot Updates #627: by dependabot Bot
44s master
master
44s
github_actions in /. - Update #1579873934 Dependabot Updates #626: by dependabot Bot
44s master
master
44s
github_actions in /. - Update #1578446047 Dependabot Updates #625: by dependabot Bot
49s master
master
49s
Improve typechecking for monoidal functor products Ubuntu build #755: Pull request #553 opened by jacquescomeaux
17m 20s jacquescomeaux:faster-typechecking
jacquescomeaux:faster-typechecking
17m 20s
github_actions in /. - Update #1577020184 Dependabot Updates #624: by dependabot Bot
1m 25s master
master
1m 25s
github_actions in /. - Update #1574832523 Dependabot Updates #623: by dependabot Bot
52s master
master
52s