Skip to content

Actions: agda/agda-categories

Actions

Ubuntu build

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #416 from agda/dependabot/github_actions/JamesIves… Ubuntu build #420: Commit 87360d6 pushed by JacquesCarette
May 21, 2024 00:49 38m 6s master
master
May 21, 2024 00:49 38m 6s
Bump JamesIves/github-pages-deploy-action from 4.6.0 to 4.6.1 Ubuntu build #419: Pull request #416 opened by dependabot bot
May 20, 2024 07:12 38m 42s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.1
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.1
May 20, 2024 07:12 38m 42s
Merge pull request #415 from agda/dependabot/github_actions/JamesIves… Ubuntu build #418: Commit dc2a5bd pushed by JacquesCarette
May 3, 2024 00:31 39m 24s master
master
May 3, 2024 00:31 39m 24s
Bump JamesIves/github-pages-deploy-action from 4.5.0 to 4.6.0 Ubuntu build #417: Pull request #415 opened by dependabot bot
April 18, 2024 07:22 38m 34s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.0
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.0
April 18, 2024 07:22 38m 34s
Merge pull request #413 from agda/association-improvement Ubuntu build #416: Commit 09d9cae pushed by JacquesCarette
April 3, 2024 18:06 44m 41s master
master
April 3, 2024 18:06 44m 41s
Rename and expand Assoc4 reasoning combinators Ubuntu build #415: Pull request #413 synchronize by Taneb
April 3, 2024 08:27 38m 28s association-improvement
association-improvement
April 3, 2024 08:27 38m 28s
Rename and expand Assoc4 reasoning combinators Ubuntu build #414: Pull request #413 opened by Taneb
March 14, 2024 09:40 16m 33s association-improvement
association-improvement
March 14, 2024 09:40 16m 33s
Merge pull request #412 from 4e554c4c/monads-comonads Ubuntu build #413: Commit 956862e pushed by JacquesCarette
March 13, 2024 19:26 39m 37s master
master
March 13, 2024 19:26 39m 37s
Add constructions for Monads and Comonads Ubuntu build #412: Pull request #412 synchronize by 4e554c4c
March 13, 2024 15:19 41m 9s 4e554c4c:monads-comonads
4e554c4c:monads-comonads
March 13, 2024 15:19 41m 9s
Add constructions for Monads and Comonads Ubuntu build #411: Pull request #412 synchronize by 4e554c4c
March 12, 2024 16:16 35m 16s 4e554c4c:monads-comonads
4e554c4c:monads-comonads
March 12, 2024 16:16 35m 16s
Merge pull request #411 from Reijix/setoid-stdlib Ubuntu build #402: Commit 944a487 pushed by JacquesCarette
February 2, 2024 13:19 11m 8s master
master
February 2, 2024 13:19 11m 8s
Use definitions from stdlib Ubuntu build #401: Pull request #411 opened by Reijix
February 2, 2024 13:01 11m 26s Reijix:setoid-stdlib
Reijix:setoid-stdlib
February 2, 2024 13:01 11m 26s
Merge pull request #410 from Reijix/distributive Ubuntu build #400: Commit a1c797e pushed by JacquesCarette
January 28, 2024 14:11 10m 39s master
master
January 28, 2024 14:11 10m 39s
Right adjoint to Functor.Slice.Free Ubuntu build #399: Pull request #408 synchronize by Taneb
January 27, 2024 20:30 4m 48s MoreBaseChanges
MoreBaseChanges
January 27, 2024 20:30 4m 48s
Right adjoint to Functor.Slice.Free Ubuntu build #398: Pull request #408 synchronize by Taneb
January 27, 2024 19:53 2m 50s MoreBaseChanges
MoreBaseChanges
January 27, 2024 19:53 2m 50s
Properties of distributive categories Ubuntu build #397: Pull request #410 synchronize by Reijix
January 27, 2024 15:04 10m 54s Reijix:distributive
Reijix:distributive
January 27, 2024 15:04 10m 54s
Properties of distributive categories Ubuntu build #396: Pull request #410 opened by Reijix
January 25, 2024 15:35 10m 45s Reijix:distributive
Reijix:distributive
January 25, 2024 15:35 10m 45s
Right adjoint to Functor.Slice.Free Ubuntu build #395: Pull request #408 synchronize by Taneb
January 24, 2024 08:45 13m 39s MoreBaseChanges
MoreBaseChanges
January 24, 2024 08:45 13m 39s
Merge pull request #409 from agda/dependabot/github_actions/actions/c… Ubuntu build #394: Commit 9ece1e0 pushed by JacquesCarette
January 19, 2024 20:21 10m 28s master
master
January 19, 2024 20:21 10m 28s
Merge pull request #404 from Reijix/comm-monad Ubuntu build #393: Commit cc09b36 pushed by JacquesCarette
January 19, 2024 20:20 10m 56s master
master
January 19, 2024 20:20 10m 56s
Bump actions/cache from 3 to 4 Ubuntu build #392: Pull request #409 opened by dependabot bot
January 18, 2024 07:35 10m 26s dependabot/github_actions/actions/cache-4
dependabot/github_actions/actions/cache-4
January 18, 2024 07:35 10m 26s
[WIP] Commutative Monad Ubuntu build #391: Pull request #404 synchronize by sstucki
January 13, 2024 15:06 10m 40s Reijix:comm-monad
Reijix:comm-monad
January 13, 2024 15:06 10m 40s
Update README.md Ubuntu build #390: Commit 7bcf892 pushed by JacquesCarette
January 12, 2024 16:56 10m 40s master
master
January 12, 2024 16:56 10m 40s
Right adjoint to Functor.Slice.Free Ubuntu build #389: Pull request #408 synchronize by Taneb
January 10, 2024 12:53 10m 34s MoreBaseChanges
MoreBaseChanges
January 10, 2024 12:53 10m 34s
Right adjoint to Functor.Slice.Free Ubuntu build #388: Pull request #408 synchronize by Taneb
January 10, 2024 12:52 2m 17s MoreBaseChanges
MoreBaseChanges
January 10, 2024 12:52 2m 17s