Skip to content

Actions: anishathalye/porcupine

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
145 workflow runs
145 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI
CI #225: Scheduled
November 23, 2024 08:11 3m 48s master
November 23, 2024 08:11 3m 48s
Scheduled
CodeQL #51: by github-advanced-security bot
November 22, 2024 13:04 1m 8s
November 22, 2024 13:04 1m 8s
Add support for nondeterministic specifications
CI #224: Commit 9c11fdd pushed by anishathalye
November 22, 2024 07:25 3m 13s v1.0.0
November 22, 2024 07:25 3m 13s
Add support for nondeterministic specifications
CI #223: Commit 9c11fdd pushed by anishathalye
November 22, 2024 07:22 3m 18s master
November 22, 2024 07:22 3m 18s
Push on master
CodeQL #50: by anishathalye
November 22, 2024 07:22 1m 17s
November 22, 2024 07:22 1m 17s
Add support for annotations in visualization
CI #222: Commit 12c3848 pushed by anishathalye
November 21, 2024 12:21 3m 23s v0.2.0
November 21, 2024 12:21 3m 23s
Add support for annotations in visualization
CI #221: Commit 12c3848 pushed by anishathalye
November 21, 2024 12:20 3m 20s master
November 21, 2024 12:20 3m 20s
Push on master
CodeQL #49: by anishathalye
November 21, 2024 12:20 1m 11s
November 21, 2024 12:20 1m 11s
Disable coverage status checks
CI #220: Commit afb340d pushed by anishathalye
November 21, 2024 12:13 3m 11s master
November 21, 2024 12:13 3m 11s
Add support for annotations in visualization
CI #219: Commit 56b2789 pushed by anishathalye
November 21, 2024 12:12 3m 18s annotations
November 21, 2024 12:12 3m 18s
Add support for annotations in visualization
CI #218: Commit 56b2789 pushed by anishathalye
November 21, 2024 12:11 3m 22s v0.2.0
November 21, 2024 12:11 3m 22s
Add support for annotations in visualization
CI #217: Commit 56b2789 pushed by anishathalye
November 21, 2024 12:09 3m 15s master
November 21, 2024 12:09 3m 15s
Push on master
CodeQL #48: by anishathalye
November 21, 2024 12:09 1m 6s
November 21, 2024 12:09 1m 6s
Disable coverage status checks
CI #216: Commit afb340d pushed by anishathalye
November 21, 2024 11:53 3m 38s master
November 21, 2024 11:53 3m 38s
Push on master
CodeQL #47: by anishathalye
November 21, 2024 11:53 1m 5s
November 21, 2024 11:53 1m 5s
Push on master
CodeQL #46: by github-advanced-security bot
November 21, 2024 11:31 1m 41s
November 21, 2024 11:31 1m 41s
Update actions
CI #215: Commit ab8f8ae pushed by anishathalye
November 21, 2024 11:31 3m 16s master
November 21, 2024 11:31 3m 16s
Add methods that expose partial linearizations
CI #214: Commit 29dfede pushed by anishathalye
November 21, 2024 11:21 3m 27s master
November 21, 2024 11:21 3m 27s
PR #22
CodeQL #45: by anishathalye
November 21, 2024 11:15 1m 44s
November 21, 2024 11:15 1m 44s
CI
CI #211: Scheduled
November 16, 2024 08:11 3m 16s master
November 16, 2024 08:11 3m 16s
CI
CI #210: Scheduled
November 9, 2024 08:09 3m 12s master
November 9, 2024 08:09 3m 12s
Scheduled
CodeQL #44: by github-advanced-security bot
November 7, 2024 18:02 1m 8s
November 7, 2024 18:02 1m 8s
CI
CI #209: Scheduled
November 2, 2024 08:11 3m 11s master
November 2, 2024 08:11 3m 11s