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 #17: Commit d08db04 pushed by uulm-janbaudisch
May 4, 2024 20:05 17m 18s nix
nix
May 4, 2024 20:05 17m 18s
feat: enable nix build CI #16: Commit 5c3d0bf pushed by uulm-janbaudisch
May 3, 2024 23:16 12m 48s nix
nix
May 3, 2024 23:16 12m 48s
feat: enable nix build Windows #16: Commit 5c3d0bf pushed by uulm-janbaudisch
May 3, 2024 23:16 16m 31s nix
nix
May 3, 2024 23:16 16m 31s
feat: enable nix build Windows #15: Commit 986252c pushed by uulm-janbaudisch
May 3, 2024 23:08 17m 10s nix
nix
May 3, 2024 23:08 17m 10s
feat: enable nix build CI #15: Commit 986252c pushed by uulm-janbaudisch
May 3, 2024 23:08 11m 55s nix
nix
May 3, 2024 23:08 11m 55s
feat: enable nix build CI #14: Commit 767e734 pushed by uulm-janbaudisch
May 3, 2024 22:53 10m 24s nix
nix
May 3, 2024 22:53 10m 24s
feat: enable nix build Windows #14: Commit 767e734 pushed by uulm-janbaudisch
May 3, 2024 22:53 17m 15s nix
nix
May 3, 2024 22:53 17m 15s
feat: enable nix build CI #13: Commit a0b52b5 pushed by uulm-janbaudisch
May 3, 2024 17:26 16m 7s nix
nix
May 3, 2024 17:26 16m 7s
feat: enable nix build Windows #13: Commit a0b52b5 pushed by uulm-janbaudisch
May 3, 2024 17:26 15s nix
nix
May 3, 2024 17:26 15s
feat: enable nix build CI #12: Commit 3c4f9f3 pushed by uulm-janbaudisch
May 3, 2024 17:19 20m 8s nix
nix
May 3, 2024 17:19 20m 8s
feat: enable nix build Windows #12: Commit 3c4f9f3 pushed by uulm-janbaudisch
May 3, 2024 17:19 8s nix
nix
May 3, 2024 17:19 8s
feat: enable nix build CI #11: Commit fa96242 pushed by uulm-janbaudisch
May 3, 2024 17:18 1m 47s nix
nix
May 3, 2024 17:18 1m 47s
feat: enable nix build Windows #11: Commit fa96242 pushed by uulm-janbaudisch
May 3, 2024 17:18 7s nix
nix
May 3, 2024 17:18 7s
feat: enable nix build CI #10: Commit 074c7d5 pushed by uulm-janbaudisch
May 3, 2024 17:17 1m 23s nix
nix
May 3, 2024 17:17 1m 23s
feat: enable nix build Windows #10: Commit 074c7d5 pushed by uulm-janbaudisch
May 3, 2024 17:17 1m 2s nix
nix
May 3, 2024 17:17 1m 2s
feat: enable nix build CI #9: Commit c81a157 pushed by uulm-janbaudisch
May 3, 2024 17:06 11m 32s nix
nix
May 3, 2024 17:06 11m 32s
feat: enable nix build Windows #9: Commit c81a157 pushed by uulm-janbaudisch
May 3, 2024 17:06 23s nix
nix
May 3, 2024 17:06 23s
feat: enable nix build CI #8: Commit 5da35ed pushed by uulm-janbaudisch
May 3, 2024 17:04 1m 50s nix
nix
May 3, 2024 17:04 1m 50s
feat: enable nix build Windows #8: Commit 5da35ed pushed by uulm-janbaudisch
May 3, 2024 17:04 21s nix
nix
May 3, 2024 17:04 21s
feat: enable nix build Windows #7: Commit bdc99c8 pushed by uulm-janbaudisch
May 3, 2024 17:02 2m 9s nix
nix
May 3, 2024 17:02 2m 9s
feat: enable nix build CI #7: Commit bdc99c8 pushed by uulm-janbaudisch
May 3, 2024 17:02 2m 46s nix
nix
May 3, 2024 17:02 2m 46s
feat: enable nix build CI #6: Commit 6ebb86b pushed by uulm-janbaudisch
May 3, 2024 16:32 4m 3s nix
nix
May 3, 2024 16:32 4m 3s
feat: enable nix build Windows #6: Commit 6ebb86b pushed by uulm-janbaudisch
May 3, 2024 16:32 17m 21s nix
nix
May 3, 2024 16:32 17m 21s
feat: enable nix build Windows #5: Commit b700745 pushed by uulm-janbaudisch
May 3, 2024 16:24 18m 21s nix
nix
May 3, 2024 16:24 18m 21s
feat: enable nix build CI #5: Commit b700745 pushed by uulm-janbaudisch
May 3, 2024 16:24 10m 1s nix
nix
May 3, 2024 16:24 10m 1s
ProTip! You can narrow down the results and go further in time using created:<2024-05-03 or the other filters available.