Skip to content

Actions: phadej/spdx

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
104 workflow runs
104 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #61 from phadej/puresat Haskell-CI #125: Commit 796ee6a pushed by phadej
August 18, 2024 16:25 3m 13s master
master
August 18, 2024 16:25 3m 13s
Use puresat Haskell-CI #124: Pull request #61 opened by phadej
August 18, 2024 16:20 3m 11s puresat
puresat
August 18, 2024 16:20 3m 11s
Merge pull request #60 from phadej/trail Haskell-CI #123: Commit 9e8908a pushed by phadej
August 18, 2024 14:35 3m 53s master
master
August 18, 2024 14:35 3m 53s
Rework initial unit propagation Haskell-CI #122: Pull request #60 opened by phadej
August 18, 2024 14:29 5m 1s trail
trail
August 18, 2024 14:29 5m 1s
Merge pull request #59 from phadej/bounds Haskell-CI #121: Commit a49629a pushed by phadej
August 18, 2024 10:44 3m 52s master
master
August 18, 2024 10:44 3m 52s
Add primitive bounds checks Haskell-CI #120: Pull request #59 opened by phadej
August 18, 2024 10:40 3m 50s bounds
bounds
August 18, 2024 10:40 3m 50s
Merge pull request #58 from phadej/small-example-phole2 Haskell-CI #119: Commit 2bda81e pushed by phadej
August 16, 2024 17:46 3m 28s master
master
August 16, 2024 17:46 3m 28s
Add phole2 Haskell-CI #118: Pull request #58 opened by phadej
August 16, 2024 16:32 3m 31s small-example-phole2
small-example-phole2
August 16, 2024 16:32 3m 31s
Merge pull request #57 from phadej/cleanups Haskell-CI #117: Commit 6e3875e pushed by phadej
August 16, 2024 15:38 3m 33s master
master
August 16, 2024 15:38 3m 33s
Cleanups Haskell-CI #116: Pull request #57 opened by phadej
August 16, 2024 15:05 3m 27s cleanups
cleanups
August 16, 2024 15:05 3m 27s
Merge pull request #56 from phadej/dimacs Haskell-CI #115: Commit 2429ee5 pushed by phadej
August 16, 2024 02:12 3m 38s master
master
August 16, 2024 02:12 3m 38s
Add DIMACS parser and examples Haskell-CI #114: Pull request #56 synchronize by phadej
August 15, 2024 22:42 3m 47s dimacs
dimacs
August 15, 2024 22:42 3m 47s
Add DIMACS parser and examples Haskell-CI #113: Pull request #56 opened by phadej
August 15, 2024 20:25 2m 26s dimacs
dimacs
August 15, 2024 20:25 2m 26s
Merge pull request #55 from phadej/analyse Haskell-CI #112: Commit ec05c2d pushed by phadej
August 15, 2024 09:26 3m 19s master
master
August 15, 2024 09:26 3m 19s
Conflict analysis and non-chronological backtracking Haskell-CI #111: Pull request #55 synchronize by phadej
August 15, 2024 09:21 3m 31s analyse
analyse
August 15, 2024 09:21 3m 31s
Conflict analysis and non-chronological backtracking Haskell-CI #110: Pull request #55 opened by phadej
August 14, 2024 22:08 3m 52s analyse
analyse
August 14, 2024 22:08 3m 52s
Merge pull request #54 from phadej/small Haskell-CI #109: Commit 7d9a6e0 pushed by phadej
August 14, 2024 21:41 3m 25s master
master
August 14, 2024 21:41 3m 25s
Add small example (to help debugging) Haskell-CI #108: Pull request #54 synchronize by phadej
August 14, 2024 14:42 3m 27s small
small
August 14, 2024 14:42 3m 27s
Add small example (to help debugging) Haskell-CI #107: Pull request #54 opened by phadej
August 14, 2024 13:28 4m 17s small
small
August 14, 2024 13:28 4m 17s
Merge pull request #53 from phadej/qhead Haskell-CI #106: Commit 57a8530 pushed by phadej
August 13, 2024 15:15 3m 13s master
master
August 13, 2024 15:15 3m 13s
Queue head into trail Haskell-CI #105: Pull request #53 synchronize by phadej
August 13, 2024 15:07 3m 24s qhead
qhead
August 13, 2024 15:07 3m 24s
Queue head into trail Haskell-CI #104: Pull request #53 opened by phadej
August 13, 2024 12:27 3m 14s qhead
qhead
August 13, 2024 12:27 3m 14s
Merge pull request #52 from phadej/decision-level Haskell-CI #103: Commit 0353fdb pushed by phadej
August 6, 2024 12:18 3m 24s master
master
August 6, 2024 12:18 3m 24s
Decision level Haskell-CI #102: Pull request #52 synchronize by phadej
August 6, 2024 11:47 3m 10s decision-level
decision-level
August 6, 2024 11:47 3m 10s
Decision level Haskell-CI #101: Pull request #52 synchronize by phadej
August 6, 2024 11:46 3m 6s decision-level
decision-level
August 6, 2024 11:46 3m 6s