Skip to content

Actions: Z3Prover/z3prover.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
103 workflow runs
103 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #166: by NikolajBjorner
51s master
master
51s
deploy: Z3Prover/z3@5ceb312f41d64f3a61a301752473ecf53d3d9673 Node.js CI #55: Commit a4d8b10 pushed by NikolajBjorner
23s master
master
23s
Enable Jekyll to render markdown files on GitHub Pages Node.js CI #54: Pull request #6 synchronize by Copilot AI
Action required copilot/enable-md-file-viewing
copilot/enable-md-file-viewing
Action required
Enable Jekyll to render markdown files on GitHub Pages Node.js CI #53: Pull request #6 synchronize by Copilot AI
Action required copilot/enable-md-file-viewing
copilot/enable-md-file-viewing
Action required
Enable Jekyll to render markdown files on GitHub Pages Node.js CI #52: Pull request #6 synchronize by Copilot AI
-1s copilot/enable-md-file-viewing
copilot/enable-md-file-viewing
-1s
Enable Jekyll to render markdown files on GitHub Pages Node.js CI #51: Pull request #6 synchronize by Copilot AI
Action required copilot/enable-md-file-viewing
copilot/enable-md-file-viewing
Action required
Running Copilot coding agent Copilot coding agent #1: by Copilot AI
11m 17s copilot/enable-md-file-viewing
copilot/enable-md-file-viewing
11m 17s
Enable Jekyll to render markdown files on GitHub Pages Node.js CI #50: Pull request #6 opened by Copilot AI
Action required copilot/enable-md-file-viewing
copilot/enable-md-file-viewing
Action required
pages build and deployment pages-build-deployment #165: by NikolajBjorner
55s master
master
55s
online papers Node.js CI #49: Commit 3c8565f pushed by NikolajBjorner
20s master
master
20s
pages build and deployment pages-build-deployment #164: by NikolajBjorner
51s master
master
51s
convert to index Node.js CI #48: Commit 3321df8 pushed by NikolajBjorner
20s master
master
20s
pages build and deployment pages-build-deployment #163: by NikolajBjorner
55s master
master
55s
deploy: Z3Prover/z3@909e41ce9c2b4143f41fac9c16dad39ad514b9d9 Node.js CI #47: Commit ff759f3 pushed by NikolajBjorner
20s master
master
20s
pages build and deployment pages-build-deployment #162: by NikolajBjorner
1m 0s master
master
1m 0s
converted to index.html Node.js CI #46: Commit 7bcc7b6 pushed by NikolajBjorner
23s master
master
23s
pages build and deployment pages-build-deployment #161: by NikolajBjorner
47s master
master
47s
remove stale doc directory Node.js CI #45: Commit 7f10756 pushed by NikolajBjorner
23s master
master
23s
pages build and deployment pages-build-deployment #160: by NikolajBjorner
59s master
master
59s
include relative README. Node.js CI #44: Commit ad4ff9e pushed by NikolajBjorner
24s master
master
24s
touch readme Node.js CI #43: Commit 1a0aa64 pushed by NikolajBjorner
21s master
master
21s
pages build and deployment pages-build-deployment #159: by NikolajBjorner
52s master
master
52s
pages build and deployment pages-build-deployment #158: by NikolajBjorner
52s master
master
52s
deploy: Z3Prover/z3@1cccbfdcf338051a4f5a982bec85dad65f2511f3 Node.js CI #42: Commit 8127781 pushed by NikolajBjorner
23s master
master
23s
update location Node.js CI #41: Commit 1e0363f pushed by NikolajBjorner
30s master
master
30s