Skip to content

Actions: automators-com/flowproof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
SAP E2E (real GUI) SAP E2E (real GUI) #212: Scheduled
32m 47s main
main
32m 47s
Add frontmatter and sidebar ordering to docs/ for the new docs site CI #1159: Pull request #558 opened by HappyDevs1
10s docs-frontmatter
docs-frontmatter
10s
Add frontmatter and sidebar ordering to docs/ for the new docs site adversary #455: Pull request #558 opened by HappyDevs1
12s docs-frontmatter
docs-frontmatter
12s
Add frontmatter and sidebar ordering to docs/ for the new docs site constitution #463: Pull request #558 opened by HappyDevs1
23s docs-frontmatter
docs-frontmatter
23s
SAP E2E (real GUI) SAP E2E (real GUI) #211: Scheduled
32m 33s main
main
32m 33s
Merge pull request #557 from automators-com/docs/readme-upgrading-sec… CI #1158: Commit d7bffc6 pushed by HappyDevs1
In progress main
main
In progress
docs(readme): add an Upgrading section adversary #454: Pull request #557 synchronize by HappyDevs1
11s docs/readme-upgrading-section
docs/readme-upgrading-section
11s
docs(readme): add an Upgrading section constitution #462: Pull request #557 synchronize by HappyDevs1
24s docs/readme-upgrading-section
docs/readme-upgrading-section
24s
docs(readme): add an Upgrading section CI #1157: Pull request #557 synchronize by HappyDevs1
4m 31s docs/readme-upgrading-section
docs/readme-upgrading-section
4m 31s
Merge pull request #556 from automators-com/docs/trace-format-control… CI #1156: Commit 74ad993 pushed by HappyDevs1
15m 43s main
main
15m 43s
Merge pull request #556 from automators-com/docs/trace-format-control… Rebuild website docs #156: Commit 74ad993 pushed by HappyDevs1
9s main
main
9s
docs(readme): add an Upgrading section CI #1155: Pull request #557 opened by HappyDevs1
11s docs/readme-upgrading-section
docs/readme-upgrading-section
11s
docs(readme): add an Upgrading section constitution #461: Pull request #557 opened by HappyDevs1
19s docs/readme-upgrading-section
docs/readme-upgrading-section
19s
docs(readme): add an Upgrading section adversary #453: Pull request #557 opened by HappyDevs1
13s docs/readme-upgrading-section
docs/readme-upgrading-section
13s
docs(trace): document the header control field constitution #460: Pull request #556 opened by HappyDevs1
21s docs/trace-format-control-field
docs/trace-format-control-field
21s
docs(trace): document the header control field CI #1154: Pull request #556 opened by HappyDevs1
8s docs/trace-format-control-field
docs/trace-format-control-field
8s
docs(trace): document the header control field adversary #452: Pull request #556 opened by HappyDevs1
11s docs/trace-format-control-field
docs/trace-format-control-field
11s
SAP E2E (real GUI) SAP E2E (real GUI) #210: Scheduled
33m 9s main
main
33m 9s
SAP E2E (real GUI) SAP E2E (real GUI) #209: Scheduled
33m 20s main
main
33m 20s
SAP E2E (real GUI) SAP E2E (real GUI) #208: Scheduled
32m 53s main
main
32m 53s
Merge pull request #555 from automators-com/release/0.22.0 Publish to npm #31: Commit 68974ed pushed by HappyDevs1
10m 2s v0.22.0
v0.22.0
10m 2s
Merge pull request #555 from automators-com/release/0.22.0 Publish to PyPI #48: Commit 68974ed pushed by HappyDevs1
10m 39s v0.22.0
v0.22.0
10m 39s
Graph Update: uv in /sdk/python #1560975658 Dependency Graph #43: by dependabot Bot
43s main
main
43s
Merge pull request #555 from automators-com/release/0.22.0 CI #1153: Commit 68974ed pushed by HappyDevs1
24m 46s main
main
24m 46s
chore(release): bump version to 0.22.0 adversary #451: Pull request #555 opened by HappyDevs1
13s release/0.22.0
release/0.22.0
13s