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
added ref to discussion Render Pages #351: Commit 5b164d9 pushed by unp1
47s master
master
47s
minor polish Render Pages #350: Commit 65a17a4 pushed by unp1
54s master
master
54s
added PR link Render Pages #349: Commit 86c83f0 pushed by unp1
51s master
master
51s
KEP: Lemma Generator Render Pages #348: Commit b7b5e31 pushed by unp1
45s master
master
45s
Render Pages Render Pages #347: Scheduled
50s master
master
50s
TermLabels: make the hooks section understandable without prior knowl… Render Pages #346: Commit 5f7b51c pushed by unp1
44s master
master
44s
Term labels: add open-PR notice referring to KeYProject/key#3884 Render Pages #345: Commit 7342ea8 pushed by unp1
15s master
master
15s
devcontainers in /. - Update #1439659260 Dependabot Updates #134: by dependabot Bot
27s master
master
27s
github_actions in /. - Update #1439656612 Dependabot Updates #133: by dependabot Bot
35s master
master
35s
Render Pages Render Pages #344: Scheduled
53s master
master
53s
Consolidate the multi-core speedup figures (perf now in main) Render Pages #343: Commit 6eda2da pushed by unp1
40s master
master
40s
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