Skip to content

Actions: lsrcz/grisette

Actions

Haskell Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
557 workflow runs
557 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Refine the tutorials Haskell Tests #880: Pull request #220 synchronize by lsrcz
June 30, 2024 20:12 12m 53s refine-tutorials
refine-tutorials
June 30, 2024 20:12 12m 53s
🚨 Avoid a warning on older compilers Haskell Tests #879: Commit 4e82ee2 pushed by lsrcz
June 30, 2024 20:11 10m 44s main
main
June 30, 2024 20:11 10m 44s
Add *1 instances (SymEq1, etc.) for Union, add all (incoherent) conversions from/to (Identity a)/a Haskell Tests #878: Pull request #222 synchronize by lsrcz
June 30, 2024 20:11 12m 59s add-instance1-union
add-instance1-union
June 30, 2024 20:11 12m 59s
Add *1 instances (SymEq1, etc.) for Union, add all (incoherent) conversions from/to (Identity a)/a Haskell Tests #877: Pull request #222 synchronize by lsrcz
June 30, 2024 20:00 11m 16s add-instance1-union
add-instance1-union
June 30, 2024 20:00 11m 16s
Add *1 instances (SymEq1, etc.) for Union, add all (incoherent) conversions from/to (Identity a)/a Haskell Tests #876: Pull request #222 synchronize by lsrcz
June 30, 2024 19:44 2m 44s add-instance1-union
add-instance1-union
June 30, 2024 19:44 2m 44s
Add *1 instances (SymEq1, etc.) for Union, add all (incoherent) conversions from/to (Identity a)/a Haskell Tests #875: Pull request #222 opened by lsrcz
June 30, 2024 19:43 1m 40s add-instance1-union
add-instance1-union
June 30, 2024 19:43 1m 40s
Refine the tutorials Haskell Tests #874: Pull request #220 synchronize by lsrcz
June 30, 2024 18:27 12m 42s refine-tutorials
refine-tutorials
June 30, 2024 18:27 12m 42s
♻️ SupportedPrim is used in user-level code. Should be exported Haskell Tests #873: Commit 07a08a1 pushed by lsrcz
June 30, 2024 18:26 12m 51s main
main
June 30, 2024 18:26 12m 51s
Re-export SupportedPrim Haskell Tests #872: Pull request #221 opened by lsrcz
June 30, 2024 18:26 13m 26s export-supported-prim
export-supported-prim
June 30, 2024 18:26 13m 26s
Refine the tutorials Haskell Tests #871: Pull request #220 synchronize by lsrcz
June 30, 2024 10:47 13m 12s refine-tutorials
refine-tutorials
June 30, 2024 10:47 13m 12s
Refine the tutorials Haskell Tests #870: Pull request #220 synchronize by lsrcz
June 30, 2024 10:44 2m 50s refine-tutorials
refine-tutorials
June 30, 2024 10:44 2m 50s
Refine the tutorials Haskell Tests #869: Pull request #220 opened by lsrcz
June 30, 2024 10:39 5m 47s refine-tutorials
refine-tutorials
June 30, 2024 10:39 5m 47s
📝 Fix some links Haskell Tests #868: Commit 1c38813 pushed by lsrcz
June 30, 2024 08:10 12m 34s main
main
June 30, 2024 08:10 12m 34s
Introduce IEEEFPRoundingMode, fix printing of FP terms, and refine symbolic primitive documentation Haskell Tests #867: Pull request #219 synchronize by lsrcz
June 30, 2024 07:52 13m 11s doc-refine-symprim-doc
doc-refine-symprim-doc
June 30, 2024 07:52 13m 11s
Introduce IEEEFPRoundingMode, fix printing of FP terms, and refine symbolic primitive documentation Haskell Tests #866: Pull request #219 synchronize by lsrcz
June 30, 2024 07:49 3m 40s doc-refine-symprim-doc
doc-refine-symprim-doc
June 30, 2024 07:49 3m 40s
Introduce IEEEFPRoundingMode, fix printing of FP terms, and refine symbolic primitive documentation Haskell Tests #865: Pull request #219 synchronize by lsrcz
June 30, 2024 07:12 14m 2s doc-refine-symprim-doc
doc-refine-symprim-doc
June 30, 2024 07:12 14m 2s
Introduce IEEEFPRoundingMode, fix printing of FP terms, and refine symbolic primitive documentation Haskell Tests #864: Pull request #219 synchronize by lsrcz
June 30, 2024 07:06 6m 16s doc-refine-symprim-doc
doc-refine-symprim-doc
June 30, 2024 07:06 6m 16s
Introduce IEEEFPRoundingMode, fix printing of FP terms, and refine symbolic primitive documentation Haskell Tests #863: Pull request #219 synchronize by lsrcz
June 30, 2024 07:05 1m 20s doc-refine-symprim-doc
doc-refine-symprim-doc
June 30, 2024 07:05 1m 20s
Introduce IEEEFPRoundingMode, fix printing of FP terms, and refine symbolic primitive documentation Haskell Tests #862: Pull request #219 synchronize by lsrcz
June 30, 2024 07:04 1m 29s doc-refine-symprim-doc
doc-refine-symprim-doc
June 30, 2024 07:04 1m 29s
Introduce IEEEFPRoundingMode, fix printing of FP terms, and refine symbolic primitive documentation Haskell Tests #861: Pull request #219 synchronize by lsrcz
June 30, 2024 06:40 13m 4s doc-refine-symprim-doc
doc-refine-symprim-doc
June 30, 2024 06:40 13m 4s
Introduce IEEEFPRoundingMode, fix printing of FP terms, and refine symbolic primitive documentation Haskell Tests #860: Pull request #219 synchronize by lsrcz
June 30, 2024 06:38 2m 1s doc-refine-symprim-doc
doc-refine-symprim-doc
June 30, 2024 06:38 2m 1s
Introduce IEEEFPRoundingMode, fix printing of FP terms, and refine symbolic primitive documentation Haskell Tests #859: Pull request #219 opened by lsrcz
June 30, 2024 06:36 2m 12s doc-refine-symprim-doc
doc-refine-symprim-doc
June 30, 2024 06:36 2m 12s
📝 Update CHANGELOG.md Haskell Tests #858: Commit 9e80f67 pushed by lsrcz
June 30, 2024 05:08 12m 30s main
main
June 30, 2024 05:08 12m 30s
Discourage the use of approximation with GrisetteSMTConfig Haskell Tests #857: Pull request #218 synchronize by lsrcz
June 30, 2024 04:55 13m 51s feat-better-smt-configs
feat-better-smt-configs
June 30, 2024 04:55 13m 51s
Discourage the use of approximation with GrisetteSMTConfig Haskell Tests #856: Pull request #218 opened by lsrcz
June 30, 2024 04:54 1m 53s feat-better-smt-configs
feat-better-smt-configs
June 30, 2024 04:54 1m 53s