Skip to content

Actions: tweag/skyscope

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
71 workflow runs
71 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Embed version string and git commit hash in binary
Continuous integration #172: Pull request #130 opened by benradf
August 30, 2024 09:36 24m 0s embed-version
August 30, 2024 09:36 24m 0s
Update README.md
Continuous integration #171: Commit 03a9b05 pushed by benradf
July 11, 2024 10:52 26m 22s master
July 11, 2024 10:52 26m 22s
Update version to v0.4.3 in README.md
Continuous integration #170: Pull request #129 opened by benradf
July 11, 2024 10:52 24m 50s benradf-patch-2
July 11, 2024 10:52 24m 50s
Pin macos runner to macos-12 to fix purescript on aarch64.
Continuous integration #169: Commit 17baaf8 pushed by benradf
July 11, 2024 10:36 29m 17s master
July 11, 2024 10:36 29m 17s
Import config after skyframe to avoid graph invalidation.
Continuous integration #168: Commit 8dac37e pushed by benradf
July 11, 2024 10:31 3m 27s master
July 11, 2024 10:31 3m 27s
Import config after skyframe to avoid graph invalidation
Continuous integration #167: Pull request #128 opened by benradf
July 11, 2024 10:31 3m 27s benradf:config-after-skyframe
July 11, 2024 10:31 3m 27s
Fix malformed edge id error when node id contains underscore
Continuous integration #166: Pull request #127 synchronize by benradf
July 11, 2024 10:05 30m 9s fix-malformed-edge-id-error
July 11, 2024 10:05 30m 9s
Fix malformed edge id error when node id contains underscore
Continuous integration #165: Pull request #127 synchronize by benradf
July 11, 2024 10:03 3m 36s fix-malformed-edge-id-error
July 11, 2024 10:03 3m 36s
Fix malformed edge id error when node id contains underscore
Continuous integration #164: Pull request #127 opened by benradf
July 11, 2024 09:59 3m 37s fix-malformed-edge-id-error
July 11, 2024 09:59 3m 37s
Update README.md
Continuous integration #163: Commit f2050bd pushed by benradf
February 21, 2024 09:19 34m 59s master
February 21, 2024 09:19 34m 59s
Update README.md
Continuous integration #162: Pull request #125 opened by benradf
February 21, 2024 09:19 22m 50s benradf-patch-2
February 21, 2024 09:19 22m 50s
Minor tweaks to style.
Continuous integration #161: Commit 372f04b pushed by benradf
February 21, 2024 09:11 38m 42s master
February 21, 2024 09:11 38m 42s
Minor tweaks to style
Continuous integration #160: Pull request #124 opened by benradf
February 21, 2024 09:11 29m 31s benradf:minor-tweaks-to-style
February 21, 2024 09:11 29m 31s
Update README.md
Continuous integration #159: Commit dacb132 pushed by benradf
February 18, 2024 08:55 41m 55s master
February 18, 2024 08:55 41m 55s
Update README.md
Continuous integration #158: Pull request #123 opened by benradf
February 18, 2024 08:55 24m 8s benradf-patch-2
February 18, 2024 08:55 24m 8s
Fix build broken by purescript warnings.
Continuous integration #157: Commit e644079 pushed by benradf
February 18, 2024 08:34 27m 4s master
February 18, 2024 08:34 27m 4s
Fix build broken by purescript warnings.
Continuous integration #156: Pull request #122 opened by benradf
February 18, 2024 08:34 40m 37s benradf:fix-build
February 18, 2024 08:34 40m 37s
Make popup dismissal less sensitive and other clean-up.
Continuous integration #155: Commit 14681dc pushed by benradf
February 18, 2024 08:28 7m 1s master
February 18, 2024 08:28 7m 1s
Show diff when two configuration popups are pinned
Continuous integration #154: Pull request #121 opened by benradf
February 18, 2024 08:28 3m 26s benradf:improvements
February 18, 2024 08:28 3m 26s
Update README.md
Continuous integration #153: Commit a7dd88c pushed by benradf
February 17, 2024 15:30 40m 27s master
February 17, 2024 15:30 40m 27s
Update README.md
Continuous integration #152: Pull request #120 opened by benradf
February 17, 2024 15:30 44m 22s benradf-patch-2
February 17, 2024 15:30 44m 22s
Expand and keep popups open when pin icon is clicked.
Continuous integration #151: Commit 20a5d5c pushed by benradf
February 17, 2024 14:16 37m 38s master
February 17, 2024 14:16 37m 38s
Display node data as selectable text in popup window instead of tooltip
Continuous integration #150: Pull request #119 opened by benradf
February 17, 2024 14:16 27m 50s benradf:improvements
February 17, 2024 14:16 27m 50s
Fix macos build by removing unsupported flags.
Continuous integration #149: Commit 5d13439 pushed by benradf
February 14, 2024 12:51 34m 21s master
February 14, 2024 12:51 34m 21s
Fix macos build by removing unsupported flags.
Continuous integration #148: Pull request #118 opened by benradf
February 14, 2024 12:51 42m 32s benradf-patch-2
February 14, 2024 12:51 42m 32s