Skip to content

Actions: osmhpi/eulynx-codegen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
66 workflow runs
66 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
Update generated file Generated Files Consistency #37: Commit 74ee115 pushed by rs22
3m 38s main
main
3m 38s
Update generated file Publish Pages #19: Commit 74ee115 pushed by rs22
7m 31s main
main
7m 31s
Update generated file Run Unique Transitions Analysis #9: Commit 74ee115 pushed by rs22
2m 36s main
main
2m 36s
Cleanup Publish Pages #18: Commit da0723d pushed by rs22
1m 32s main
main
1m 32s
Cleanup Generated Files Consistency #36: Commit da0723d pushed by rs22
3m 31s main
main
3m 31s
Cleanup Run Unique Transitions Analysis #8: Commit da0723d pushed by rs22
2m 14s main
main
2m 14s
Cleanup Run Unique Transitions Analysis #7: Commit da0723d pushed by rs22
1m 48s gh-actions-klee
gh-actions-klee
1m 48s
Cleanup Generated Files Consistency #35: Commit da0723d pushed by rs22
3m 35s gh-actions-klee
gh-actions-klee
3m 35s
Fix check Generated Files Consistency #34: Commit fc3b570 pushed by rs22
3m 33s gh-actions-klee
gh-actions-klee
3m 33s
Fix check Run Unique Transitions Analysis #6: Commit fc3b570 pushed by rs22
2m 33s gh-actions-klee
gh-actions-klee
2m 33s
Refactor response delay analysis Generated Files Consistency #33: Commit c05fb6f pushed by rs22
3m 31s gh-actions-klee
gh-actions-klee
3m 31s
Refactor response delay analysis Run Unique Transitions Analysis #5: Commit c05fb6f pushed by rs22
1m 47s gh-actions-klee
gh-actions-klee
1m 47s
Collect stats Run Unique Transitions Analysis #4: Commit 8bdbcad pushed by rs22
1m 57s gh-actions-klee
gh-actions-klee
1m 57s
Collect stats Generated Files Consistency #32: Commit 8bdbcad pushed by rs22
3m 31s gh-actions-klee
gh-actions-klee
3m 31s
Klee finds a problem which is expected Generated Files Consistency #31: Commit 47ff9d8 pushed by rs22
3m 41s gh-actions-klee
gh-actions-klee
3m 41s
Klee finds a problem which is expected Run Unique Transitions Analysis #3: Commit 47ff9d8 pushed by rs22
2m 18s gh-actions-klee
gh-actions-klee
2m 18s
Fix makefile Run Unique Transitions Analysis #2: Commit 2a371f1 pushed by rs22
1m 55s gh-actions-klee
gh-actions-klee
1m 55s
Fix makefile Generated Files Consistency #30: Commit 2a371f1 pushed by rs22
3m 33s gh-actions-klee
gh-actions-klee
3m 33s
Run KLEE in GH actions Run Unique Transitions Analysis #1: Commit 68d9c8d pushed by rs22
11s gh-actions-klee
gh-actions-klee
11s
Run KLEE in GH actions Generated Files Consistency #29: Commit 68d9c8d pushed by rs22
3m 48s gh-actions-klee
gh-actions-klee
3m 48s
Generate files Publish Pages #17: Commit 4c4474c pushed by rs22
1m 43s main
main
1m 43s
Generate files Generated Files Consistency #28: Commit 4c4474c pushed by rs22
3m 35s main
main
3m 35s
Generate files Generated Files Consistency #27: Commit 4c4474c pushed by rs22
3m 34s unique-transitions
unique-transitions
3m 34s
Check unique transitions Generated Files Consistency #26: Commit 94b0454 pushed by rs22
3m 0s unique-transitions
unique-transitions
3m 0s
Minor fixes Generated Files Consistency #25: Commit 566464b pushed by rs22
2m 57s main
main
2m 57s