Skip to content

Actions: Barkhausen-Institut/koika

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapting FiniteType to support constructors with multiple arguments Flake build #47: Pull request #10 synchronize by maxkurze1
January 19, 2025 19:52 2m 2s maxkurze1:multi-arg-finite-type
maxkurze1:multi-arg-finite-type
January 19, 2025 19:52 2m 2s
Small fixes Flake build #46: Pull request #16 opened by maxkurze1
November 13, 2024 15:43 2m 47s maxkurze1:small-fixes
maxkurze1:small-fixes
November 13, 2024 15:43 2m 47s
Merge pull request #15 from maxkurze1/directly_typed_parsing Flake build #45: Commit 96e4859 pushed by sertel
November 13, 2024 14:29 2m 48s master
master
November 13, 2024 14:29 2m 48s
Directly typed parsing Flake build #44: Pull request #15 opened by maxkurze1
November 13, 2024 13:51 2m 52s maxkurze1:directly_typed_parsing
maxkurze1:directly_typed_parsing
November 13, 2024 13:51 2m 52s
Merge pull request #14 from maxkurze1/directly_typed_parsing Flake build #43: Commit 19b174c pushed by sertel
November 13, 2024 12:25 2m 46s master
master
November 13, 2024 12:25 2m 46s
Directly typed parsing Flake build #42: Pull request #14 synchronize by maxkurze1
November 13, 2024 08:25 2m 53s maxkurze1:directly_typed_parsing
maxkurze1:directly_typed_parsing
November 13, 2024 08:25 2m 53s
Directly typed parsing Flake build #41: Pull request #14 synchronize by maxkurze1
November 13, 2024 01:15 2m 45s maxkurze1:directly_typed_parsing
maxkurze1:directly_typed_parsing
November 13, 2024 01:15 2m 45s
Directly typed parsing Flake build #40: Pull request #14 synchronize by maxkurze1
November 13, 2024 00:37 2m 45s maxkurze1:directly_typed_parsing
maxkurze1:directly_typed_parsing
November 13, 2024 00:37 2m 45s
Directly typed parsing Flake build #39: Pull request #14 opened by maxkurze1
November 13, 2024 00:29 2m 21s maxkurze1:directly_typed_parsing
maxkurze1:directly_typed_parsing
November 13, 2024 00:29 2m 21s
Merge pull request #13 from maxkurze1/directly_typed_parsing Flake build #38: Commit 5d6c10a pushed by sertel
November 11, 2024 06:41 2m 50s master
master
November 11, 2024 06:41 2m 50s
A couple of improvements for directly typed parsing Flake build #37: Pull request #13 opened by maxkurze1
November 9, 2024 21:59 2m 50s maxkurze1:directly_typed_parsing
maxkurze1:directly_typed_parsing
November 9, 2024 21:59 2m 50s
Adapting FiniteType to support constructors with multiple arguments Flake build #36: Pull request #10 synchronize by maxkurze1
November 9, 2024 11:49 3m 6s maxkurze1:multi-arg-finite-type
maxkurze1:multi-arg-finite-type
November 9, 2024 11:49 3m 6s
Adding Notations Flake build #35: Pull request #12 synchronize by maxkurze1
November 9, 2024 11:48 1m 55s maxkurze1:useful-notations
maxkurze1:useful-notations
November 9, 2024 11:48 1m 55s
Adding Notations Flake build #34: Pull request #12 opened by maxkurze1
November 9, 2024 11:45 2m 30s maxkurze1:useful-notations
maxkurze1:useful-notations
November 9, 2024 11:45 2m 30s
Merge pull request #11 from maxkurze1/vect-scope Flake build #33: Commit 6b9141d pushed by sertel
November 9, 2024 11:09 2m 54s master
master
November 9, 2024 11:09 2m 54s
Vect.v: rename scope 'vect' to 'vect_scope' Flake build #32: Pull request #11 opened by maxkurze1
November 9, 2024 10:37 3m 18s maxkurze1:vect-scope
maxkurze1:vect-scope
November 9, 2024 10:37 3m 18s
Adapting FiniteType to support constructors with multiple arguments Flake build #31: Pull request #10 opened by maxkurze1
November 1, 2024 16:34 2m 54s maxkurze1:multi-arg-finite-type
maxkurze1:multi-arg-finite-type
November 1, 2024 16:34 2m 54s
Adding a very small test Flake build #30: Commit cf36b40 pushed by spacefrogg
October 29, 2024 12:20 2m 52s master
master
October 29, 2024 12:20 2m 52s
flake: Convert to flake-parts Flake build #29: Commit 03d55d0 pushed by spacefrogg
October 28, 2024 15:10 3m 4s master
master
October 28, 2024 15:10 3m 4s
Reverse function for Vect Flake build #28: Commit bb5d301 pushed by spacefrogg
October 25, 2024 11:27 2m 57s master
master
October 25, 2024 11:27 2m 57s
Reverse function for Vect Flake build #27: Pull request #8 opened by maxkurze1
October 25, 2024 08:53 2m 55s maxkurze1:master
maxkurze1:master
October 25, 2024 08:53 2m 55s
Coq8.18 - FiniteType with multiple arguments Flake build #26: Pull request #2 synchronize by maxkurze1
October 22, 2024 08:20 4m 1s maxkurze1:coq8.18
maxkurze1:coq8.18
October 22, 2024 08:20 4m 1s
Coq8.18 - FiniteType with multiple arguments Flake build #25: Pull request #2 synchronize by maxkurze1
October 22, 2024 08:05 4m 33s maxkurze1:coq8.18
maxkurze1:coq8.18
October 22, 2024 08:05 4m 33s
Update koika.opam Flake build #24: Commit 7d1f447 pushed by spacefrogg
October 17, 2024 07:46 3m 22s master
master
October 17, 2024 07:46 3m 22s
Merge pull request #6 from maxkurze1/directly_typed_parsing Flake build #23: Commit 1b9942d pushed by sertel
September 29, 2024 18:35 4m 18s master
master
September 29, 2024 18:35 4m 18s