Skip to content

Actions: tchajed/iris-simp-lang

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
This workflow will be disabled soon because there's no recent activity in the repository.
443 workflow runs
443 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI
CI #1142: Scheduled
December 31, 2023 11:13 6m 38s main
December 31, 2023 11:13 6m 38s
CI
CI #1141: Scheduled
December 30, 2023 11:13 6m 44s main
December 30, 2023 11:13 6m 44s
CI
CI #1140: Scheduled
December 29, 2023 11:15 6m 39s main
December 29, 2023 11:15 6m 39s
CI
CI #1139: Scheduled
December 28, 2023 11:14 6m 45s main
December 28, 2023 11:14 6m 45s
Disable iris release job
CI #1138: Commit de13e5a pushed by tchajed
December 27, 2023 23:31 6m 42s main
December 27, 2023 23:31 6m 42s
Add iris opam repo
CI #1137: Commit 424fd2e pushed by tchajed
December 27, 2023 23:26 6m 47s main
December 27, 2023 23:26 6m 47s
Try specifying an opam file
CI #1136: Commit 1879d0c pushed by tchajed
December 27, 2023 19:46 6m 52s main
December 27, 2023 19:46 6m 52s
Tweak workflow config
CI #1135: Commit 93e7ad5 pushed by tchajed
December 27, 2023 18:58 6m 45s main
December 27, 2023 18:58 6m 45s
Update to rely on Coq 8.17
CI #1134: Commit fa0e66d pushed by tchajed
December 27, 2023 18:13 6m 56s main
December 27, 2023 18:13 6m 56s
CI
CI #1133: Scheduled
December 27, 2023 11:14 6m 47s main
December 27, 2023 11:14 6m 47s
CI
CI #1132: Scheduled
December 26, 2023 11:14 6m 36s main
December 26, 2023 11:14 6m 36s
CI
CI #1131: Scheduled
December 25, 2023 11:14 6m 37s main
December 25, 2023 11:14 6m 37s
CI
CI #1130: Scheduled
December 24, 2023 11:13 6m 56s main
December 24, 2023 11:13 6m 56s
CI
CI #1129: Scheduled
December 23, 2023 11:13 7m 5s main
December 23, 2023 11:13 7m 5s
CI
CI #1128: Scheduled
December 22, 2023 11:14 6m 39s main
December 22, 2023 11:14 6m 39s
CI
CI #1127: Scheduled
December 21, 2023 11:14 6m 48s main
December 21, 2023 11:14 6m 48s
CI
CI #1126: Scheduled
December 20, 2023 11:12 6m 48s main
December 20, 2023 11:12 6m 48s
CI
CI #1125: Scheduled
December 19, 2023 11:14 7m 25s main
December 19, 2023 11:14 7m 25s
ProTip! You can narrow down the results and go further in time using created:<2023-12-19 or the other filters available.