Skip to content

Actions: au-ts/gordian

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

finished copy proofs Test #7: Commit c17d782 pushed by isubasinghe
March 28, 2024 23:36 3m 51s main
main
March 28, 2024 23:36 3m 51s
wip Test #6: Commit b8d94d9 pushed by isubasinghe
March 28, 2024 23:33 4m 3s main
main
March 28, 2024 23:33 4m 3s
added SDDF's license (#2) Test #5: Commit 36bb9a1 pushed by isubasinghe
January 7, 2024 23:56 5m 12s main
main
January 7, 2024 23:56 5m 12s
added SDDF's license Test #4: Pull request #2 opened by isubasinghe
January 7, 2024 23:25 4m 54s add-license
add-license
January 7, 2024 23:25 4m 54s
added SDDF's license Test #3: Commit e87d81d pushed by isubasinghe
January 7, 2024 23:25 5m 5s add-license
add-license
January 7, 2024 23:25 5m 5s
finished proofs for new microkit release Test #2: Commit a978be5 pushed by isubasinghe
December 10, 2023 23:59 4m 58s main
main
December 10, 2023 23:59 4m 58s
finished proofs for new microkit release Test #1: Commit 80386ac pushed by isubasinghe
December 10, 2023 22:52 5m 10s main
main
December 10, 2023 22:52 5m 10s