Skip to content

Actions: FStarLang/karamel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,164 workflow runs
1,164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

krml/Makefiles: unifying logic for detecting F* Build and test Karamel based on a FStar image #1963: Pull request #512 opened by mtzguido
January 4, 2025 03:26 13m 9s mtzguido:homeless
mtzguido:homeless
January 4, 2025 03:26 13m 9s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1962: Scheduled
January 4, 2025 01:25 13m 11s master
master
January 4, 2025 01:25 13m 11s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1961: Scheduled
January 3, 2025 01:34 16m 7s master
master
January 3, 2025 01:34 16m 7s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1960: Scheduled
January 2, 2025 01:26 12m 52s master
master
January 2, 2025 01:26 12m 52s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1959: Scheduled
January 1, 2025 01:41 14m 43s master
master
January 1, 2025 01:41 14m 43s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1958: Scheduled
December 31, 2024 01:26 13m 5s master
master
December 31, 2024 01:26 13m 5s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1957: Scheduled
December 30, 2024 01:37 13m 15s master
master
December 30, 2024 01:37 13m 15s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1956: Scheduled
December 29, 2024 01:41 16m 35s master
master
December 29, 2024 01:41 16m 35s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1955: Scheduled
December 28, 2024 01:25 7m 19s master
master
December 28, 2024 01:25 7m 19s
Merge pull request #511 from FStarLang/protz_renormalize_data_types Build and test Karamel based on a FStar image #1954: Commit f82ecfe pushed by msprotz
December 27, 2024 19:02 7m 21s master
master
December 27, 2024 19:02 7m 21s
Renormalize data types properly Build and test Karamel based on a FStar image #1953: Pull request #511 opened by msprotz
December 27, 2024 18:36 26m 36s protz_renormalize_data_types
protz_renormalize_data_types
December 27, 2024 18:36 26m 36s
Renormalize data types properly Build and test Karamel based on a FStar image #1952: Commit ebff0d8 pushed by protz
December 27, 2024 18:35 20m 17s protz_renormalize_data_types
protz_renormalize_data_types
December 27, 2024 18:35 20m 17s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1951: Scheduled
December 27, 2024 01:27 7m 41s master
master
December 27, 2024 01:27 7m 41s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1950: Scheduled
December 26, 2024 01:26 13m 23s master
master
December 26, 2024 01:26 13m 23s
change z3 version to 4.13.3 Build and test Karamel based on a FStar image #1949: Pull request #510 opened by karthikbhargavan
December 25, 2024 10:07 25m 57s upgrade-z3
upgrade-z3
December 25, 2024 10:07 25m 57s
change z3 version to 4.13.3 Build and test Karamel based on a FStar image #1948: Commit d53abab pushed by karthikbhargavan
December 25, 2024 10:06 13m 27s upgrade-z3
upgrade-z3
December 25, 2024 10:06 13m 27s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1947: Scheduled
December 25, 2024 01:26 13m 36s master
master
December 25, 2024 01:26 13m 36s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1946: Scheduled
December 24, 2024 01:34 13m 10s master
master
December 24, 2024 01:34 13m 10s
Merge pull request #509 from FStarLang/protz_collision Build and test Karamel based on a FStar image #1945: Commit 3823e3d pushed by msprotz
December 23, 2024 21:05 12m 57s master
master
December 23, 2024 21:05 12m 57s
Fix collisions between local variables and C keywords Build and test Karamel based on a FStar image #1944: Pull request #509 synchronize by msprotz
December 23, 2024 20:38 26m 1s protz_collision
protz_collision
December 23, 2024 20:38 26m 1s
Merge branch 'master' into protz_collision Build and test Karamel based on a FStar image #1943: Commit 7e5d129 pushed by msprotz
December 23, 2024 20:38 13m 4s protz_collision
protz_collision
December 23, 2024 20:38 13m 4s
Merge pull request #508 from mtzguido/installz3 Build and test Karamel based on a FStar image #1942: Commit f1d7a3e pushed by msprotz
December 23, 2024 19:16 22m 17s master
master
December 23, 2024 19:16 22m 17s
Fix collisions between local variables and C keywords Build and test Karamel based on a FStar image #1941: Pull request #509 opened by msprotz
December 23, 2024 18:46 39m 37s protz_collision
protz_collision
December 23, 2024 18:46 39m 37s
install-deps.sh: install z3 with the F* script Build and test Karamel based on a FStar image #1940: Pull request #508 synchronize by msprotz
December 23, 2024 18:45 31m 9s mtzguido:installz3
mtzguido:installz3
December 23, 2024 18:45 31m 9s
Remove debug Build and test Karamel based on a FStar image #1939: Commit d3160da pushed by protz
December 23, 2024 18:45 18m 35s protz_collision
protz_collision
December 23, 2024 18:45 18m 35s