Skip to content

Actions: agda/agda-categories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
283 workflow runs
283 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #890679467 Dependabot Updates #56: by dependabot bot
September 25, 2024 07:54 37s master
master
September 25, 2024 07:54 37s
github_actions in /. - Update #890068528 Dependabot Updates #55: by dependabot bot
September 24, 2024 07:58 41s master
master
September 24, 2024 07:58 41s
pages build and deployment pages-build-deployment #54: by github-pages bot
September 24, 2024 01:08 43s gh-pages
gh-pages
September 24, 2024 01:08 43s
Merge pull request #435 from jacquescomeaux/pushout-up-to-iso Ubuntu build #462: Commit 502d505 pushed by JacquesCarette
September 24, 2024 01:02 6m 12s master
master
September 24, 2024 01:02 6m 12s
github_actions in /. - Update #889125485 Dependabot Updates #54: by dependabot bot
September 23, 2024 07:55 34s master
master
September 23, 2024 07:55 34s
Add up-to-iso property for pushouts Ubuntu build #461: Pull request #435 synchronize by jacquescomeaux
September 22, 2024 02:26 5m 57s jacquescomeaux:pushout-up-to-iso
jacquescomeaux:pushout-up-to-iso
September 22, 2024 02:26 5m 57s
Add up-to-iso property for pushouts Ubuntu build #460: Pull request #435 opened by jacquescomeaux
September 22, 2024 02:25 5m 58s jacquescomeaux:pushout-up-to-iso
jacquescomeaux:pushout-up-to-iso
September 22, 2024 02:25 5m 58s
github_actions in /. - Update #888097636 Dependabot Updates #53: by dependabot bot
September 20, 2024 07:52 39s master
master
September 20, 2024 07:52 39s
github_actions in /. - Update #887459688 Dependabot Updates #52: by dependabot bot
September 19, 2024 07:27 36s master
master
September 19, 2024 07:27 36s
pages build and deployment pages-build-deployment #53: by github-pages bot
September 18, 2024 19:46 39s gh-pages
gh-pages
September 18, 2024 19:46 39s
Merge pull request #431 from jacquescomeaux/master Ubuntu build #459: Commit 9d27c77 pushed by JacquesCarette
September 18, 2024 19:40 6m 9s master
master
September 18, 2024 19:40 6m 9s
github_actions in /. - Update #886907819 Dependabot Updates #51: by dependabot bot
September 18, 2024 08:01 39s master
master
September 18, 2024 08:01 39s
github_actions in /. - Update #886014064 Dependabot Updates #50: by dependabot bot
September 17, 2024 07:33 38s master
master
September 17, 2024 07:33 38s
github_actions in /. - Update #885093262 Dependabot Updates #49: by dependabot bot
September 16, 2024 08:02 48s master
master
September 16, 2024 08:02 48s
github_actions in /. - Update #884206305 Dependabot Updates #48: by dependabot bot
September 13, 2024 07:41 41s master
master
September 13, 2024 07:41 41s
github_actions in /. - Update #883561061 Dependabot Updates #47: by dependabot bot
September 12, 2024 07:25 39s master
master
September 12, 2024 07:25 39s
pages build and deployment pages-build-deployment #52: by github-pages bot
September 11, 2024 18:36 41s gh-pages
gh-pages
September 11, 2024 18:36 41s
Merge pull request #434 from Reijix/pnno-tiny Ubuntu build #458: Commit d4dc701 pushed by JacquesCarette
September 11, 2024 18:34 1m 50s master
master
September 11, 2024 18:34 1m 50s
github_actions in /. - Update #882647808 Dependabot Updates #46: by dependabot bot
September 11, 2024 07:35 40s master
master
September 11, 2024 07:35 40s
Fix small oversight in NaturalNumbers.Parametrized Ubuntu build #457: Pull request #434 opened by Reijix
September 10, 2024 10:45 1m 38s Reijix:pnno-tiny
Reijix:pnno-tiny
September 10, 2024 10:45 1m 38s
github_actions in /. - Update #881892863 Dependabot Updates #45: by dependabot bot
September 10, 2024 07:45 39s master
master
September 10, 2024 07:45 39s
github_actions in /. - Update #880987213 Dependabot Updates #44: by dependabot bot
September 9, 2024 07:22 40s master
master
September 9, 2024 07:22 40s
github_actions in /. - Update #880256043 Dependabot Updates #43: by dependabot bot
September 6, 2024 07:12 38s master
master
September 6, 2024 07:12 38s
github_actions in /. - Update #879712626 Dependabot Updates #42: by dependabot bot
September 5, 2024 07:10 36s master
master
September 5, 2024 07:10 36s
github_actions in /. - Update #879156901 Dependabot Updates #41: by dependabot bot
September 4, 2024 08:02 33s master
master
September 4, 2024 08:02 33s