Skip to content

Actions: trailofbits/necessist

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
3,527 workflow runs
3,527 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Bump version Release #35: Commit e194b77 pushed by smoelius
June 23, 2024 11:49 29s v0.6.0
v0.6.0
June 23, 2024 11:49 29s
Add README.md with third-party tests summary CI #4248: Pull request #1153 opened by smoelius
June 23, 2024 11:48 20m 1s third-party-summary
third-party-summary
June 23, 2024 11:48 20m 1s
CI CI #4247: Merge group checks requested
June 23, 2024 11:47 21s
June 23, 2024 11:47 21s
Bump version CI #4246: Pull request #1152 opened by smoelius
June 23, 2024 10:13 56m 46s bump-version
bump-version
June 23, 2024 10:13 56m 46s
CI CI #4245: Merge group checks requested
June 22, 2024 18:24 21s
June 22, 2024 18:24 21s
framework -> backend in several places CI #4244: Pull request #1151 synchronize by smoelius
June 21, 2024 11:24 42m 1s framework-to-backend
framework-to-backend
June 21, 2024 11:24 42m 1s
framework -> backend in several places CI #4243: Pull request #1151 synchronize by smoelius
June 21, 2024 10:21 58m 47s framework-to-backend
framework-to-backend
June 21, 2024 10:21 58m 47s
framework -> backend in several places CI #4242: Pull request #1151 synchronize by smoelius
June 20, 2024 18:55 12m 40s framework-to-backend
framework-to-backend
June 20, 2024 18:55 12m 40s
CI CI #4241: Merge group checks requested
June 20, 2024 18:08 23s
June 20, 2024 18:08 23s
Establish some consistency among names CI #4240: Pull request #1141 synchronize by smoelius
June 20, 2024 10:55 33m 53s smoelius:eliminate-test-file-terminology
smoelius:eliminate-test-file-terminology
June 20, 2024 10:55 33m 53s
Establish some consistency among names CI #4239: Pull request #1141 synchronize by smoelius
June 20, 2024 10:15 26m 9s smoelius:eliminate-test-file-terminology
smoelius:eliminate-test-file-terminology
June 20, 2024 10:15 26m 9s
CI CI #4238: Scheduled
June 19, 2024 03:02 57m 28s master
master
June 19, 2024 03:02 57m 28s
Establish some consistency among names CI #4237: Pull request #1141 synchronize by smoelius
June 19, 2024 00:40 3m 34s smoelius:eliminate-test-file-terminology
smoelius:eliminate-test-file-terminology
June 19, 2024 00:40 3m 34s
CI CI #4236: Merge group checks requested
June 18, 2024 23:35 57m 5s
June 18, 2024 23:35 57m 5s
CI CI #4235: Merge group checks requested
June 18, 2024 11:46 24s
June 18, 2024 11:46 24s
Update third-party tests CI #4234: Pull request #1150 opened by smoelius
June 18, 2024 03:41 49m 34s create-pull-request/patch-bqieawr
create-pull-request/patch-bqieawr
June 18, 2024 03:41 49m 34s
Update third-party tests Update third-party tests #22: Scheduled
June 18, 2024 03:06 34m 59s master
master
June 18, 2024 03:06 34m 59s
CI CI #4233: Merge group checks requested
June 17, 2024 18:08 55m 10s
June 17, 2024 18:08 55m 10s
CI CI #4232: Merge group checks requested
June 17, 2024 17:53 48m 24s
June 17, 2024 17:53 48m 24s
CI CI #4231: Merge group checks requested
June 17, 2024 16:44 59m 13s
June 17, 2024 16:44 59m 13s
CI CI #4230: Merge group checks requested
June 17, 2024 16:44 13m 55s
June 17, 2024 16:44 13m 55s
CI CI #4229: Merge group checks requested
June 17, 2024 16:44 1h 8m 44s
June 17, 2024 16:44 1h 8m 44s
CI CI #4228: Merge group checks requested
June 17, 2024 15:20 56m 58s
June 17, 2024 15:20 56m 58s
CI CI #4227: Merge group checks requested
June 17, 2024 15:20 1h 17m 29s
June 17, 2024 15:20 1h 17m 29s
Ignore hoare-logic.pdf url CI #4226: Pull request #1149 opened by smoelius
June 17, 2024 15:07 55m 8s ignore-hoare-logic.pdf-url
ignore-hoare-logic.pdf-url
June 17, 2024 15:07 55m 8s