Skip to content

Actions: project-everest/everest

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,018 workflow runs
2,018 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgrade Everest Upgrade Everest #3854: Scheduled
December 17, 2024 10:19 2h 11m 36s master
master
December 17, 2024 10:19 2h 11m 36s
Upgrade Everest Upgrade Everest #3853: Scheduled
December 17, 2024 04:22 11m 50s master
master
December 17, 2024 04:22 11m 50s
Build and test Everest on Windows Build and test Everest on Windows #12: Manually run by mtzguido
December 16, 2024 23:44 22m 24s guido_test_steel_stage
guido_test_steel_stage
December 16, 2024 23:44 22m 24s
point to steel fork Build and test Everest #428: Commit 741ad8a pushed by mtzguido
December 16, 2024 23:43 2h 11m 22s guido_test_steel_stage
guido_test_steel_stage
December 16, 2024 23:43 2h 11m 22s
fix z3 4.13.3 URL for Windows Build and test Everest #427: Commit b9c3b94 pushed by tahina-pro
December 16, 2024 23:24 20s master
master
December 16, 2024 23:24 20s
bump F* too Build and test Everest #426: Commit 82a0440 pushed by mtzguido
December 16, 2024 23:22 22m 14s guido_test_steel_stage
guido_test_steel_stage
December 16, 2024 23:22 22m 14s
Build and test Everest on Windows Build and test Everest on Windows #11: Manually run by mtzguido
December 16, 2024 22:26 17m 8s guido_test_steel_stage
guido_test_steel_stage
December 16, 2024 22:26 17m 8s
point to steel fork Build and test Everest #425: Commit 3ba7991 pushed by mtzguido
December 16, 2024 22:17 1h 8m 17s guido_test_steel_stage
guido_test_steel_stage
December 16, 2024 22:17 1h 8m 17s
Upgrade Everest Upgrade Everest #3852: Scheduled
December 16, 2024 22:16 1h 13m 30s master
master
December 16, 2024 22:16 1h 13m 30s
Build and test Everest Build and test Everest #424: Manually run by tahina-pro
December 16, 2024 21:45 1h 52m 47s _taramana_ubuntu
_taramana_ubuntu
December 16, 2024 21:45 1h 52m 47s
Upgrade Everest Upgrade Everest #3851: Scheduled
December 16, 2024 16:24 5h 25m 11s master
master
December 16, 2024 16:24 5h 25m 11s
Upgrade Everest Upgrade Everest #3850: Scheduled
December 16, 2024 10:20 5m 24s master
master
December 16, 2024 10:20 5m 24s
Upgrade Everest Upgrade Everest #3849: Scheduled
December 16, 2024 04:22 2h 9m 15s master
master
December 16, 2024 04:22 2h 9m 15s
Upgrade Everest Upgrade Everest #3848: Scheduled
December 15, 2024 22:16 8h 9m 17s master
master
December 15, 2024 22:16 8h 9m 17s
Upgrade Everest Upgrade Everest #3847: Scheduled
December 15, 2024 16:20 13h 59m 36s master
master
December 15, 2024 16:20 13h 59m 36s
Upgrade Everest Upgrade Everest #3846: Scheduled
December 15, 2024 10:18 15h 25m 32s master
master
December 15, 2024 10:18 15h 25m 32s
Upgrade Everest Upgrade Everest #3845: Scheduled
December 15, 2024 04:21 21h 17m 8s master
master
December 15, 2024 04:21 21h 17m 8s
Upgrade Everest Upgrade Everest #3844: Scheduled
December 14, 2024 22:16 10h 8m 6s master
master
December 14, 2024 22:16 10h 8m 6s
Build and test Everest Build and test Everest #423: Manually run by tahina-pro
December 14, 2024 18:50 2h 20m 55s _taramana_ubuntu
_taramana_ubuntu
December 14, 2024 18:50 2h 20m 55s
allow installing a different OCaml version Build and test Everest #422: Commit c2bc739 pushed by tahina-pro
December 14, 2024 18:47 Failure _taramana_ubuntu
_taramana_ubuntu
December 14, 2024 18:47 Failure
Upgrade Everest Upgrade Everest #3843: Scheduled
December 14, 2024 16:20 3h 4m 51s master
master
December 14, 2024 16:20 3h 4m 51s
Upgrade Everest Upgrade Everest #3842: Scheduled
December 14, 2024 10:17 9h 8m 1s master
master
December 14, 2024 10:17 9h 8m 1s
Upgrade Everest Upgrade Everest #3841: Scheduled
December 14, 2024 04:21 16h 15m 6s master
master
December 14, 2024 04:21 16h 15m 6s
Merge pull request #119 from project-everest/nik_get_z3 Build and test Everest #421: Commit 9154805 pushed by mtzguido
December 13, 2024 23:14 1h 42m 57s master
master
December 13, 2024 23:14 1h 42m 57s
Upgrade Everest Upgrade Everest #3840: Scheduled
December 13, 2024 22:17 1h 9m 57s master
master
December 13, 2024 22:17 1h 9m 57s