Skip to content

Actions: lsrcz/grisette

Actions

Haskell Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
719 workflow runs
719 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve parallel evaluation performance Haskell Tests #1024: Pull request #252 opened by lsrcz
September 4, 2024 22:47 4m 31s feat-thread-local-hashcons-cache
feat-thread-local-hashcons-cache
September 4, 2024 22:47 4m 31s
⚡ Add some inlines Haskell Tests #1023: Commit 486e2d4 pushed by lsrcz
August 28, 2024 00:49 20m 16s main
main
August 28, 2024 00:49 20m 16s
📝 Update CHANGELOG.md Haskell Tests #1022: Commit e60e471 pushed by lsrcz
August 18, 2024 13:43 12m 33s main
main
August 18, 2024 13:43 12m 33s
Add instances for Ratio Haskell Tests #1021: Pull request #251 synchronize by lsrcz
August 18, 2024 13:43 12m 56s add-instances-ratio
add-instances-ratio
August 18, 2024 13:43 12m 56s
Add instances for Ratio Haskell Tests #1020: Pull request #251 opened by lsrcz
August 18, 2024 13:39 4m 27s add-instances-ratio
add-instances-ratio
August 18, 2024 13:39 4m 27s
🐛 Fix build on older compilers Haskell Tests #1019: Commit 73f625a pushed by lsrcz
August 17, 2024 00:02 12m 30s main
main
August 17, 2024 00:02 12m 30s
Add on demand unified interfaces and support for uninterpreted functions Haskell Tests #1018: Pull request #250 synchronize by lsrcz
August 16, 2024 23:49 12m 50s feat-unified-on-demand
feat-unified-on-demand
August 16, 2024 23:49 12m 50s
Add on demand unified interfaces and support for uninterpreted functions Haskell Tests #1017: Pull request #250 synchronize by lsrcz
August 16, 2024 23:33 5m 21s feat-unified-on-demand
feat-unified-on-demand
August 16, 2024 23:33 5m 21s
Add on demand unified interfaces and support for uninterpreted functions Haskell Tests #1016: Pull request #250 synchronize by lsrcz
August 16, 2024 23:25 5m 29s feat-unified-on-demand
feat-unified-on-demand
August 16, 2024 23:25 5m 29s
Add on demand unified interfaces and support for uninterpreted functions Haskell Tests #1015: Pull request #250 synchronize by lsrcz
August 16, 2024 23:20 4m 12s feat-unified-on-demand
feat-unified-on-demand
August 16, 2024 23:20 4m 12s
Add on demand unified interfaces and support for uninterpreted functions Haskell Tests #1014: Pull request #250 synchronize by lsrcz
August 16, 2024 23:14 4m 14s feat-unified-on-demand
feat-unified-on-demand
August 16, 2024 23:14 4m 14s
Add on demand unified interfaces and support for uninterpreted functions Haskell Tests #1013: Pull request #250 synchronize by lsrcz
August 16, 2024 22:59 3m 22s feat-unified-on-demand
feat-unified-on-demand
August 16, 2024 22:59 3m 22s
Add on demand unified interfaces and support for uninterpreted functions Haskell Tests #1012: Pull request #250 synchronize by lsrcz
August 16, 2024 22:59 58s feat-unified-on-demand
feat-unified-on-demand
August 16, 2024 22:59 58s
Add on demand unified interfaces and support for uninterpreted functions Haskell Tests #1011: Pull request #250 opened by lsrcz
August 16, 2024 22:57 2m 19s feat-unified-on-demand
feat-unified-on-demand
August 16, 2024 22:57 2m 19s
📝 Update README.d, CHANGELOG.md and bump version Haskell Tests #1010: Commit 7dff523 pushed by lsrcz
August 16, 2024 08:15 20m 10s main
main
August 16, 2024 08:15 20m 10s
Simplify the instances for uninterpreted functions and fix the missing instances for concrete functions Haskell Tests #1009: Pull request #249 synchronize by lsrcz
August 16, 2024 07:58 19m 55s feat-simpler-func-constraints
feat-simpler-func-constraints
August 16, 2024 07:58 19m 55s
Simplify the instances for uninterpreted functions and fix the missing instances for concrete functions Haskell Tests #1008: Pull request #249 synchronize by lsrcz
August 16, 2024 07:55 2m 19s feat-simpler-func-constraints
feat-simpler-func-constraints
August 16, 2024 07:55 2m 19s
Simplify the instances for uninterpreted functions and fix the missing instances for concrete functions Haskell Tests #1007: Pull request #249 opened by lsrcz
August 16, 2024 07:38 13m 0s feat-simpler-func-constraints
feat-simpler-func-constraints
August 16, 2024 07:38 13m 0s
🐛 Fix build Haskell Tests #1006: Commit 85bc615 pushed by lsrcz
August 14, 2024 08:40 20m 43s main
main
August 14, 2024 08:40 20m 43s
Prepare for v0.8.0.0 release Haskell Tests #1005: Pull request #248 synchronize by lsrcz
August 14, 2024 07:57 20m 8s prepare-v0.8.0.0
prepare-v0.8.0.0
August 14, 2024 07:57 20m 8s
Prepare for v0.8.0.0 release Haskell Tests #1004: Pull request #248 synchronize by lsrcz
August 14, 2024 07:41 8m 14s prepare-v0.8.0.0
prepare-v0.8.0.0
August 14, 2024 07:41 8m 14s
Prepare for v0.8.0.0 release Haskell Tests #1003: Pull request #248 synchronize by lsrcz
August 14, 2024 07:35 6m 10s prepare-v0.8.0.0
prepare-v0.8.0.0
August 14, 2024 07:35 6m 10s
Prepare for v0.8.0.0 release Haskell Tests #1002: Pull request #248 opened by lsrcz
August 14, 2024 06:45 1m 22s prepare-v0.8.0.0
prepare-v0.8.0.0
August 14, 2024 06:45 1m 22s
✨ Add better symDistinct for SomeBV Haskell Tests #1001: Commit dc83395 pushed by lsrcz
August 11, 2024 04:17 14m 40s main
main
August 11, 2024 04:17 14m 40s
Add better symDistinct for SomeBV Haskell Tests #1000: Pull request #247 opened by lsrcz
August 11, 2024 02:55 13m 1s perf-distinct-somebv
perf-distinct-somebv
August 11, 2024 02:55 13m 1s