Skip to content

Actions: mit-pdos/perennial

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
655 workflow runs
655 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docker-coq-action must be using nested containers CI #5: Commit e90a745 pushed by sanjit-bhat
July 26, 2024 03:26 51m 0s master
master
July 26, 2024 03:26 51m 0s
Merge pull request #84 from mit-pdos/ci-python CI #4: Commit 1089f32 pushed by sanjit-bhat
July 26, 2024 02:57 50m 8s master
master
July 26, 2024 02:57 50m 8s
bunch of python changes CI #3: Pull request #84 synchronize by sanjit-bhat
July 26, 2024 02:57 50m 38s ci-python
ci-python
July 26, 2024 02:57 50m 38s
bunch of python changes CI #2: Pull request #84 synchronize by sanjit-bhat
July 26, 2024 02:50 51m 1s ci-python
ci-python
July 26, 2024 02:50 51m 1s
bunch of python changes CI #1: Pull request #84 opened by sanjit-bhat
July 26, 2024 02:40 1m 41s ci-python
ci-python
July 26, 2024 02:40 1m 41s
ProTip! You can narrow down the results and go further in time using created:<2024-07-26 or the other filters available.