Skip to content

Actions: prosyslab/dafnyutils

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 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
[Benchmark] add link code-checks #21: Pull request #40 synchronize by elecball
17s elecball:feat/link
elecball:feat/link
17s
[Benchmark] add link code-checks #20: Pull request #40 synchronize by elecball
14s elecball:feat/link
elecball:feat/link
14s
[Benchmark] add link code-checks #19: Pull request #40 synchronize by elecball
14s elecball:feat/link
elecball:feat/link
14s
[Docs] add guideline never creating merge commit code-checks #18: Commit 1ce60eb pushed by duncan020313
16s main
main
16s
[Benchmark] add link code-checks #17: Pull request #40 synchronize by elecball
14s elecball:feat/link
elecball:feat/link
14s
[Dafnyutils] fix formatting code-checks #16: Commit c516c17 pushed by duncan020313
48s main
main
48s
[Benchmark] add link code-checks #15: Pull request #40 opened by elecball
18s elecball:feat/link
elecball:feat/link
18s
[Fuzzer] make concretizer deterministic and specify unsupported optio… code-checks #14: Commit a36ada7 pushed by duncan020313
19s main
main
19s
[Unlink] fix old dependency code-checks #13: Commit 7f36961 pushed by duncan020313
18s main
main
18s
[Fuzzer] remove temporal comparison logic and refactor fuzzer mutatio… code-checks #12: Commit 80aa50d pushed by duncan020313
17s main
main
17s
[Unlink] fix GNU diagnostic quoting code-checks #11: Commit e2ff869 pushed by duncan020313
18s main
main
18s
[Benchmark] add unlink code-checks #10: Pull request #39 synchronize by elecball
20s elecball:feat/unlink
elecball:feat/unlink
20s
[Benchmark] add unlink code-checks #9: Pull request #39 synchronize by elecball
1d 3h 42m 24s elecball:feat/unlink
elecball:feat/unlink
1d 3h 42m 24s
[Benchmark] add unlink code-checks #8: Pull request #39 synchronize by elecball
1d 7h 3m 6s elecball:feat/unlink
elecball:feat/unlink
1d 7h 3m 6s
[Contribution] update contribution guide code-checks #7: Commit 56dfee5 pushed by duncan020313
17s main
main
17s
[Benchmark] add unlink code-checks #6: Pull request #39 synchronize by elecball
2d 10h 43m 7s elecball:feat/unlink
elecball:feat/unlink
2d 10h 43m 7s
[Benchmark] add unlink code-checks #5: Pull request #39 opened by elecball
2d 11h 30m 39s elecball:feat/unlink
elecball:feat/unlink
2d 11h 30m 39s
[Benchmark] add sort code-checks #4: Pull request #38 opened by suhdonghwi
Action required suhdonghwi:benchmark/sort
suhdonghwi:benchmark/sort
Action required
[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