Skip to content

Actions: MarcusMa06-code/pie-slang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #5 from MarcusMa06-code/fix/code-quality Deploy Proof Editor Demo #8: Commit c989362 pushed by MarcusMa06-code
1m 16s demo
demo
1m 16s
pages build and deployment pages-build-deployment #7: by github-pages Bot
32s gh-pages
gh-pages
32s
Merge pull request #3 from MarcusMa06-code/fix/code-quality Deploy Proof Editor Demo #7: Commit f4a2835 pushed by MarcusMa06-code
1m 15s demo
demo
1m 15s
pages build and deployment pages-build-deployment #6: by github-pages Bot
38s gh-pages
gh-pages
38s
Fix Reset Layout button overlapping ReactFlow zoom controls Deploy Proof Editor Demo #6: Commit ad1c951 pushed by MarcusMa06-code
1m 27s demo
demo
1m 27s
Add interactive onboarding tour (driver.js) Deploy Proof Editor Demo #5: Commit d634711 pushed by MarcusMa06-code
36s demo
demo
36s
pages build and deployment pages-build-deployment #5: by github-pages Bot
33s gh-pages
gh-pages
33s
Merge: fix new-goal overlap in useAutoLayout Deploy Proof Editor Demo #4: Commit 9d13353 pushed by MarcusMa06-code
1m 18s demo
demo
1m 18s
pages build and deployment pages-build-deployment #4: by github-pages Bot
33s gh-pages
gh-pages
33s
Merge: vertical Source label + hide connected handles Deploy Proof Editor Demo #3: Commit fbd0e4c pushed by MarcusMa06-code
1m 33s demo
demo
1m 33s
pages build and deployment pages-build-deployment #3: by github-pages Bot
29s gh-pages
gh-pages
29s
Merge: single-position source panel toggle Deploy Proof Editor Demo #2: Commit b9918a8 pushed by MarcusMa06-code
1m 12s demo
demo
1m 12s
pages build and deployment pages-build-deployment #2: by github-pages Bot
21s gh-pages
gh-pages
21s
Add GitHub Actions workflow to deploy proof editor demo Deploy Proof Editor Demo #1: Commit 55c6063 pushed by MarcusMa06-code
1m 10s demo
demo
1m 10s
pages build and deployment pages-build-deployment #1: by MarcusMa06-code
25s gh-pages
gh-pages
25s
Add real-time proof editor diagnostics CI #5: Commit 916707d pushed by MarcusMa06-code
11s visualization
visualization
11s
Fix false editor conflicts on canvas sync CI #4: Commit 8b42880 pushed by MarcusMa06-code
8s visualization
visualization
8s
Fix Monaco proof editor regressions CI #3: Commit 44fa936 pushed by MarcusMa06-code
10s visualization
visualization
10s
Resolve #172 conflicts: rebase onto ai-visual, keep Monaco additions CI #2: Commit b4a70be pushed by MarcusMa06-code
9s visualization
visualization
9s
Resolve #172 conflicts: rebase onto ai-visual, keep Monaco additions CI #1: Commit b31b341 pushed by MarcusMa06-code
10s visualization
visualization
10s