Skip to content

Actions: proofscape/pise

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
168 workflow runs
168 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Header maintenance and related tooling pise-build-and-test #215: Pull request #86 opened by skieffer
June 3, 2024 21:46 3m 28s skieffer:header-maint
skieffer:header-maint
June 3, 2024 21:46 3m 28s
Merge pull request #85 from skieffer/tolerate-network-errors pise-build-and-test #214: Commit 6c5ac54 pushed by skieffer
June 3, 2024 21:43 3m 4s main
main
June 3, 2024 21:43 3m 4s
Make try_to_proxy() func tolerate network errors pise-build-and-test #213: Pull request #85 opened by skieffer
June 3, 2024 21:40 3m 17s skieffer:tolerate-network-errors
skieffer:tolerate-network-errors
June 3, 2024 21:40 3m 17s
Merge pull request #84 from skieffer/repair-node-annolinks pise-build-and-test #212: Commit 9c4da75 pushed by skieffer
June 3, 2024 21:38 2m 58s main
main
June 3, 2024 21:38 2m 58s
Repair node annolinks pise-build-and-test #211: Pull request #84 opened by skieffer
June 3, 2024 21:35 2m 29s skieffer:repair-node-annolinks
skieffer:repair-node-annolinks
June 3, 2024 21:35 2m 29s
Merge pull request #83 from skieffer/link-ref-field pise-build-and-test #210: Commit ab22f2d pushed by skieffer
June 3, 2024 21:32 2m 55s main
main
June 3, 2024 21:32 2m 55s
Rework link widget ref field pise-build-and-test #209: Pull request #83 opened by skieffer
June 3, 2024 21:27 2m 43s skieffer:link-ref-field
skieffer:link-ref-field
June 3, 2024 21:27 2m 43s
Merge pull request #82 from skieffer/make-trust-settings-from-client pise-build-and-test #208: Commit b398860 pushed by skieffer
June 3, 2024 21:25 2m 49s main
main
June 3, 2024 21:25 2m 49s
Improvements for disp widgets pise-build-and-test #207: Pull request #82 opened by skieffer
June 3, 2024 21:19 2m 30s skieffer:make-trust-settings-from-client
skieffer:make-trust-settings-from-client
June 3, 2024 21:19 2m 30s
Merge pull request #81 from skieffer/fix-syntax-hl-on-reload pise-build-and-test #206: Commit b879f83 pushed by skieffer
June 3, 2024 21:14 3m 46s main
main
June 3, 2024 21:14 3m 46s
Ensure correct syntax highlighting on reload of editor panel pise-build-and-test #205: Pull request #81 opened by skieffer
June 3, 2024 21:09 3m 2s skieffer:fix-syntax-hl-on-reload
skieffer:fix-syntax-hl-on-reload
June 3, 2024 21:09 3m 2s
Merge pull request #80 from skieffer/rework-param-widgets pise-build-and-test #204: Commit 6ec88ca pushed by skieffer
June 3, 2024 20:42 3m 20s main
main
June 3, 2024 20:42 3m 20s
Rework param widget fields pise-build-and-test #203: Pull request #80 opened by skieffer
June 3, 2024 20:34 3m 25s skieffer:rework-param-widgets
skieffer:rework-param-widgets
June 3, 2024 20:34 3m 25s
Merge pull request #79 from skieffer/repair-groupId pise-build-and-test #202: Commit e42aef5 pushed by skieffer
June 3, 2024 20:28 2m 38s main
main
June 3, 2024 20:28 2m 38s
c: Repair Widget.groupId pise-build-and-test #201: Pull request #79 opened by skieffer
June 3, 2024 20:24 2m 37s skieffer:repair-groupId
skieffer:repair-groupId
June 3, 2024 20:24 2m 37s
Merge pull request #78 from skieffer/improve-repomgr-messages pise-build-and-test #200: Commit 9872b38 pushed by skieffer
June 3, 2024 20:21 3m 14s main
main
June 3, 2024 20:21 3m 14s
Improve RepoManager messages pise-build-and-test #199: Pull request #78 opened by skieffer
June 3, 2024 20:17 2m 44s skieffer:improve-repomgr-messages
skieffer:improve-repomgr-messages
June 3, 2024 20:17 2m 44s
Merge pull request #77 from skieffer/fix-about-dialog pise-build-and-test #198: Commit f8a1672 pushed by skieffer
June 3, 2024 20:16 3m 15s main
main
June 3, 2024 20:16 3m 15s
Make max-width setting for Hub.alert() more selective pise-build-and-test #197: Pull request #77 opened by skieffer
June 3, 2024 20:07 2m 42s skieffer:fix-about-dialog
skieffer:fix-about-dialog
June 3, 2024 20:07 2m 42s
Merge pull request #76 from skieffer/deps-improvements pise-build-and-test #196: Commit 4057f1f pushed by skieffer
June 3, 2024 20:05 3m 36s main
main
June 3, 2024 20:05 3m 36s
Dependency handling: changes and improvements pise-build-and-test #195: Pull request #76 opened by skieffer
June 3, 2024 20:01 3m 22s skieffer:deps-improvements
skieffer:deps-improvements
June 3, 2024 20:01 3m 22s
Merge pull request #75 from skieffer/missing-view-opt pise-build-and-test #194: Commit b4a3548 pushed by skieffer
June 3, 2024 19:55 2m 31s main
main
June 3, 2024 19:55 2m 31s
Accept viewOpts.inclNbhd field in chart widget pise-build-and-test #193: Pull request #75 opened by skieffer
June 3, 2024 19:52 2m 32s skieffer:missing-view-opt
skieffer:missing-view-opt
June 3, 2024 19:52 2m 32s
Merge pull request #74 from skieffer/catch-prohib-names pise-build-and-test #192: Commit 5c671a1 pushed by skieffer
June 3, 2024 19:49 2m 53s main
main
June 3, 2024 19:49 2m 53s
Catch prohibited names pise-build-and-test #191: Pull request #74 opened by skieffer
June 3, 2024 19:44 3m 0s skieffer:catch-prohib-names
skieffer:catch-prohib-names
June 3, 2024 19:44 3m 0s