Skip to content

Actions: standardsemiconductor/bayeux

Actions

Haskell CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
72 workflow run results
72 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

First-Order Logic
Haskell CI #22: Pull request #3 synchronize by dopamane
May 24, 2024 03:56 2m 7s first-order-logic
May 24, 2024 03:56 2m 7s
Haskell CI
Haskell CI #21: Scheduled
May 24, 2024 00:43 2m 11s main
May 24, 2024 00:43 2m 11s
First-Order Logic
Haskell CI #20: Pull request #3 synchronize by dopamane
May 23, 2024 20:52 2m 22s first-order-logic
May 23, 2024 20:52 2m 22s
First-Order Logic
Haskell CI #19: Pull request #3 synchronize by dopamane
May 23, 2024 09:28 2m 17s first-order-logic
May 23, 2024 09:28 2m 17s
Order propositional rules
Haskell CI #18: Commit 2d2bcae pushed by dopamane
May 23, 2024 09:17 2m 13s main
May 23, 2024 09:17 2m 13s
Render tableaux
Haskell CI #17: Commit 85bda84 pushed by dopamane
May 23, 2024 06:11 2m 26s main
May 23, 2024 06:11 2m 26s
Haskell CI
Haskell CI #16: Scheduled
May 23, 2024 00:42 2m 24s main
May 23, 2024 00:42 2m 24s
First-Order Logic
Haskell CI #15: Pull request #3 synchronize by dopamane
May 22, 2024 13:02 2m 14s first-order-logic
May 22, 2024 13:02 2m 14s
First-Order Logic
Haskell CI #14: Pull request #3 synchronize by dopamane
May 22, 2024 08:58 2m 11s first-order-logic
May 22, 2024 08:58 2m 11s
Organize
Haskell CI #13: Commit 621cb48 pushed by dopamane
May 22, 2024 08:47 2m 17s main
May 22, 2024 08:47 2m 17s
First-Order Logic
Haskell CI #12: Pull request #3 opened by dopamane
May 22, 2024 07:55 2m 12s first-order-logic
May 22, 2024 07:55 2m 12s
Create cli
Haskell CI #11: Commit b653769 pushed by dopamane
May 22, 2024 06:14 2m 10s main
May 22, 2024 06:14 2m 10s
Haskell CI
Haskell CI #10: Scheduled
May 22, 2024 00:42 6m 27s main
May 22, 2024 00:42 6m 27s
Add parse, pretty, property tests (#2)
Haskell CI #9: Commit d404960 pushed by dopamane
May 21, 2024 13:11 30m 42s main
May 21, 2024 13:11 30m 42s
Add parse, pretty, property tests
Haskell CI #8: Pull request #2 synchronize by dopamane
May 21, 2024 12:57 18m 33s hedgehog-parse-test
May 21, 2024 12:57 18m 33s
Add parse, pretty, property tests
Haskell CI #7: Pull request #2 synchronize by dopamane
May 21, 2024 12:07 26m 7s hedgehog-parse-test
May 21, 2024 12:07 26m 7s
Add parse, pretty, property tests
Haskell CI #6: Pull request #2 synchronize by dopamane
May 21, 2024 10:42 3m 20s hedgehog-parse-test
May 21, 2024 10:42 3m 20s
Add parse, pretty, property tests
Haskell CI #5: Pull request #2 opened by dopamane
May 21, 2024 08:35 2m 33s hedgehog-parse-test
May 21, 2024 08:35 2m 33s
Create haskell.yml (#1)
Haskell CI #4: Commit 9634d02 pushed by dopamane
May 21, 2024 07:17 2m 58s main
May 21, 2024 07:17 2m 58s
Create haskell.yml
Haskell CI #3: Pull request #1 synchronize by dopamane
May 21, 2024 07:10 2m 42s haskell-ci
May 21, 2024 07:10 2m 42s
Create haskell.yml
Haskell CI #2: Pull request #1 synchronize by dopamane
May 21, 2024 06:56 2m 1s haskell-ci
May 21, 2024 06:56 2m 1s
Create haskell.yml
Haskell CI #1: Pull request #1 opened by dopamane
May 21, 2024 03:50 2m 23s haskell-ci
May 21, 2024 03:50 2m 23s