Skip to content

Actions: cryspen/FStar

Actions

Build and test FStar

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linux-x64.yaml
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update release.yml Build and test FStar #2: Commit 2d2c9c8 pushed by W95Psp
January 11, 2024 13:02 1d 17h 39m 52s commit-bc62270
commit-bc62270
January 11, 2024 13:02 1d 17h 39m 52s
Merge pull request #3061 from FStarLang/nik_typeclass_widen Build and test FStar #1: Commit bc62270 pushed by W95Psp
January 11, 2024 12:15 46m 56s commit-bc62270
commit-bc62270
January 11, 2024 12:15 46m 56s