Skip to content

Actions: KeYProject/key-docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
211 workflow runs
211 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 #58 from KeYProject/dependabot/github_actions/acti… Render Pages #342: Commit 1d57997 pushed by wadoon
49s master
master
49s
devcontainers in /. - Update #1429436930 Dependabot Updates #132: by dependabot Bot
29s master
master
29s
Bump actions/checkout from 6 to 7 Render Pages #341: Pull request #58 opened by dependabot Bot
31s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
31s
github_actions in /. - Update #1429433157 Dependabot Updates #131: by dependabot Bot
38s master
master
38s
proof script commands updated Render Pages #340: Commit 75bd10b pushed by mattulbrich
52s master
master
52s
Refresh MT speedup numbers and charts after the perf re-merge Render Pages #339: Commit 4ef6773 pushed by unp1
44s master
master
44s
Document the taclet match dialog's collapse + larger-editor follow-ups Render Pages #338: Commit 05a04d6 pushed by unp1
54s master
master
54s
Render Pages Render Pages #337: Scheduled
41s master
master
41s
approve slicing page Render Pages #336: Commit 8de0a18 pushed by WolframPfeifer
46s master
master
46s
CSS to not overlap Render Pages #335: Commit 52b4221 pushed by mattulbrich
1m 7s master
master
1m 7s
larger font size in abstracts etc. Render Pages #334: Commit c74c7bb pushed by WolframPfeifer
59s master
master
59s
more approval Render Pages #333: Commit 5244349 pushed by mattulbrich
2m 22s master
master
2m 22s
authors in meta data, some reviews Render Pages #332: Commit beaab9d pushed by mattulbrich
1m 36s master
master
1m 36s
Add the multi-core proving speedup charts to the dev doc Render Pages #331: Commit 02b5c1e pushed by unp1
43s master
master
43s
Link the Multi-Core Proving page to its pull request Render Pages #330: Commit 3b09cc5 pushed by unp1
47s master
master
47s
Add the Multi-Core Proving developer documentation Render Pages #329: Commit b3b793f pushed by unp1
40s master
master
40s
docs(devel): combined figure now includes the matcher (1.82x, all fiv… Render Pages #328: Commit e801319 pushed by unp1
49s master
master
49s
docs: fix combined figure in changelog (1.66x -> 1.74x) Render Pages #327: Commit 3b1f4f0 pushed by unp1
1m 1s master
master
1m 1s
docs(devel): refresh combined perf numbers (1.66x -> 1.74x) Render Pages #326: Commit 2e90425 pushed by unp1
37s master
master
37s
docs(devel): matcher is now on by default (interpreter opt-out) Render Pages #325: Commit e9e6ea2 pushed by unp1
51s master
master
51s
docs(devel): add Performance Optimizations (3.1) page Render Pages #324: Commit 259b41a pushed by unp1
50s master
master
50s
Publish the taclet match dialog guide in the user guide Render Pages #323: Commit cafce86 pushed by unp1
49s master
master
49s
devcontainers in /. - Update #1414003244 Dependabot Updates #130: by dependabot Bot
52s master
master
52s
github_actions in /. - Update #1413999654 Dependabot Updates #129: by dependabot Bot
43s master
master
43s
Extend the taclet-match dialog guide Render Pages #322: Commit 13e7d50 pushed by unp1
1m 12s master
master
1m 12s