Skip to content

Actions: FStarLang/FStar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
941 workflow run results
941 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Removing the fv_delta field Build and test FStar #3315: Pull request #3272 opened by mtzguido
April 26, 2024 23:12 10m 51s mtzguido:no_fv_delta
mtzguido:no_fv_delta
April 26, 2024 23:12 10m 51s
Removing the fv_delta field Nix Build #342: Pull request #3272 opened by mtzguido
April 26, 2024 23:12 17m 25s mtzguido:no_fv_delta
mtzguido:no_fv_delta
April 26, 2024 23:12 17m 25s
revise equality of data constructors to return unknown if the type pa… Build and test FStar #3314: Commit a3ca82c pushed by nikswamy
April 26, 2024 22:45 18m 30s nik_restrict_injectivity_wip
nik_restrict_injectivity_wip
April 26, 2024 22:45 18m 30s
refactor to provide an environment to eq_tm and NBETerm.eq_t Build and test FStar #3313: Commit 9885844 pushed by nikswamy
April 26, 2024 21:58 19m 10s nik_restrict_injectivity_wip
nik_restrict_injectivity_wip
April 26, 2024 21:58 19m 10s
Some enhancements in support of interfaces in Pulse Nix Build #341: Pull request #3270 synchronize by aseemr
April 26, 2024 10:56 7m 56s _aseem_pulse_interfaces
_aseem_pulse_interfaces
April 26, 2024 10:56 7m 56s
Some enhancements in support of interfaces in Pulse Build and test FStar #3312: Pull request #3270 synchronize by aseemr
April 26, 2024 10:56 12m 52s _aseem_pulse_interfaces
_aseem_pulse_interfaces
April 26, 2024 10:56 12m 52s
Some enhancements in support of interfaces in Pulse Nix Build #340: Pull request #3270 synchronize by aseemr
April 26, 2024 10:37 7m 48s _aseem_pulse_interfaces
_aseem_pulse_interfaces
April 26, 2024 10:37 7m 48s
Some enhancements in support of interfaces in Pulse Build and test FStar #3311: Pull request #3270 synchronize by aseemr
April 26, 2024 10:37 13m 52s _aseem_pulse_interfaces
_aseem_pulse_interfaces
April 26, 2024 10:37 13m 52s
Some enhancements in support of interfaces in Pulse Build and test FStar #3310: Pull request #3270 synchronize by aseemr
April 26, 2024 10:34 13m 10s _aseem_pulse_interfaces
_aseem_pulse_interfaces
April 26, 2024 10:34 13m 10s
Some enhancements in support of interfaces in Pulse Nix Build #339: Pull request #3270 synchronize by aseemr
April 26, 2024 10:34 8m 23s _aseem_pulse_interfaces
_aseem_pulse_interfaces
April 26, 2024 10:34 8m 23s
Some enhancements in support of interfaces in Pulse Build and test FStar #3309: Pull request #3270 opened by aseemr
April 26, 2024 10:07 11m 4s _aseem_pulse_interfaces
_aseem_pulse_interfaces
April 26, 2024 10:07 11m 4s
Some enhancements in support of interfaces in Pulse Nix Build #338: Pull request #3270 opened by aseemr
April 26, 2024 10:07 17m 24s _aseem_pulse_interfaces
_aseem_pulse_interfaces
April 26, 2024 10:07 17m 24s
Rebuild base image Rebuild base image #352: Scheduled
April 26, 2024 02:18 1m 35s master
master
April 26, 2024 02:18 1m 35s
Merge pull request #3269 from mtzguido/misc Build and test FStar #3308: Commit 22319cb pushed by mtzguido
April 26, 2024 00:24 12m 41s master
master
April 26, 2024 00:24 12m 41s
Misc changes Nix Build #337: Pull request #3269 opened by mtzguido
April 26, 2024 00:10 17m 33s mtzguido:misc
mtzguido:misc
April 26, 2024 00:10 17m 33s
Misc changes Build and test FStar #3307: Pull request #3269 opened by mtzguido
April 26, 2024 00:10 13m 26s mtzguido:misc
mtzguido:misc
April 26, 2024 00:10 13m 26s
Revert "temporary admits" Build and test FStar #3306: Commit 9979879 pushed by nikswamy
April 25, 2024 04:33 11m 32s nik_restrict_injectivity_wip
nik_restrict_injectivity_wip
April 25, 2024 04:33 11m 32s
Rebuild base image Rebuild base image #351: Scheduled
April 25, 2024 02:19 19m 12s master
master
April 25, 2024 02:19 19m 12s
Merge pull request #3268 from mtzguido/mapply_plugin Build and test FStar #3305: Commit 22e11f7 pushed by mtzguido
April 24, 2024 23:27 15m 7s master
master
April 24, 2024 23:27 15m 7s
Tactics: make mapply a plugin Nix Build #336: Pull request #3268 opened by mtzguido
April 24, 2024 23:15 17m 25s mtzguido:mapply_plugin
mtzguido:mapply_plugin
April 24, 2024 23:15 17m 25s
Tactics: make mapply a plugin Build and test FStar #3304: Pull request #3268 opened by mtzguido
April 24, 2024 23:15 12m 24s mtzguido:mapply_plugin
mtzguido:mapply_plugin
April 24, 2024 23:15 12m 24s
temporary admits Build and test FStar #3303: Commit 600963d pushed by nikswamy
April 24, 2024 22:37 11m 28s nik_restrict_injectivity_wip
nik_restrict_injectivity_wip
April 24, 2024 22:37 11m 28s
Merge pull request #3267 from mtzguido/fix Build and test FStar #3302: Commit 7fc5167 pushed by mtzguido
April 24, 2024 20:34 10m 46s master
master
April 24, 2024 20:34 10m 46s
Fix Nix Build #335: Pull request #3267 opened by mtzguido
April 24, 2024 20:24 17m 9s mtzguido:fix
mtzguido:fix
April 24, 2024 20:24 17m 9s
Fix Build and test FStar #3301: Pull request #3267 opened by mtzguido
April 24, 2024 20:24 9m 43s mtzguido:fix
mtzguido:fix
April 24, 2024 20:24 9m 43s