Skip to content

Actions: agda/agda-categories

Actions

Ubuntu build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-ubuntu.yml
123 workflow runs
123 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #447 from jacquescomeaux/op-cartesian-nat-iso-fix Ubuntu build #483: Commit a797628 pushed by JacquesCarette
January 17, 2025 15:12 40m 24s master
master
January 17, 2025 15:12 40m 24s
Fix type of exported natural isomorphisms Ubuntu build #482: Pull request #447 opened by jacquescomeaux
January 15, 2025 21:54 40m 38s jacquescomeaux:op-cartesian-nat-iso-fix
jacquescomeaux:op-cartesian-nat-iso-fix
January 15, 2025 21:54 40m 38s
Merge pull request #446 from jacquescomeaux/add-pushout-predicate Ubuntu build #481: Commit 46bfebd pushed by JacquesCarette
December 10, 2024 00:51 4m 47s master
master
December 10, 2024 00:51 4m 47s
Merge pull request #445 from jacquescomeaux/pushout-up-to-iso-fix Ubuntu build #480: Commit f274d80 pushed by JacquesCarette
December 10, 2024 00:49 1m 35s master
master
December 10, 2024 00:49 1m 35s
Merge pull request #444 from agda/dependabot/github_actions/JamesIves… Ubuntu build #479: Commit 7edab60 pushed by JacquesCarette
December 10, 2024 00:46 1m 28s master
master
December 10, 2024 00:46 1m 28s
Add predicate form for pushouts Ubuntu build #478: Pull request #446 opened by jacquescomeaux
December 9, 2024 19:50 4m 49s jacquescomeaux:add-pushout-predicate
jacquescomeaux:add-pushout-predicate
December 9, 2024 19:50 4m 49s
Remove extraneous up-to-iso argument Ubuntu build #477: Pull request #445 opened by jacquescomeaux
December 7, 2024 18:37 1m 32s jacquescomeaux:pushout-up-to-iso-fix
jacquescomeaux:pushout-up-to-iso-fix
December 7, 2024 18:37 1m 32s
Bump JamesIves/github-pages-deploy-action from 4.7.1 to 4.7.2 Ubuntu build #476: Pull request #444 opened by dependabot bot
December 4, 2024 07:24 1m 26s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.2
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.2
December 4, 2024 07:24 1m 26s
Category and Cartesian instances for polymorphic predicates Ubuntu build #475: Pull request #443 opened by AJChapman
December 3, 2024 04:19 1m 31s AJChapman:polymorphic-preds
AJChapman:polymorphic-preds
December 3, 2024 04:19 1m 31s
Merge pull request #442 from agda/dependabot/github_actions/JamesIves… Ubuntu build #474: Commit 4aea83a pushed by JacquesCarette
November 29, 2024 19:04 39m 59s master
master
November 29, 2024 19:04 39m 59s
Bump JamesIves/github-pages-deploy-action from 4.6.9 to 4.7.1 Ubuntu build #473: Pull request #442 opened by dependabot bot
November 29, 2024 07:22 40m 0s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.1
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.1
November 29, 2024 07:22 40m 0s
Ubuntu build Ubuntu build #472: by JacquesCarette
November 11, 2024 14:00 1m 30s master
master
November 11, 2024 14:00 1m 30s
Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9 Ubuntu build #471: Pull request #440 opened by dependabot bot
November 11, 2024 08:01 1m 25s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.9
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.9
November 11, 2024 08:01 1m 25s
Merge pull request #439 from Taneb/slice-functor-rename Ubuntu build #470: Commit 49f2dbb pushed by JacquesCarette
November 7, 2024 00:45 40m 29s master
master
November 7, 2024 00:45 40m 29s
Rename slice functors Ubuntu build #469: Pull request #439 synchronize by Taneb
October 24, 2024 15:24 1m 39s Taneb:slice-functor-rename
Taneb:slice-functor-rename
October 24, 2024 15:24 1m 39s
Rename slice functors Ubuntu build #468: Pull request #439 opened by Taneb
October 24, 2024 14:13 37s Taneb:slice-functor-rename
Taneb:slice-functor-rename
October 24, 2024 14:13 37s
Merge pull request #438 from agda/bump-stdlib-bound Ubuntu build #467: Commit ac0d9d2 pushed by JacquesCarette
October 21, 2024 12:49 41m 47s master
master
October 21, 2024 12:49 41m 47s
Bump standard library dependency to 2.1 Ubuntu build #466: Pull request #438 synchronize by Taneb
October 21, 2024 12:07 41m 31s bump-stdlib-bound
bump-stdlib-bound
October 21, 2024 12:07 41m 31s
Bump standard library dependency to 2.1 Ubuntu build #465: Pull request #438 opened by Taneb
October 21, 2024 11:04 20m 10s bump-stdlib-bound
bump-stdlib-bound
October 21, 2024 11:04 20m 10s
Merge pull request #436 from agda/dependabot/github_actions/JamesIves… Ubuntu build #464: Commit 9022b37 pushed by JacquesCarette
October 4, 2024 01:38 6m 10s master
master
October 4, 2024 01:38 6m 10s
Bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8 Ubuntu build #463: Pull request #436 opened by dependabot bot
September 30, 2024 08:03 6m 0s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.8
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.8
September 30, 2024 08:03 6m 0s
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
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
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