Skip to content

Actions: uclid-org/uclid-api

Actions

tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tests tests #27: Scheduled
July 16, 2024 00:53 1m 6s main
main
July 16, 2024 00:53 1m 6s
tests tests #26: Scheduled
July 1, 2024 00:57 1m 16s main
main
July 1, 2024 00:57 1m 16s
tests tests #25: Scheduled
June 16, 2024 00:55 1m 23s main
main
June 16, 2024 00:55 1m 23s
tests tests #24: Scheduled
June 1, 2024 00:53 1m 11s main
main
June 1, 2024 00:53 1m 11s
tests tests #23: Scheduled
May 16, 2024 00:48 1m 22s main
main
May 16, 2024 00:48 1m 22s
tests tests #22: Scheduled
May 1, 2024 00:51 1m 24s main
main
May 1, 2024 00:51 1m 24s
tests tests #21: Scheduled
April 16, 2024 00:45 1m 54s main
main
April 16, 2024 00:45 1m 54s
tests tests #20: Scheduled
April 1, 2024 00:50 1m 17s main
main
April 1, 2024 00:50 1m 17s
Change global assumes to axioms tests #19: Commit 4c679bf pushed by perry0513
March 21, 2024 17:53 1m 29s main
main
March 21, 2024 17:53 1m 29s
Fix formatting tests #18: Commit 442645f pushed by perry0513
March 19, 2024 17:10 1m 32s main
main
March 19, 2024 17:10 1m 32s
Add support for records tests #17: Commit a8824de pushed by perry0513
March 18, 2024 02:38 44s main
main
March 18, 2024 02:38 44s
tests tests #16: Scheduled
March 16, 2024 00:43 40s main
main
March 16, 2024 00:43 40s
Add noinline option to procedure declaration tests #15: Commit 04947b7 pushed by perry0513
March 1, 2024 22:12 39s main
main
March 1, 2024 22:12 39s
tests tests #14: Scheduled
March 1, 2024 00:49 52s main
main
March 1, 2024 00:49 52s
tests tests #13: Scheduled
February 16, 2024 00:43 39s main
main
February 16, 2024 00:43 39s
Change flag for Python 3.6 compatibility tests #12: Commit 0f17d75 pushed by adwait
February 16, 2024 00:27 46s main
main
February 16, 2024 00:27 46s
Fix conflicts tests #11: Commit af773ea pushed by adwait
February 16, 2024 00:09 40s main
main
February 16, 2024 00:09 40s
Merge pull request #1 from uclid-org/strict tests #10: Commit a9438e0 pushed by FedericoAureliano
February 15, 2024 22:21 1m 57s main
main
February 15, 2024 22:21 1m 57s
Maintenance tests #9: Pull request #1 opened by FedericoAureliano
February 15, 2024 22:21 2m 3s strict
strict
February 15, 2024 22:21 2m 3s
add requirements.txt tests #8: Commit 5d4b2ec pushed by adwait
February 14, 2024 02:39 36s main
main
February 14, 2024 02:39 36s
New version of the builder API tests #7: Commit e85d36e pushed by adwait
February 14, 2024 02:05 37s main
main
February 14, 2024 02:05 37s
fix bug in windows: .bat should be added when uclid path is created t… tests #6: Commit a862e1f pushed by FedericoAureliano
February 11, 2024 00:26 2m 17s main
main
February 11, 2024 00:26 2m 17s
remove coverage report which seems to make CI crash tests #5: Commit e0172d2 pushed by FedericoAureliano
February 11, 2024 00:21 2m 54s main
main
February 11, 2024 00:21 2m 54s
show logging when testing. Add log to try to debug windows crash. tests #4: Commit ff041e6 pushed by FedericoAureliano
February 11, 2024 00:13 1m 3s main
main
February 11, 2024 00:13 1m 3s
a little bit more setup. Make distinction between ast builder API, pr… tests #3: Commit fd148ba pushed by FedericoAureliano
February 10, 2024 23:52 2m 15s main
main
February 10, 2024 23:52 2m 15s