Skip to content

Actions: FStarLang/FStar

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
2,474 workflow runs
2,474 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Rebuild base image Rebuild base image #394: Scheduled
June 7, 2024 02:27 21m 32s master
master
June 7, 2024 02:27 21m 32s
Rebuild base image Rebuild base image #393: Scheduled
June 6, 2024 02:25 19m 59s master
master
June 6, 2024 02:25 19m 59s
Rebuild base image Rebuild base image #392: Scheduled
June 5, 2024 02:25 19m 53s master
master
June 5, 2024 02:25 19m 53s
CI: decommission dzomo's everbld email address Build and test FStar #3415: Commit 6d124af pushed by tahina-pro
June 4, 2024 17:02 12m 44s master
master
June 4, 2024 17:02 12m 44s
Rebuild base image Rebuild base image #391: Scheduled
June 4, 2024 02:25 23m 54s master
master
June 4, 2024 02:25 23m 54s
CI: decommission dzomo's everbld email address Build and test FStar #3414: Commit 6d124af pushed by tahina-pro
June 3, 2024 23:18 14m 10s taramana_ci
taramana_ci
June 3, 2024 23:18 14m 10s
Rebuild base image Rebuild base image #390: Scheduled
June 3, 2024 02:26 21m 56s master
master
June 3, 2024 02:26 21m 56s
Rebuild base image Rebuild base image #389: Scheduled
June 2, 2024 02:27 19m 50s master
master
June 2, 2024 02:27 19m 50s
Rebuild base image Rebuild base image #388: Scheduled
June 1, 2024 02:28 19m 48s master
master
June 1, 2024 02:28 19m 48s
Rebuild base image Rebuild base image #387: Scheduled
May 31, 2024 02:25 20m 30s master
master
May 31, 2024 02:25 20m 30s
Rebuild base image Rebuild base image #386: Scheduled
May 30, 2024 02:25 20m 2s master
master
May 30, 2024 02:25 20m 2s
Rebuild base image Rebuild base image #385: Scheduled
May 29, 2024 02:26 19m 48s master
master
May 29, 2024 02:26 19m 48s
Merge pull request #3308 from mtzguido/3286 Build and test FStar #3413: Commit 9820798 pushed by mtzguido
May 28, 2024 11:57 11m 19s master
master
May 28, 2024 11:57 11m 19s
Fix 3286 Nix Build #393: Pull request #3308 opened by mtzguido
May 28, 2024 11:47 17m 22s mtzguido:3286
mtzguido:3286
May 28, 2024 11:47 17m 22s
Fix 3286 Build and test FStar #3412: Pull request #3308 opened by mtzguido
May 28, 2024 11:47 10m 0s mtzguido:3286
mtzguido:3286
May 28, 2024 11:47 10m 0s
Some basic simplification rules for reals Nix Build #392: Pull request #3305 synchronize by mtzguido
May 28, 2024 10:36 8m 48s mtzguido:real_primops
mtzguido:real_primops
May 28, 2024 10:36 8m 48s
Some basic simplification rules for reals Build and test FStar #3411: Pull request #3305 synchronize by mtzguido
May 28, 2024 10:36 10m 8s mtzguido:real_primops
mtzguido:real_primops
May 28, 2024 10:36 10m 8s
Rebuild base image Rebuild base image #384: Scheduled
May 28, 2024 02:25 19m 50s master
master
May 28, 2024 02:25 19m 50s
Rebuild base image Rebuild base image #383: Scheduled
May 27, 2024 02:25 19m 51s master
master
May 27, 2024 02:25 19m 51s
Rebuild base image Rebuild base image #382: Scheduled
May 26, 2024 02:26 19m 49s master
master
May 26, 2024 02:26 19m 49s
Merge pull request #3306 from mtzguido/misc Build and test FStar #3410: Commit 0e2a116 pushed by mtzguido
May 26, 2024 00:55 11m 25s master
master
May 26, 2024 00:55 11m 25s
Misc changes Build and test FStar #3409: Pull request #3306 synchronize by mtzguido
May 26, 2024 00:45 10m 4s mtzguido:misc
mtzguido:misc
May 26, 2024 00:45 10m 4s
Misc changes Nix Build #391: Pull request #3306 synchronize by mtzguido
May 26, 2024 00:45 8m 7s mtzguido:misc
mtzguido:misc
May 26, 2024 00:45 8m 7s
Misc changes Build and test FStar #3408: Pull request #3306 opened by mtzguido
May 26, 2024 00:03 10m 6s mtzguido:misc
mtzguido:misc
May 26, 2024 00:03 10m 6s
Misc changes Nix Build #390: Pull request #3306 opened by mtzguido
May 26, 2024 00:03 17m 25s mtzguido:misc
mtzguido:misc
May 26, 2024 00:03 17m 25s