Skip to content

Actions: KeYProject/tutorial-fm-2024

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rework rule Verify with KeY #22: Commit aa50bdf pushed by wadoon
June 14, 2024 12:21 1m 0s main
main
June 14, 2024 12:21 1m 0s
Fix typo Verify with KeY #21: Commit c60140c pushed by Drodt
June 14, 2024 12:18 37s main
main
June 14, 2024 12:18 37s
wip Verify with KeY #20: Commit 42d0425 pushed by wadoon
June 14, 2024 12:14 39s main
main
June 14, 2024 12:14 39s
Using new seqempty syntax Verify with KeY #19: Commit 5faa162 pushed by mattulbrich
June 5, 2024 13:47 36s main
main
June 5, 2024 13:47 36s
activate moreSeqRules Verify with KeY #18: Commit e6d447e pushed by wadoon
May 24, 2024 13:03 4m 44s main
main
May 24, 2024 13:03 4m 44s
activate commented-out lines Verify with KeY #17: Commit 54ccb95 pushed by wadoon
May 24, 2024 12:55 2m 57s main
main
May 24, 2024 12:55 2m 57s
modernising sequence syntax Verify with KeY #16: Commit d27a9f8 pushed by mattulbrich
April 22, 2024 12:57 9m 33s main
main
April 22, 2024 12:57 9m 33s
Bump the gh-actions group with 2 updates Verify with KeY #15: Commit 49f90ba pushed by wadoon
April 20, 2024 09:32 5m 46s main
main
April 20, 2024 09:32 5m 46s
Bump the gh-actions group with 2 updates Verify with KeY #14: Pull request #1 opened by dependabot bot
April 20, 2024 09:31 5m 48s dependabot/github_actions/gh-actions-61aa167d28
dependabot/github_actions/gh-actions-61aa167d28
April 20, 2024 09:31 5m 48s
add dependabot Verify with KeY #13: Commit ff4e993 pushed by wadoon
April 20, 2024 09:31 5m 41s main
main
April 20, 2024 09:31 5m 41s
new key version Verify with KeY #12: Commit 9e7c7a4 pushed by wadoon
April 20, 2024 09:28 4m 49s main
main
April 20, 2024 09:28 4m 49s
Update Readme Verify with KeY #11: Commit be1158f pushed by unp1
April 13, 2024 07:24 1m 6s main
main
April 13, 2024 07:24 1m 6s
modernising the coupling invariant. Verify with KeY #10: Commit f5a5cfc pushed by mattulbrich
April 12, 2024 15:35 55s main
main
April 12, 2024 15:35 55s
... Verify with KeY #9: Commit 9121854 pushed by mattulbrich
April 10, 2024 13:49 46s main
main
April 10, 2024 13:49 46s
update ci tool Verify with KeY #8: Commit dca5411 pushed by wadoon
March 31, 2024 21:19 10m 36s main
main
March 31, 2024 21:19 10m 36s
new key from main version Verify with KeY #7: Commit 2021e30 pushed by wadoon
March 31, 2024 16:16 1m 36s main
main
March 31, 2024 16:16 1m 36s
should be valid Verify with KeY #6: Commit ccd8444 pushed by wadoon
March 26, 2024 22:11 11m 56s main
main
March 26, 2024 22:11 11m 56s
add settings, add recursive variant Verify with KeY #5: Commit 7860741 pushed by wadoon
March 26, 2024 21:59 11m 0s main
main
March 26, 2024 21:59 11m 0s
add settings, add recursive variant Verify with KeY #4: Commit ef581da pushed by wadoon
March 26, 2024 21:56 12m 49s main
main
March 26, 2024 21:56 12m 49s
remove tee Verify with KeY #3: Commit c3112b4 pushed by wadoon
March 26, 2024 18:30 10m 16s main
main
March 26, 2024 18:30 10m 16s
no windows, but macos Verify with KeY #2: Commit 8f3ba88 pushed by wadoon
March 26, 2024 18:12 10m 54s main
main
March 26, 2024 18:12 10m 54s
workflows, repair files Verify with KeY #1: Commit dc55490 pushed by wadoon
March 26, 2024 18:09 7m 24s main
main
March 26, 2024 18:09 7m 24s