Skip to content

Actions: lsrcz/grisette

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,121 workflow runs
2,121 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Correctly do memoization for lowering Auto format by ormolu #1107: Pull request #259 opened by lsrcz
October 22, 2024 23:01 29s fix-lowering-memo
fix-lowering-memo
October 22, 2024 23:01 29s
⚡ SolverGenericCEGIS will only rerun possible verifiers Auto format by ormolu #1106: Commit 3498230 pushed by lsrcz
October 18, 2024 18:58 34s main
main
October 18, 2024 18:58 34s
⚡ SolverGenericCEGIS will only rerun possible verifiers Haskell Tests #1106: Commit 3498230 pushed by lsrcz
October 18, 2024 18:58 13m 47s main
main
October 18, 2024 18:58 13m 47s
⚡ SolverGenericCEGIS will only rerun possible verifiers HLint #1106: Commit 3498230 pushed by lsrcz
October 18, 2024 18:58 49s main
main
October 18, 2024 18:58 49s
solverGenericCEGIS will only rerun possible verifiers Auto format by ormolu #1105: Pull request #258 synchronize by lsrcz
October 18, 2024 18:42 31s verifier-minimal-rerun
verifier-minimal-rerun
October 18, 2024 18:42 31s
solverGenericCEGIS will only rerun possible verifiers Haskell Tests #1105: Pull request #258 synchronize by lsrcz
October 18, 2024 18:42 14m 14s verifier-minimal-rerun
verifier-minimal-rerun
October 18, 2024 18:42 14m 14s
solverGenericCEGIS will only rerun possible verifiers HLint #1105: Pull request #258 synchronize by lsrcz
October 18, 2024 18:42 48s verifier-minimal-rerun
verifier-minimal-rerun
October 18, 2024 18:42 48s
solverGenericCEGIS will only rerun possible verifiers Haskell Tests #1104: Pull request #258 opened by lsrcz
October 18, 2024 18:31 11m 50s verifier-minimal-rerun
verifier-minimal-rerun
October 18, 2024 18:31 11m 50s
solverGenericCEGIS will only rerun possible verifiers Auto format by ormolu #1104: Pull request #258 opened by lsrcz
October 18, 2024 18:31 28s verifier-minimal-rerun
verifier-minimal-rerun
October 18, 2024 18:31 28s
solverGenericCEGIS will only rerun possible verifiers HLint #1104: Pull request #258 opened by lsrcz
October 18, 2024 18:31 51s verifier-minimal-rerun
verifier-minimal-rerun
October 18, 2024 18:31 51s
📝 Fix haddock Haskell Tests #1103: Commit d44dcbc pushed by lsrcz
October 18, 2024 11:28 13m 39s main
main
October 18, 2024 11:28 13m 39s
📝 Fix haddock Auto format by ormolu #1103: Commit d44dcbc pushed by lsrcz
October 18, 2024 11:28 30s main
main
October 18, 2024 11:28 30s
📝 Fix haddock HLint #1103: Commit d44dcbc pushed by lsrcz
October 18, 2024 11:28 45s main
main
October 18, 2024 11:28 45s
Add reporting for maybe no counter-example Haskell Tests #1102: Pull request #257 synchronize by lsrcz
October 18, 2024 11:13 14m 14s verifier-maybe-no-cex
verifier-maybe-no-cex
October 18, 2024 11:13 14m 14s
Add reporting for maybe no counter-example Auto format by ormolu #1102: Pull request #257 synchronize by lsrcz
October 18, 2024 11:13 38s verifier-maybe-no-cex
verifier-maybe-no-cex
October 18, 2024 11:13 38s
Add reporting for maybe no counter-example HLint #1102: Pull request #257 synchronize by lsrcz
October 18, 2024 11:13 50s verifier-maybe-no-cex
verifier-maybe-no-cex
October 18, 2024 11:13 50s
Add reporting for maybe no counter-example Auto format by ormolu #1101: Pull request #257 synchronize by lsrcz
October 18, 2024 11:05 33s verifier-maybe-no-cex
verifier-maybe-no-cex
October 18, 2024 11:05 33s
Add reporting for maybe no counter-example Haskell Tests #1101: Pull request #257 synchronize by lsrcz
October 18, 2024 11:05 7m 51s verifier-maybe-no-cex
verifier-maybe-no-cex
October 18, 2024 11:05 7m 51s
Add reporting for maybe no counter-example HLint #1101: Pull request #257 synchronize by lsrcz
October 18, 2024 11:05 49s verifier-maybe-no-cex
verifier-maybe-no-cex
October 18, 2024 11:05 49s
Add reporting for maybe no counter-example Haskell Tests #1100: Pull request #257 opened by lsrcz
October 18, 2024 11:02 2m 45s verifier-maybe-no-cex
verifier-maybe-no-cex
October 18, 2024 11:02 2m 45s
Add reporting for maybe no counter-example Auto format by ormolu #1100: Pull request #257 opened by lsrcz
October 18, 2024 11:02 32s verifier-maybe-no-cex
verifier-maybe-no-cex
October 18, 2024 11:02 32s
Add reporting for maybe no counter-example HLint #1100: Pull request #257 opened by lsrcz
October 18, 2024 11:02 50s verifier-maybe-no-cex
verifier-maybe-no-cex
October 18, 2024 11:02 50s
🐛 Fix solverGenericCEGIS and make it also return the last failing… HLint #1099: Commit 2e9b557 pushed by lsrcz
October 17, 2024 05:58 46s main
main
October 17, 2024 05:58 46s
🐛 Fix solverGenericCEGIS and make it also return the last failing… Haskell Tests #1099: Commit 2e9b557 pushed by lsrcz
October 17, 2024 05:58 13m 50s main
main
October 17, 2024 05:58 13m 50s
🐛 Fix solverGenericCEGIS and make it also return the last failing… Auto format by ormolu #1099: Commit 2e9b557 pushed by lsrcz
October 17, 2024 05:58 38s main
main
October 17, 2024 05:58 38s