Skip to content

Actions: agda/agda-categories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
554 workflow runs
554 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #489 from Reijix/addoptions Ubuntu build #606: Commit 3086096 pushed by JacquesCarette
15m 59s master
master
15m 59s
add missing options pragma Ubuntu build #605: Pull request #489 reopened by JacquesCarette
16m 5s Reijix:addoptions
Reijix:addoptions
16m 5s
Use glueTrianglesʳ in definition of _∘_ for slice categories Ubuntu build #604: Pull request #491 synchronize by Taneb
15m 57s slice-use-glue-triangles-r
slice-use-glue-triangles-r
15m 57s
add Pushout Colimit proofs Ubuntu build #603: Pull request #494 synchronize by zlqrvx
15m 50s zlqrvx:pushout-colimit
zlqrvx:pushout-colimit
15m 50s
pages build and deployment pages-build-deployment #84: by github-pages bot
44s gh-pages
gh-pages
44s
github_actions in / for JamesIves/github-pages-deploy-action - Update #1152372545 Dependabot Updates #408: by dependabot bot
21s master
master
21s
Bump CI to agda-2.8 and stdlib-2.3 Ubuntu build #602: Commit b2ab2fa pushed by andreasabel
16m 14s master
master
16m 14s
Bump CI to agda-2.8 and stdlib-2.3 Ubuntu build #601: Pull request #495 opened by andreasabel
15m 57s ci-2.8.0
ci-2.8.0
15m 57s
github_actions in /. - Update #1151747373 Dependabot Updates #407: by dependabot bot
26s master
master
26s
add Pushout Colimit proofs Ubuntu build #600: Pull request #494 synchronize by zlqrvx
20s zlqrvx:pushout-colimit
zlqrvx:pushout-colimit
20s
github_actions in /. - Update #1150818995 Dependabot Updates #406: by dependabot bot
30s master
master
30s
github_actions in /. - Update #1149854550 Dependabot Updates #405: by dependabot bot
28s master
master
28s
github_actions in /. - Update #1148990355 Dependabot Updates #404: by dependabot bot
33s master
master
33s
github_actions in /. - Update #1147271552 Dependabot Updates #403: by dependabot bot
30s master
master
30s
github_actions in /. - Update #1145872551 Dependabot Updates #402: by dependabot bot
30s master
master
30s
github_actions in /. - Update #1144960051 Dependabot Updates #401: by dependabot bot
30s master
master
30s
Bump JamesIves/github-pages-deploy-action from 4.7.3 to 4.7.4 Ubuntu build #598: Pull request #493 opened by dependabot bot
21s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.4
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.4
21s
github_actions in /. - Update #1143986188 Dependabot Updates #400: by dependabot bot
37s master
master
37s
Clean up monoidal functor properties Ubuntu build #597: Pull request #492 synchronize by jacquescomeaux
19s jacquescomeaux:monoidal-refactor
jacquescomeaux:monoidal-refactor
19s
Clean up monoidal functor properties Ubuntu build #596: Pull request #492 synchronize by jacquescomeaux
20s jacquescomeaux:monoidal-refactor
jacquescomeaux:monoidal-refactor
20s
github_actions in /. - Update #1143064713 Dependabot Updates #399: by dependabot bot
30s master
master
30s
Clean up monoidal functor properties Ubuntu build #595: Pull request #492 opened by jacquescomeaux
18s jacquescomeaux:monoidal-refactor
jacquescomeaux:monoidal-refactor
18s
github_actions in /. - Update #1141473592 Dependabot Updates #398: by dependabot bot
31s master
master
31s
github_actions in /. - Update #1139280619 Dependabot Updates #397: by dependabot bot
27s master
master
27s
Use glueTrianglesʳ in definition of _∘_ for slice categories Ubuntu build #594: Pull request #491 opened by Taneb
23s slice-use-glue-triangles-r
slice-use-glue-triangles-r
23s