Skip to content

Actions: inQWIRE/ViZX

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

version bump + change in coq-lsp dependency. also can potentially add… CI for Github #77: Commit 1c26936 pushed by bhaktishh
July 11, 2024 01:56 28s main
main
July 11, 2024 01:56 28s
QOL improvements: History [@adrianleh] and scale CI for Github #76: Commit 91e552b pushed by bhaktishh
June 30, 2024 20:50 24s main
main
June 30, 2024 20:50 24s
Add history and scale as QOL improvements CI for Github #75: Pull request #20 synchronize by adrianleh
June 21, 2024 19:34 23s qol/history-scale
qol/history-scale
June 21, 2024 19:34 23s
Add history and scale as QOL improvements CI for Github #74: Pull request #20 opened by adrianleh
June 21, 2024 19:24 24s qol/history-scale
qol/history-scale
June 21, 2024 19:24 24s
Merge pull request #19 from inQWIRE/bhakti-branch CI for Github #73: Commit 89ce033 pushed by bhaktishh
November 14, 2023 21:06 26s main
main
November 14, 2023 21:06 26s
font changes from monospace to arial, + sizing changes CI for Github #72: Pull request #19 opened by bhaktishh
November 14, 2023 21:05 31s bhakti-branch
bhakti-branch
November 14, 2023 21:05 31s