Skip to content

Actions: prosyslab/dafnyutils

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 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
[Format] fix format code-checks #3: Commit a98d11a pushed by duncan020313
14s main
main
14s
[Git] ignore local development records code-checks #2: Commit e14a68d pushed by duncan020313
14s main
main
14s
[CI] run only formatting and linting code-checks #1: Commit 4ac0d9b pushed by duncan020313
16s main
main
16s
[Dafny] use submodule benchmark-contribution #10: Commit 29ce619 pushed by duncan020313
2h 30m 34s main
main
2h 30m 34s
[Docs] update PR template benchmark-contribution #9: Commit e733d24 pushed by duncan020313
20m 15s main
main
20m 15s
[Docs] update PR template and benchmark-contribution #8: Commit 7b48111 pushed by duncan020313
17m 2s main
main
17m 2s
[Docs] update implementation guideline benchmark-contribution #7: Commit e4174b9 pushed by duncan020313
19m 22s main
main
19m 22s
[CI] fix java build benchmark-contribution #6: Commit 8272587 pushed by duncan020313
2h 32m 23s main
main
2h 32m 23s
[Docs] revise readme and contribution guide documents benchmark-contribution #5: Commit 1800288 pushed by duncan020313
2h 27m 23s main
main
2h 27m 23s
[Repository] initialize repository benchmark-contribution #4: Commit e96f0d8 pushed by duncan020313
2h 4m 28s main
main
2h 4m 28s
[Repository] initialize repository benchmark-contribution #3: Commit be56376 pushed by duncan020313
8m 58s main
main
8m 58s
[Repository] initialize repository benchmark-contribution #2: Commit 4c51ab2 pushed by duncan020313
2h 28m 57s main
main
2h 28m 57s
[Repository] initialize repository benchmark-contribution #1: Commit f5e9c18 pushed by duncan020313
2h 2m 22s main
main
2h 2m 22s