Skip to content

Actions: ToposInstitute/polytt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
111 workflow runs
111 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Upgrade asai to 0.1 dune::build #134: Pull request #61 opened by favonia
October 8, 2023 14:38 9m 14s favonia:upgrade-asai
favonia:upgrade-asai
October 8, 2023 14:38 9m 14s
minor edit dune::build #133: Commit f8f9d9a pushed by dspivak
September 27, 2023 16:42 8m 42s main
main
September 27, 2023 16:42 8m 42s
Tutorial and Standard Library Expansion (#60) dune::build #132: Commit 4eef35a pushed by solomon-b
September 25, 2023 02:54 12m 38s main
main
September 25, 2023 02:54 12m 38s
Tutorial and Standard Library Expansion dune::build #131: Pull request #60 synchronize by solomon-b
September 5, 2023 07:23 4m 59s docs/expand-tutorial
docs/expand-tutorial
September 5, 2023 07:23 4m 59s
Tutorial and Standard Library Expansion dune::build #130: Pull request #60 synchronize by solomon-b
September 5, 2023 06:42 5m 10s docs/expand-tutorial
docs/expand-tutorial
September 5, 2023 06:42 5m 10s
Fixes line breaks in ConversionError pretty printer (#56) dune::build #129: Commit 37f1b5f pushed by solomon-b
September 4, 2023 07:41 5m 48s main
main
September 4, 2023 07:41 5m 48s
build: upgrade yuujinchou (#54) dune::build #128: Commit af20e23 pushed by solomon-b
September 3, 2023 00:35 6m 0s main
main
September 3, 2023 00:35 6m 0s
Syntax for representable functors (#52) dune::build #125: Commit 8f9b0aa pushed by MonoidMusician
August 31, 2023 17:02 5m 42s main
main
August 31, 2023 17:02 5m 42s
Syntax for representable functors dune::build #124: Pull request #52 synchronize by MonoidMusician
August 31, 2023 16:27 4m 51s repr
repr
August 31, 2023 16:27 4m 51s
Syntax for representable functors dune::build #123: Pull request #52 synchronize by solomon-b
August 30, 2023 17:31 4m 42s repr
repr
August 30, 2023 17:31 4m 42s
Fixes line breaks in ConversionError pretty printer dune::build #122: Pull request #56 opened by solomon-b
August 30, 2023 06:26 6m 8s bug/fix-conversion-check-pp
bug/fix-conversion-check-pp
August 30, 2023 06:26 6m 8s
Replace right squiggle arrow with thick arrow (#53) dune::build #120: Commit 3997530 pushed by solomon-b
August 30, 2023 01:43 9m 21s main
main
August 30, 2023 01:43 9m 21s
Replace right squiggle arrow with thick arrow dune::build #119: Pull request #53 opened by solomon-b
August 29, 2023 17:58 10m 50s feature/poly-lambda-decl-syntax
feature/poly-lambda-decl-syntax
August 29, 2023 17:58 10m 50s
Syntax for representable functors dune::build #118: Pull request #52 synchronize by MonoidMusician
August 16, 2023 21:22 9m 18s repr
repr
August 16, 2023 21:22 9m 18s
Syntax for representable functors dune::build #117: Pull request #52 synchronize by MonoidMusician
August 2, 2023 17:45 5m 37s repr
repr
August 2, 2023 17:45 5m 37s
Syntax for representable functors dune::build #116: Pull request #52 synchronize by MonoidMusician
August 2, 2023 17:42 3m 52s repr
repr
August 2, 2023 17:42 3m 52s
Syntax for representable functors dune::build #115: Pull request #52 opened by MonoidMusician
August 2, 2023 04:03 9m 29s repr
repr
August 2, 2023 04:03 9m 29s
feat: Implement destructuring binders for pairs (#50) dune::build #114: Commit 24a21f2 pushed by MonoidMusician
July 18, 2023 02:24 5m 8s main
main
July 18, 2023 02:24 5m 8s
Implement destructuring binders for pairs dune::build #113: Pull request #50 synchronize by MonoidMusician
July 17, 2023 22:02 5m 13s tuple-binders-new
tuple-binders-new
July 17, 2023 22:02 5m 13s
test: Include std-lib via symlink, qualify test output with paths dune::build #112: Commit c691d3f pushed by MonoidMusician
July 17, 2023 21:53 5m 55s main
main
July 17, 2023 21:53 5m 55s
Static Builds dune::build #111: Pull request #38 synchronize by solomon-b
July 17, 2023 21:34 6m 19s infra/flake-update
infra/flake-update
July 17, 2023 21:34 6m 19s
Static Builds dune::build #110: Pull request #38 synchronize by solomon-b
July 17, 2023 21:33 5m 14s infra/flake-update
infra/flake-update
July 17, 2023 21:33 5m 14s
Static Builds dune::build #109: Pull request #38 synchronize by solomon-b
July 17, 2023 21:32 5m 8s infra/flake-update
infra/flake-update
July 17, 2023 21:32 5m 8s
Implement destructuring binders for pairs dune::build #108: Pull request #50 synchronize by MonoidMusician
July 17, 2023 05:29 5m 37s tuple-binders-new
tuple-binders-new
July 17, 2023 05:29 5m 37s
Implement destructuring binders for pairs dune::build #107: Pull request #50 synchronize by MonoidMusician
July 17, 2023 05:07 6m 26s tuple-binders-new
tuple-binders-new
July 17, 2023 05:07 6m 26s