Skip to content

Actions: SSoelvsten/adiar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
327 workflow run results
327 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix incorrect duplication of documentation linux #204: Commit a73aa1f pushed by SSoelvsten
November 4, 2023 12:16 16m 53s main
main
November 4, 2023 12:16 16m 53s
Fix incorrect duplication of documentation examples #1640: Commit a73aa1f pushed by SSoelvsten
November 4, 2023 12:16 11m 45s main
main
November 4, 2023 12:16 11m 45s
Fix incorrect duplication of documentation macOS #204: Commit a73aa1f pushed by SSoelvsten
November 4, 2023 12:16 32m 45s main
main
November 4, 2023 12:16 32m 45s
pages build and deployment pages-build-deployment #171: by github-pages bot
November 4, 2023 10:50 45s gh-pages
gh-pages
November 4, 2023 10:50 45s
Shorten zdd/subset test names coverage #166: Commit c13164a pushed by SSoelvsten
November 4, 2023 10:49 21m 4s main
main
November 4, 2023 10:49 21m 4s
Shorten zdd/subset test names documentation #402: Commit c13164a pushed by SSoelvsten
November 4, 2023 10:49 1m 18s main
main
November 4, 2023 10:49 1m 18s
Shorten zdd/subset test names windows #203: Commit c13164a pushed by SSoelvsten
November 4, 2023 10:49 34s main
main
November 4, 2023 10:49 34s
Shorten zdd/subset test names linux #203: Commit c13164a pushed by SSoelvsten
November 4, 2023 10:49 28s main
main
November 4, 2023 10:49 28s
Shorten zdd/subset test names examples #1639: Commit c13164a pushed by SSoelvsten
November 4, 2023 10:49 29s main
main
November 4, 2023 10:49 29s
Shorten zdd/subset test names macOS #203: Commit c13164a pushed by SSoelvsten
November 4, 2023 10:49 37m 47s main
main
November 4, 2023 10:49 37m 47s
Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) documentation #401: Pull request #564 synchronize by SSoelvsten
November 4, 2023 10:18 3m 59s bdd/restrict_overloads
bdd/restrict_overloads
November 4, 2023 10:18 3m 59s
Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) cancel #811: Pull request #564 synchronize by SSoelvsten
November 4, 2023 10:18 4m 53s bdd/restrict_overloads
bdd/restrict_overloads
November 4, 2023 10:18 4m 53s
Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) static analysis #872: Pull request #564 synchronize by SSoelvsten
November 4, 2023 10:18 5m 25s bdd/restrict_overloads
bdd/restrict_overloads
November 4, 2023 10:18 5m 25s
Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) benchmark (pull request) #684: Pull request #564 synchronize by SSoelvsten
November 4, 2023 10:18 1h 24m 22s bdd/restrict_overloads
bdd/restrict_overloads
November 4, 2023 10:18 1h 24m 22s
Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) macOS #202: Pull request #564 synchronize by SSoelvsten
November 4, 2023 10:18 37m 3s bdd/restrict_overloads
bdd/restrict_overloads
November 4, 2023 10:18 37m 3s
Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) windows #202: Pull request #564 synchronize by SSoelvsten
November 4, 2023 10:18 18m 19s bdd/restrict_overloads
bdd/restrict_overloads
November 4, 2023 10:18 18m 19s
Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) linux #202: Pull request #564 synchronize by SSoelvsten
November 4, 2023 10:18 20m 53s bdd/restrict_overloads
bdd/restrict_overloads
November 4, 2023 10:18 20m 53s
Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) system test #684: Pull request #564 synchronize by SSoelvsten
November 4, 2023 10:18 21m 45s bdd/restrict_overloads
bdd/restrict_overloads
November 4, 2023 10:18 21m 45s
Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) examples #1638: Pull request #564 synchronize by SSoelvsten
November 4, 2023 10:18 22m 4s bdd/restrict_overloads
bdd/restrict_overloads
November 4, 2023 10:18 22m 4s
Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) coverage #165: Pull request #564 synchronize by SSoelvsten
November 4, 2023 10:18 25m 54s bdd/restrict_overloads
bdd/restrict_overloads
November 4, 2023 10:18 25m 54s
Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) cancel #810: Pull request #564 synchronize by SSoelvsten
November 4, 2023 10:15 22s bdd/restrict_overloads
bdd/restrict_overloads
November 4, 2023 10:15 22s
Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) system test #683: Pull request #564 synchronize by SSoelvsten
November 4, 2023 10:15 6m 38s bdd/restrict_overloads
bdd/restrict_overloads
November 4, 2023 10:15 6m 38s
Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) benchmark (pull request) #683: Pull request #564 synchronize by SSoelvsten
November 4, 2023 10:15 7m 42s bdd/restrict_overloads
bdd/restrict_overloads
November 4, 2023 10:15 7m 42s
Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) linux #201: Pull request #564 synchronize by SSoelvsten
November 4, 2023 10:15 7m 45s bdd/restrict_overloads
bdd/restrict_overloads
November 4, 2023 10:15 7m 45s
Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) windows #201: Pull request #564 synchronize by SSoelvsten
November 4, 2023 10:15 7m 37s bdd/restrict_overloads
bdd/restrict_overloads
November 4, 2023 10:15 7m 37s