Skip to content

Actions: KeYProject/key-docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
196 workflow runs
196 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
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
Add (unpublished) taclet-match dialog user guide Render Pages #321: Commit d67ae6d pushed by unp1
49s master
master
49s
Render Pages Render Pages #320: Scheduled
47s master
master
47s
improve terminology Render Pages #319: Commit 5ec7ec7 pushed by unp1
47s master
master
47s
Merge pull request #57 from KeYProject/next Render Pages #318: Commit 35f6cb5 pushed by unp1
50s master
master
50s
Remove unused icons Render Pages #317: Pull request #57 opened by unp1
24s next
next
24s
Merge pull request #56 from KeYProject/next Render Pages #316: Commit 303dcc4 pushed by unp1
1m 27s master
master
1m 27s
Update toolbar icons Render Pages #315: Pull request #56 opened by unp1
28s next
next
28s
Merge pull request #55 from KeYProject/next Render Pages #314: Commit 73d0ba6 pushed by unp1
59s master
master
59s
KeY Docs update with help of AI Render Pages #313: Pull request #55 synchronize by unp1
2m 51s next
next
2m 51s
KeY Docs update with help of AI Render Pages #312: Pull request #55 synchronize by unp1
58s next
next
58s
KeY Docs update with help of AI Render Pages #311: Pull request #55 opened by unp1
42s next
next
42s
devcontainers in /. - Update #1403115303 Dependabot Updates #128: by dependabot Bot
34s master
master
34s
github_actions in /. - Update #1403111692 Dependabot Updates #127: by dependabot Bot
42s master
master
42s
Render Pages Render Pages #310: Scheduled
57s master
master
57s
devcontainers in /. - Update #1394560230 Dependabot Updates #126: by dependabot Bot
23s master
master
23s
github_actions in /. - Update #1394555686 Dependabot Updates #125: by dependabot Bot
29s master
master
29s