Skip to content

Actions: fabiomadge/dafny

Actions

Build and Test Dafny Standard Libraries

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
standard-libraries.yml
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

drop ubuntu-latest Build and Test Dafny Standard Libraries #6: Pull request #1 synchronize by fabiomadge
June 3, 2024 19:40 1h 2m 39s fix_ci
fix_ci
June 3, 2024 19:40 1h 2m 39s
drop ubuntu-latest Build and Test Dafny Standard Libraries #5: Pull request #1 synchronize by fabiomadge
June 3, 2024 19:38 48m 30s fix_ci
fix_ci
June 3, 2024 19:38 48m 30s
drop ubuntu-latest Build and Test Dafny Standard Libraries #4: Pull request #1 synchronize by fabiomadge
June 3, 2024 18:34 54m 23s fix_ci
fix_ci
June 3, 2024 18:34 54m 23s
drop ubuntu-latest Build and Test Dafny Standard Libraries #3: Pull request #1 synchronize by fabiomadge
June 3, 2024 18:31 2m 29s fix_ci
fix_ci
June 3, 2024 18:31 2m 29s
drop ubuntu-latest Build and Test Dafny Standard Libraries #2: Pull request #1 synchronize by fabiomadge
June 3, 2024 18:28 17m 4s fix_ci
fix_ci
June 3, 2024 18:28 17m 4s
drop ubuntu-latest Build and Test Dafny Standard Libraries #1: Pull request #1 opened by fabiomadge
June 3, 2024 17:52 16m 52s fix_ci
fix_ci
June 3, 2024 17:52 16m 52s