Skip to content

Actions: SoftwareFoundationGroupAtKyotoU/icon-why3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #11 from taiseiKMC/hsaito/fix-mutual-type Builds, tests & co #5: Commit e3c91ee pushed by westpaddy
February 7, 2024 11:01 4m 46s master
master
February 7, 2024 11:01 4m 46s
Merge pull request #8 from camlspotter/jun@gitignore Builds, tests & co #4: Commit ab834fa pushed by westpaddy
February 7, 2024 10:21 5m 0s master
master
February 7, 2024 10:21 5m 0s
Merge pull request #7 from camlspotter/jun@mli Builds, tests & co #3: Commit 25d5371 pushed by westpaddy
February 7, 2024 10:20 4m 50s master
master
February 7, 2024 10:20 4m 50s
Add a negative example for multiple contracts having the same entrypoint Builds, tests & co #2: Commit 43f07f0 pushed by westpaddy
February 2, 2024 08:55 4m 48s master
master
February 2, 2024 08:55 4m 48s
Merge pull request #6 from camlspotter/jun@ci Builds, tests & co #1: Commit 8e98e32 pushed by westpaddy
February 1, 2024 10:01 21m 40s master
master
February 1, 2024 10:01 21m 40s