Skip to content

Actions: s0mark/theta

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
210 workflow runs
210 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #325 from ftsrg/fix-memloc
Check formatting #48: Commit bd69e1c pushed by s0mark
December 3, 2024 21:12 5m 9s master
December 3, 2024 21:12 5m 9s
Merge pull request #325 from ftsrg/fix-memloc
Linux build-test-deploy #48: Commit bd69e1c pushed by s0mark
December 3, 2024 21:12 34m 53s master
December 3, 2024 21:12 34m 53s
Merge pull request #325 from ftsrg/fix-memloc
Check copyright #48: Commit bd69e1c pushed by s0mark
December 3, 2024 21:12 35s master
December 3, 2024 21:12 35s
Merge pull request #325 from ftsrg/fix-memloc
Windows build and test #48: Commit bd69e1c pushed by s0mark
December 3, 2024 21:12 20m 12s master
December 3, 2024 21:12 20m 12s
Merge pull request #325 from ftsrg/fix-memloc
macOS build and test #48: Commit bd69e1c pushed by s0mark
December 3, 2024 21:12 24m 24s master
December 3, 2024 21:12 24m 24s
Merge pull request #325 from ftsrg/fix-memloc
Sonar analysis #48: Commit bd69e1c pushed by s0mark
December 3, 2024 21:12 24s master
December 3, 2024 21:12 24s
prototype contract synthesis
Check copyright #47: Commit 5729500 pushed by s0mark
November 3, 2024 16:27 30s contract-synthesis
November 3, 2024 16:27 30s
prototype contract synthesis
Windows build and test #47: Commit 5729500 pushed by s0mark
November 3, 2024 16:27 4m 55s contract-synthesis
November 3, 2024 16:27 4m 55s
prototype contract synthesis
Linux build-test-deploy #47: Commit 5729500 pushed by s0mark
November 3, 2024 16:27 4m 32s contract-synthesis
November 3, 2024 16:27 4m 32s
prototype contract synthesis
macOS build and test #47: Commit 5729500 pushed by s0mark
November 3, 2024 16:27 3m 1s contract-synthesis
November 3, 2024 16:27 3m 1s
prototype contract synthesis
Sonar analysis #47: Commit 5729500 pushed by s0mark
November 3, 2024 16:27 38s contract-synthesis
November 3, 2024 16:27 38s
prototype contract synthesis
Check formatting #47: Commit 5729500 pushed by s0mark
November 3, 2024 16:27 1m 49s contract-synthesis
November 3, 2024 16:27 1m 49s
Merge pull request #296 from ftsrg/add-svcomp-flag
Linux build-test-deploy #46: Commit cb77d7e pushed by s0mark
October 9, 2024 09:04 22m 36s master
October 9, 2024 09:04 22m 36s
Merge pull request #296 from ftsrg/add-svcomp-flag
Windows build and test #46: Commit cb77d7e pushed by s0mark
October 9, 2024 09:04 19m 8s master
October 9, 2024 09:04 19m 8s
Merge pull request #296 from ftsrg/add-svcomp-flag
macOS build and test #46: Commit cb77d7e pushed by s0mark
October 9, 2024 09:04 24m 43s master
October 9, 2024 09:04 24m 43s
Merge pull request #296 from ftsrg/add-svcomp-flag
Sonar analysis #46: Commit cb77d7e pushed by s0mark
October 9, 2024 09:04 38s master
October 9, 2024 09:04 38s
Merge pull request #296 from ftsrg/add-svcomp-flag
Check formatting #46: Commit cb77d7e pushed by s0mark
October 9, 2024 09:04 1m 26s master
October 9, 2024 09:04 1m 26s
Merge pull request #296 from ftsrg/add-svcomp-flag
Check copyright #46: Commit cb77d7e pushed by s0mark
October 9, 2024 09:04 33s master
October 9, 2024 09:04 33s
general params in prec vars
Check copyright #45: Commit ae3efd4 pushed by s0mark
April 19, 2024 02:03 25s interproc
April 19, 2024 02:03 25s
general params in prec vars
Linux build-test-deploy #45: Commit ae3efd4 pushed by s0mark
April 19, 2024 02:03 21m 44s interproc
April 19, 2024 02:03 21m 44s
general params in prec vars
Sonar analysis #45: Commit ae3efd4 pushed by s0mark
April 19, 2024 02:03 29s interproc
April 19, 2024 02:03 29s
general params in prec vars
Windows build and test #45: Commit ae3efd4 pushed by s0mark
April 19, 2024 02:03 12m 20s interproc
April 19, 2024 02:03 12m 20s
general params in prec vars
macOS build and test #45: Commit ae3efd4 pushed by s0mark
April 19, 2024 02:03 21m 32s interproc
April 19, 2024 02:03 21m 32s
general params in prec vars
Check formatting #45: Commit ae3efd4 pushed by s0mark
April 19, 2024 02:03 1m 22s interproc
April 19, 2024 02:03 1m 22s
general params in prec vars
macOS build and test #44: Commit 08eef2b pushed by s0mark
April 19, 2024 01:58 5m 29s interproc
April 19, 2024 01:58 5m 29s