Skip to content

Actions: SoftVarE-Group/d-dnnf-reasoner

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
896 workflow runs
896 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: enable nix build Windows #4: Commit 4a8228c pushed by uulm-janbaudisch
May 3, 2024 15:54 17m 40s nix
nix
May 3, 2024 15:54 17m 40s
feat: enable nix build CI #4: Commit 4a8228c pushed by uulm-janbaudisch
May 3, 2024 15:54 11m 11s nix
nix
May 3, 2024 15:54 11m 11s
feat: enable nix build CI #3: Commit b001daa pushed by uulm-janbaudisch
May 3, 2024 07:56 10m 13s nix
nix
May 3, 2024 07:56 10m 13s
feat: enable nix build Windows #3: Commit b001daa pushed by uulm-janbaudisch
May 3, 2024 07:56 19m 18s nix
nix
May 3, 2024 07:56 19m 18s
feat: enable nix build Windows #2: Commit 8bc847d pushed by uulm-janbaudisch
May 2, 2024 22:39 2m 23s nix
nix
May 2, 2024 22:39 2m 23s
feat: enable nix build CI #2: Commit 8bc847d pushed by uulm-janbaudisch
May 2, 2024 22:39 14m 41s nix
nix
May 2, 2024 22:39 14m 41s
feat: enable nix build Windows #1: Commit 40fd7d3 pushed by uulm-janbaudisch
May 2, 2024 22:38 29s nix
nix
May 2, 2024 22:38 29s
feat: enable nix build CI #1: Commit 40fd7d3 pushed by uulm-janbaudisch
May 2, 2024 22:38 1m 8s nix
nix
May 2, 2024 22:38 1m 8s
feat(dependencies): update CI #287: Commit 44daa3b pushed by uulm-janbaudisch
May 2, 2024 16:16 19m 1s main
main
May 2, 2024 16:16 19m 1s
fix(ci): include homebrew installed headers on m1 macOS CI #286: Commit f58149c pushed by uulm-janbaudisch
April 29, 2024 15:30 18m 2s m1-ci
m1-ci
April 29, 2024 15:30 18m 2s
fix(readme): use volume in docker example CI #285: Commit 9d72bf7 pushed by uulm-janbaudisch
April 29, 2024 15:00 18m 43s container
container
April 29, 2024 15:00 18m 43s
fix(readme): use volume in docker example CI #284: Commit b8579b3 pushed by uulm-janbaudisch
April 26, 2024 17:28 17m 50s container
container
April 26, 2024 17:28 17m 50s
Merge pull request #6 from SoftVarE-Group/improve-readme CI #283: Commit 984216f pushed by SundermannC
April 26, 2024 16:25 19m 41s main
main
April 26, 2024 16:25 19m 41s
fix(ci): use correct tag wildcard CI #282: Commit 4fb650c pushed by uulm-janbaudisch
April 26, 2024 13:50 20m 4s container
container
April 26, 2024 13:50 20m 4s
feat(readme): update container section CI #281: Commit 3b1b5c5 pushed by uulm-janbaudisch
April 26, 2024 13:48 2m 16s container
container
April 26, 2024 13:48 2m 16s
feat(ci): add container workflow CI #280: Commit 8e232e0 pushed by uulm-janbaudisch
April 26, 2024 13:23 28s container
container
April 26, 2024 13:23 28s
feat(ci): add container workflow CI #279: Commit e366a27 pushed by uulm-janbaudisch
April 26, 2024 13:09 2m 33s container
container
April 26, 2024 13:09 2m 33s
feat(ci): add container workflow CI #278: Commit 4f820b1 pushed by uulm-janbaudisch
April 26, 2024 13:08 4m 0s container
container
April 26, 2024 13:08 4m 0s
feat(readme): add installation instructions CI #277: Commit 128c124 pushed by uulm-janbaudisch
April 26, 2024 10:36 19m 1s improve-readme
improve-readme
April 26, 2024 10:36 19m 1s
fix(ci): set cxx std version via environment CI #276: Commit f1e7d9d pushed by uulm-janbaudisch
April 26, 2024 10:17 18m 40s m1-ci
m1-ci
April 26, 2024 10:17 18m 40s
feat(dependencies): update CI #275: Commit dd60188 pushed by uulm-janbaudisch
April 25, 2024 12:50 19m 27s m1-ci
m1-ci
April 25, 2024 12:50 19m 27s
feat(ci): add aarch64 macOS run CI #274: Commit b7284e2 pushed by uulm-janbaudisch
April 23, 2024 14:01 18m 26s m1-ci
m1-ci
April 23, 2024 14:01 18m 26s
feat(ci): add aarch64 macOS run CI #273: Commit 54dc3ba pushed by uulm-janbaudisch
April 23, 2024 12:03 25m 54s m1-ci
m1-ci
April 23, 2024 12:03 25m 54s
feat(ci): add aarch64 macOS run CI #272: Commit 850d600 pushed by uulm-janbaudisch
April 23, 2024 12:01 2m 12s m1-ci
m1-ci
April 23, 2024 12:01 2m 12s
feat(reamde): small improvements CI #271: Commit 68008b5 pushed by uulm-janbaudisch
April 23, 2024 11:52 19m 7s improve-readme
improve-readme
April 23, 2024 11:52 19m 7s
ProTip! You can narrow down the results and go further in time using created:<2024-04-23 or the other filters available.